runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-trendy-solver-1.0 /home/misc2010/data/2011/dudf-real//fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf /home/misc2010/tmp/201108241238/gj-trendy-solver-1.0/fe523ea6-9b1b-11df-bc37-00163e46d37a.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.31 1.26 1.16 5/37 3037 /proc/meminfo: memFree=282980/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=405440 CPUtime=0 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 1587 0 1 0 0 0 0 0 25 0 3 0 5228106 415170560 1245 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 101360 1245 694 10 0 95926 0 [pid=3036/tid=3037] ppid=3035 vsize=405440 CPUtime=0 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 665 0 1 0 0 0 0 0 25 0 3 0 5228107 415170560 1245 1283457024 134512640 134550932 4288111232 18446744073709551615 4159233640 0 4 0 16784584 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=405440 CPUtime=0 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 3 0 0 0 0 0 0 0 25 0 3 0 5228107 415170560 1245 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16784584 18446612133395359680 0 0 -1 0 0 0 0 [startup+0.187559 s] /proc/loadavg: 1.31 1.26 1.16 5/37 3037 /proc/meminfo: memFree=282980/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410236 CPUtime=0.18 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 4214 0 1 0 18 0 0 0 25 0 9 0 5228106 420081664 3641 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102559 3641 1944 10 0 96707 0 [pid=3036/tid=3037] ppid=3035 vsize=410236 CPUtime=0.17 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 2978 0 1 0 17 0 0 0 25 0 9 0 5228107 420081664 3641 1283457024 134512640 134550932 4288111232 18446744073709551615 4114590669 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410236 CPUtime=0 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 9 0 5228107 420081664 3641 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.18 Current children cumulated vsize (KiB) 412804 [startup+0.207621 s] /proc/loadavg: 1.31 1.26 1.16 5/37 3037 /proc/meminfo: memFree=282980/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410236 CPUtime=0.2 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 4297 0 1 0 20 0 0 0 25 0 9 0 5228106 420081664 3724 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102559 3724 1944 10 0 96707 0 [pid=3036/tid=3037] ppid=3035 vsize=410236 CPUtime=0.19 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 3061 0 1 0 19 0 0 0 25 0 9 0 5228107 420081664 3724 1283457024 134512640 134550932 4288111232 18446744073709551615 4114572435 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410236 CPUtime=0 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 9 0 5228107 420081664 3724 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412804 [startup+0.307572 s] /proc/loadavg: 1.31 1.26 1.16 5/37 3037 /proc/meminfo: memFree=282980/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410236 CPUtime=0.3 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 4712 0 1 0 28 2 0 0 25 0 9 0 5228106 420081664 4139 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102559 4139 1944 10 0 96707 0 [pid=3036/tid=3037] ppid=3035 vsize=410236 CPUtime=0.29 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 3476 0 1 0 27 2 0 0 25 0 9 0 5228107 420081664 4139 1283457024 134512640 134550932 4288111232 18446744073709551615 4114572510 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410236 CPUtime=0 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 4 0 0 0 0 0 0 0 25 0 9 0 5228107 420081664 4139 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412804 [startup+0.707699 s] /proc/loadavg: 1.31 1.26 1.16 5/37 3037 /proc/meminfo: memFree=282980/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410688 CPUtime=0.69 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 12145 0 1 0 64 5 0 0 25 0 9 0 5228106 420544512 11385 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102672 11385 2901 10 0 96820 0 [pid=3036/tid=3037] ppid=3035 vsize=410688 CPUtime=0.5 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 4217 0 1 0 48 2 0 0 25 0 9 0 5228107 420544512 11385 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410688 CPUtime=0.17 /proc/3036/task/3038/stat : 3038 (java) R 3035 3035 1511 34817 1511 4202560 6551 0 0 0 14 3 0 0 21 0 9 0 5228107 420544512 11385 1283457024 134512640 134550932 4288111232 18446744073709551615 4150839224 0 0 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 413256 [startup+1.50794 s] /proc/loadavg: 1.31 1.26 1.16 3/45 3046 /proc/meminfo: memFree=224624/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410688 CPUtime=1.49 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 26291 0 1 0 138 11 0 0 25 0 9 0 5228106 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102672 25531 2901 10 0 96820 0 [pid=3036/tid=3037] ppid=3035 vsize=410688 CPUtime=0.83 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 6841 0 1 0 81 2 0 0 25 0 9 0 5228107 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410688 CPUtime=0.63 /proc/3036/task/3038/stat : 3038 (java) R 3035 3035 1511 34817 1511 4202560 18069 0 0 0 54 9 0 0 18 0 9 0 5228107 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4153339447 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=410688 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5228108 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=410688 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5228108 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=410688 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5228109 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=410688 CPUtime=0.02 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 441 0 0 0 2 0 0 0 18 0 9 0 5228109 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=410688 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 5228109 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=410688 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 5228109 420544512 25531 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 413256 [startup+3.10831 s] /proc/loadavg: 1.29 1.26 1.16 2/45 3046 /proc/meminfo: memFree=149604/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=410820 CPUtime=3.09 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 49118 0 1 0 291 18 0 0 25 0 9 0 5228106 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102705 48352 2902 10 0 96853 0 [pid=3036/tid=3037] ppid=3035 vsize=410820 CPUtime=1.49 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14228 0 1 0 145 4 0 0 25 0 9 0 5228107 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4115204432 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=410820 CPUtime=1.55 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 33486 0 0 0 141 14 0 0 16 0 9 0 5228107 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=410820 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 20 0 9 0 5228108 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=410820 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 20 0 9 0 5228108 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=410820 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 9 0 5228109 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=410820 CPUtime=0.04 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 464 0 0 0 4 0 0 0 15 0 9 0 5228109 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=410820 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 9 0 5228109 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=410820 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) R 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 9 0 5228109 420679680 48352 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 413388 [startup+6.30941 s] /proc/loadavg: 1.29 1.26 1.16 2/46 3047 /proc/meminfo: memFree=47304/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=6.29 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 62837 0 1 0 605 24 0 0 25 0 10 0 5228106 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 61992 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=4.28 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14549 0 1 0 423 5 0 0 25 0 10 0 5228107 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4115432746 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.89 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 46826 0 0 0 172 17 0 0 16 0 10 0 5228107 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.11 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 517 0 0 0 10 1 0 0 15 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 413724 Solver just ended. Dumping a history of the last processes samples [startup+6.40945 s] /proc/loadavg: 1.29 1.26 1.16 2/46 3047 /proc/meminfo: memFree=47304/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=6.39 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 62837 0 1 0 615 24 0 0 25 0 10 0 5228106 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 61992 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=4.38 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14549 0 1 0 433 5 0 0 25 0 10 0 5228107 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4115451300 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.89 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 46826 0 0 0 172 17 0 0 16 0 10 0 5228107 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.11 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 517 0 0 0 10 1 0 0 15 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 61992 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 413724 [startup+8.00992 s] /proc/loadavg: 1.27 1.25 1.15 2/46 3047 /proc/meminfo: memFree=47180/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=7.99 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 64453 0 1 0 775 24 0 0 25 0 10 0 5228106 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 63608 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=5.89 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14553 0 1 0 584 5 0 0 25 0 10 0 5228107 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4115430818 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.95 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 48415 0 0 0 178 17 0 0 16 0 10 0 5228107 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.13 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 540 0 0 0 12 1 0 0 15 0 10 0 5228109 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 63608 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 7.99 Current children cumulated vsize (KiB) 413724 [startup+8.81018 s] /proc/loadavg: 1.27 1.25 1.15 2/46 3047 /proc/meminfo: memFree=40856/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=8.78 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 64454 0 1 0 854 24 0 0 25 0 10 0 5228106 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 63609 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=6.69 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14553 0 1 0 664 5 0 0 25 0 10 0 5228107 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4115520649 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.95 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 48415 0 0 0 178 17 0 0 16 0 10 0 5228107 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.13 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 541 0 0 0 12 1 0 0 15 0 10 0 5228109 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 63609 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 8.78 Current children cumulated vsize (KiB) 413724 [startup+9.61041 s] /proc/loadavg: 1.27 1.25 1.15 2/46 3047 /proc/meminfo: memFree=40856/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=9.58 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 66350 0 1 0 934 24 0 0 25 0 10 0 5228106 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 65505 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=7.45 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14553 0 1 0 740 5 0 0 25 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4115441757 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.99 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 50309 0 0 0 181 18 0 0 16 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.13 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 543 0 0 0 12 1 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.58 Current children cumulated vsize (KiB) 413724 [startup+10.0105 s] /proc/loadavg: 1.27 1.25 1.15 2/46 3047 /proc/meminfo: memFree=33168/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=9.98 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 66350 0 1 0 974 24 0 0 25 0 10 0 5228106 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 65505 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=7.85 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14553 0 1 0 780 5 0 0 25 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4115451300 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.99 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 50309 0 0 0 181 18 0 0 15 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.13 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 543 0 0 0 12 1 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (KiB) 413724 [startup+10.1106 s] /proc/loadavg: 1.27 1.25 1.15 2/46 3047 /proc/meminfo: memFree=33168/1048576 swapFree=0/0 [pid=3035] ppid=3034 vsize=2568 CPUtime=0 /proc/3035/stat : 3035 (gj-trendy-solve) S 3034 3035 1511 34817 1511 4202496 370 0 0 0 0 0 0 0 18 0 1 0 5228106 2629632 268 1283457024 134512640 135304128 4289899792 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/3035/statm: 642 268 229 194 0 29 0 [pid=3036] ppid=3035 vsize=411156 CPUtime=10.08 /proc/3036/stat : 3036 (java) S 3035 3035 1511 34817 1511 4202496 66350 0 1 0 984 24 0 0 25 0 10 0 5228106 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/3036/statm: 102789 65505 2926 10 0 96934 0 [pid=3036/tid=3037] ppid=3035 vsize=411156 CPUtime=7.95 /proc/3036/task/3037/stat : 3037 (java) R 3035 3035 1511 34817 1511 4202560 14553 0 1 0 790 5 0 0 25 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4115443884 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=3036/tid=3038] ppid=3035 vsize=411156 CPUtime=1.99 /proc/3036/task/3038/stat : 3038 (java) S 3035 3035 1511 34817 1511 4202560 50309 0 0 0 181 18 0 0 15 0 10 0 5228107 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 0 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3040] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3040/stat : 3040 (java) S 3035 3035 1511 34817 1511 4202560 15 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3041] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3041/stat : 3041 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 18 0 10 0 5228108 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3042] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3042/stat : 3042 (java) S 3035 3035 1511 34817 1511 4202560 1 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3043] ppid=3035 vsize=411156 CPUtime=0.13 /proc/3036/task/3043/stat : 3043 (java) S 3035 3035 1511 34817 1511 4202560 543 0 0 0 12 1 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3044] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3044/stat : 3044 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3045] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3045/stat : 3045 (java) S 3035 3035 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 15 0 10 0 5228109 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 [pid=3036/tid=3047] ppid=3035 vsize=411156 CPUtime=0 /proc/3036/task/3047/stat : 3047 (java) S 3035 3035 1511 34817 1511 4202560 5 0 0 0 0 0 0 0 25 0 10 0 5228489 421023744 65505 1283457024 134512640 134550932 4288111232 18446744073709551615 4294960130 0 4 0 16800975 18446612133395359680 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 10.08 Current children cumulated vsize (KiB) 413724 Child status: 0 Real time (s): 10.2129 CPU time (s): 10.1406 CPU user time (s): 9.88062 CPU system time (s): 0.260016 CPU usage (%): 99.2922 Max. virtual memory (cumulated for all children) (KiB): 413724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.88062 system time used= 0.260016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66737 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 921 involuntary context switches= 1131 runsolver used 0 second user time and 0.012 second system time The end