runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3743996-1338791230/watcher-3743996-1338791230 -o /tmp/evaluation-result-3743996-1338791230/solver-3743996-1338791230 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3743996-1338791230.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 20411
/proc/meminfo: memFree=25610864/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/20411/stat : 20411 (runsolver) D 20409 20411 17886 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 345247930 12095488 50 33554432000 4194304 5436572 140737268514912 140737268511208 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/20411/statm: 2953 50 31 304 0 2645 0
[startup+0.054543 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 20411
/proc/meminfo: memFree=25610864/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 3912 0 1 0 2 0 0 0 20 0 13 0 345247930 2686889984 5119 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 655979 5120 1684 9 0 646680 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916
[startup+0.100309 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 20411
/proc/meminfo: memFree=25610864/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 4129 0 1 0 6 1 0 0 20 0 18 0 345247930 3028844544 5846 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 5846 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300286 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 20411
/proc/meminfo: memFree=25610864/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=0.43 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 5825 0 1 0 41 2 0 0 20 0 18 0 345247930 3028844544 16946 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 16946 2233 9 0 729885 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2957856
[startup+0.700313 s]
/proc/loadavg: 2.00 2.00 2.00 3/194 20411
/proc/meminfo: memFree=25610864/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=0.98 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 6231 0 1 0 94 4 0 0 20 0 18 0 345247930 3028844544 57001 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 57001 2243 9 0 729885 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 2957856
[startup+1.50074 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 20429
/proc/meminfo: memFree=25286932/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=2.4 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 10407 0 1 0 225 15 0 0 20 0 18 0 345247930 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 129896 2274 9 0 729885 0
[pid=20411/tid=20413] ppid=20409 vsize=2957856 CPUtime=1.37 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) R 20409 20411 17886 0 -1 4202560 3244 0 1 0 130 7 0 0 20 0 18 0 345247931 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927811436832 139927635811148 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 19 0 0 0 1 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=2957856 CPUtime=0.06 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 26 0 0 0 3 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 24 0 0 0 3 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 345247933 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927775091304 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927771933712 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=2957856 CPUtime=0.34 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 2821 0 0 0 34 0 0 0 20 0 18 0 345247937 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 2976 0 0 0 33 0 0 0 20 0 18 0 345247937 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 129896 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 2957856
[startup+3.10394 s]
/proc/loadavg: 2.00 2.00 2.00 10/212 20429
/proc/meminfo: memFree=25037264/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=4.83 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 14069 0 1 0 452 31 0 0 20 0 18 0 345247930 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 158485 2284 9 0 729885 0
[pid=20411/tid=20413] ppid=20409 vsize=2957856 CPUtime=2.79 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) R 20409 20411 17886 0 -1 4202560 3245 0 1 0 271 8 0 0 20 0 18 0 345247931 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927811444088 139927635811696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 61 0 0 0 7 3 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=2957856 CPUtime=0.11 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 59 0 0 0 8 3 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=2957856 CPUtime=0.17 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 81 0 0 0 14 3 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 54 0 0 0 8 2 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 48 0 0 0 8 2 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=2957856 CPUtime=0.12 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 62 0 0 0 9 3 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=2957856 CPUtime=0.13 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 68 0 0 0 10 3 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 51 0 0 0 7 2 0 0 20 0 18 0 345247933 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927775091304 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927771933712 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=2957856 CPUtime=0.56 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6179 0 0 0 55 1 0 0 20 0 18 0 345247937 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=2957856 CPUtime=0.38 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 2976 0 0 0 38 0 0 0 20 0 18 0 345247937 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 158485 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.83
Current children cumulated vsize (KiB) 2957856
[startup+6.30063 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 20429
/proc/meminfo: memFree=24897628/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=2957856 CPUtime=9.72 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 14718 0 1 0 922 50 0 0 20 0 18 0 345247930 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 739464 196598 2293 9 0 729885 0
[pid=20411/tid=20413] ppid=20409 vsize=2957856 CPUtime=5.44 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) R 20409 20411 17886 0 -1 4202560 3252 0 1 0 536 8 0 0 20 0 18 0 345247931 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927811444360 139927635385863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 210 0 0 0 28 5 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=2957856 CPUtime=0.4 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 149 0 0 0 35 5 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 139 0 0 0 41 7 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=2957856 CPUtime=0.3 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 88 0 0 0 26 4 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=2957856 CPUtime=0.38 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 97 0 0 0 33 5 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=2957856 CPUtime=0.32 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 211 0 0 0 27 5 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=2957856 CPUtime=0.48 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 134 0 0 0 41 7 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=2957856 CPUtime=0.39 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 91 0 0 0 35 4 0 0 20 0 18 0 345247933 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927775091304 223655016361 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 345247934 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927771933712 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=2957856 CPUtime=0.61 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6179 0 0 0 60 1 0 0 20 0 18 0 345247937 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) R 20409 20411 17886 0 -1 4202560 2983 0 0 0 44 0 0 0 20 0 18 0 345247937 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927769827392 139927819185088 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 345247937 3028844544 196598 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 2.37 2.08 2.03 3/213 20430
/proc/meminfo: memFree=24750028/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=3024420 CPUtime=17.48 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 15579 0 1 0 1691 57 0 0 20 0 19 0 345247930 3097006080 218650 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 756105 218650 2299 9 0 746526 0
[pid=20411/tid=20413] ppid=20409 vsize=3024420 CPUtime=11.5 cores=0,2,4,6
################
# More data... #
################
[pid=20411/tid=20419] ppid=20409 vsize=3024420 CPUtime=9.99 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 472 0 0 0 985 14 0 0 20 0 19 0 345247933 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=3024420 CPUtime=10.01 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 493 0 0 0 985 16 0 0 20 0 19 0 345247933 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=3024420 CPUtime=9.97 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 459 0 0 0 982 15 0 0 20 0 19 0 345247933 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=3024420 CPUtime=425.24 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) R 20409 20411 17886 0 -1 4202560 134 0 0 0 42512 12 0 0 20 0 19 0 345247934 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927775091464 139927817571471 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927771933712 223655024416 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6185 0 0 0 83 1 0 0 20 0 19 0 345247937 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 3128 0 0 0 74 0 0 0 20 0 19 0 345247937 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 101 0 0 0 39 30 0 0 20 0 19 0 345247937 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20430] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20430/stat : 20430 (java) S 20409 20411 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345248570 3097006080 420885 33554432000 1073741824 1073778376 140735936709984 139927765521704 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -20411
Solver just ended. Dumping a history of the last processes samples
[startup+1742.2 s]
/proc/loadavg: 1.99 2.00 2.00 3/213 20503
/proc/meminfo: memFree=23598300/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=3024420 CPUtime=1800.83 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 18944 0 1 0 179916 167 0 0 20 0 19 0 345247930 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 756105 420892 2310 9 0 746526 0
[pid=20411/tid=20413] ppid=20409 vsize=3024420 CPUtime=1294.63 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) S 20409 20411 17886 0 -1 4202560 4393 0 1 0 129431 32 0 0 20 0 19 0 345247931 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927811444056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=3024420 CPUtime=9.71 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 477 0 0 0 956 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=3024420 CPUtime=9.64 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 478 0 0 0 949 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=3024420 CPUtime=9.93 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 492 0 0 0 977 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=3024420 CPUtime=9.54 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 473 0 0 0 939 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=3024420 CPUtime=9.67 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 468 0 0 0 953 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=3024420 CPUtime=9.99 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 472 0 0 0 985 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=3024420 CPUtime=10.01 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 493 0 0 0 985 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=3024420 CPUtime=9.97 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 459 0 0 0 982 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=3024420 CPUtime=426.03 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) R 20409 20411 17886 0 -1 4202560 135 0 0 0 42591 12 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927775091120 139927817568672 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927771932600 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6185 0 0 0 83 1 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 3128 0 0 0 74 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 101 0 0 0 39 30 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20430] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20430/stat : 20430 (java) S 20409 20411 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345248570 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927765521704 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 3024420
[startup+1743 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 20504
/proc/meminfo: memFree=23594204/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=3024420 CPUtime=1801.63 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 18944 0 1 0 179996 167 0 0 20 0 19 0 345247930 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 756105 420892 2310 9 0 746526 0
[pid=20411/tid=20413] ppid=20409 vsize=3024420 CPUtime=1294.63 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) S 20409 20411 17886 0 -1 4202560 4393 0 1 0 129431 32 0 0 20 0 19 0 345247931 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927811444472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=3024420 CPUtime=9.71 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 477 0 0 0 956 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=3024420 CPUtime=9.64 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 478 0 0 0 949 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=3024420 CPUtime=9.93 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 492 0 0 0 977 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=3024420 CPUtime=9.54 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 473 0 0 0 939 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=3024420 CPUtime=9.67 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 468 0 0 0 953 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=3024420 CPUtime=9.99 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 472 0 0 0 985 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=3024420 CPUtime=10.01 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 493 0 0 0 985 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=3024420 CPUtime=9.97 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 459 0 0 0 982 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=3024420 CPUtime=426.83 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) R 20409 20411 17886 0 -1 4202560 135 0 0 0 42671 12 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927775091464 139927815582205 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927771932120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6185 0 0 0 83 1 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 3128 0 0 0 74 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 101 0 0 0 39 30 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20430] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20430/stat : 20430 (java) S 20409 20411 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345248570 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927765521704 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1801.63
Current children cumulated vsize (KiB) 3024420
[startup+1743.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/214 20504
/proc/meminfo: memFree=23594072/32873844 swapFree=7628/7628
[pid=20411] ppid=20409 vsize=3024420 CPUtime=1802.04 cores=0,2,4,6
/proc/20411/stat : 20411 (java) S 20409 20411 17886 0 -1 4202496 18944 0 1 0 180037 167 0 0 20 0 19 0 345247930 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 140735936701120 223655002173 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/20411/statm: 756105 420892 2310 9 0 746526 0
[pid=20411/tid=20413] ppid=20409 vsize=3024420 CPUtime=1294.63 cores=0,2,4,6
/proc/20411/task/20413/stat : 20413 (java) S 20409 20411 17886 0 -1 4202560 4393 0 1 0 129431 32 0 0 20 0 19 0 345247931 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927811444472 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20414] ppid=20409 vsize=3024420 CPUtime=9.71 cores=0,2,4,6
/proc/20411/task/20414/stat : 20414 (java) S 20409 20411 17886 0 -1 4202560 477 0 0 0 956 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927794870952 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20415] ppid=20409 vsize=3024420 CPUtime=9.64 cores=0,2,4,6
/proc/20411/task/20415/stat : 20415 (java) S 20409 20411 17886 0 -1 4202560 478 0 0 0 949 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927793818408 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20416] ppid=20409 vsize=3024420 CPUtime=9.93 cores=0,2,4,6
/proc/20411/task/20416/stat : 20416 (java) S 20409 20411 17886 0 -1 4202560 492 0 0 0 977 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927792765864 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20417] ppid=20409 vsize=3024420 CPUtime=9.54 cores=0,2,4,6
/proc/20411/task/20417/stat : 20417 (java) S 20409 20411 17886 0 -1 4202560 473 0 0 0 939 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927791713320 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=20411/tid=20418] ppid=20409 vsize=3024420 CPUtime=9.67 cores=0,2,4,6
/proc/20411/task/20418/stat : 20418 (java) S 20409 20411 17886 0 -1 4202560 468 0 0 0 953 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927790659752 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20419] ppid=20409 vsize=3024420 CPUtime=9.99 cores=0,2,4,6
/proc/20411/task/20419/stat : 20419 (java) S 20409 20411 17886 0 -1 4202560 472 0 0 0 985 14 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927789607208 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20420] ppid=20409 vsize=3024420 CPUtime=10.01 cores=0,2,4,6
/proc/20411/task/20420/stat : 20420 (java) S 20409 20411 17886 0 -1 4202560 493 0 0 0 985 16 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927788554664 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20421] ppid=20409 vsize=3024420 CPUtime=9.97 cores=0,2,4,6
/proc/20411/task/20421/stat : 20421 (java) S 20409 20411 17886 0 -1 4202560 459 0 0 0 982 15 0 0 20 0 19 0 345247933 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927787502120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20422] ppid=20409 vsize=3024420 CPUtime=427.24 cores=0,2,4,6
/proc/20411/task/20422/stat : 20422 (java) R 20409 20411 17886 0 -1 4202560 135 0 0 0 42712 12 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927775091464 139927817569681 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20423] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20423/stat : 20423 (java) S 20409 20411 17886 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927774037624 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20424] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20424/stat : 20424 (java) S 20409 20411 17886 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 345247934 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927772984968 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20425] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20425/stat : 20425 (java) S 20409 20411 17886 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927771932120 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20426] ppid=20409 vsize=3024420 CPUtime=0.84 cores=0,2,4,6
/proc/20411/task/20426/stat : 20426 (java) S 20409 20411 17886 0 -1 4202560 6185 0 0 0 83 1 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927770880056 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=20411/tid=20427] ppid=20409 vsize=3024420 CPUtime=0.74 cores=0,2,4,6
/proc/20411/task/20427/stat : 20427 (java) S 20409 20411 17886 0 -1 4202560 3128 0 0 0 74 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927769827512 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20428] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20428/stat : 20428 (java) S 20409 20411 17886 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927768775160 223655015484 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=20411/tid=20429] ppid=20409 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/20411/task/20429/stat : 20429 (java) S 20409 20411 17886 0 -1 4202560 101 0 0 0 39 30 0 0 20 0 19 0 345247937 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927767722824 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20411/tid=20430] ppid=20409 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/20411/task/20430/stat : 20430 (java) S 20409 20411 17886 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 345248570 3097006080 420892 33554432000 1073741824 1073778376 140735936709984 139927765521704 223655016361 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 3024420
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1743.42
CPU time (s): 1802.85
CPU user time (s): 1800.77
CPU system time (s): 2.08368
CPU usage (%): 103.409
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.77
system time used= 2.08368
maximum resident set size= 1683568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18944
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55572
involuntary context switches= 92579
runsolver used 7.29489 second user time and 19.0951 second system time
The end