runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4103770-1466246550/watcher-4103770-1466246550 -o /tmp/evaluation-result-4103770-1466246550/solver-4103770-1466246550 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466240252-18375 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4103770-1466246550.opb
pid=20406
running on 4 cores: 1,3,5,7
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: 4.18 4.39 4.31 4/197 20409
/proc/meminfo: memFree=27783944/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 1294 0 0 0 0 0 0 0 20 0 2 0 26701772 95129600 927 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 23225 927 703 9 0 16769 0
[pid=20409/tid=20410] ppid=20406 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) D 20406 20409 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 26701773 95129600 927 33554432000 1073741824 1073778376 140736561514960 140342455819816 214360485159 0 0 4096 0 18446744072100588836 0 0 -1 1 0 0 0 0 0
[startup+0.100114 s]
/proc/loadavg: 4.18 4.39 4.31 4/197 20409
/proc/meminfo: memFree=27783944/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 4440 0 1 0 9 1 0 0 20 0 18 0 26701772 9787879424 6071 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2389619 6071 2142 9 0 2380296 0
[pid=20409/tid=20410] ppid=20406 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) R 20406 20409 18358 0 -1 4202560 2387 0 1 0 7 0 0 0 20 0 18 0 26701773 9787879424 6071 33554432000 1073741824 1073778376 140736561514960 140342455823264 214373033229 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200332 s]
/proc/loadavg: 4.18 4.39 4.31 4/197 20409
/proc/meminfo: memFree=27783944/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 5035 0 1 0 29 1 0 0 20 0 18 0 26701772 9787879424 7929 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2389619 7929 2222 9 0 2380296 0
[pid=20409/tid=20410] ppid=20406 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) R 20406 20409 18358 0 -1 4202560 2404 0 1 0 17 0 0 0 20 0 18 0 26701773 9787879424 7929 33554432000 1073741824 1073778376 140736561514960 140342455824136 140342301156196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300341 s]
/proc/loadavg: 4.18 4.39 4.31 4/197 20409
/proc/meminfo: memFree=27783944/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 5918 0 1 0 45 1 0 0 20 0 18 0 26701772 9787879424 13133 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2389619 13133 2232 9 0 2380296 0
[pid=20409/tid=20410] ppid=20406 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) R 20406 20409 18358 0 -1 4202560 2413 0 1 0 27 0 0 0 20 0 18 0 26701773 9787879424 13133 33554432000 1073741824 1073778376 140736561514960 140342455824136 140342301521959 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476
[startup+0.700295 s]
/proc/loadavg: 4.18 4.39 4.31 4/197 20409
/proc/meminfo: memFree=27783944/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9558476 CPUtime=1.39 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 16948 0 1 0 135 4 0 0 20 0 18 0 26701772 9787879424 37885 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2389619 37885 2247 9 0 2380296 0
[pid=20409/tid=20410] ppid=20406 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) R 20406 20409 18358 0 -1 4202560 2452 0 1 0 65 2 0 0 20 0 18 0 26701773 9787879424 37885 33554432000 1073741824 1073778376 140736561514960 140342455824584 140342301556591 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 9558476
[startup+1.50082 s]
/proc/loadavg: 4.17 4.38 4.31 11/215 20427
/proc/meminfo: memFree=27505364/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9558476 CPUtime=2.66 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 17993 0 1 0 249 17 0 0 20 0 18 0 26701772 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2389619 70778 2263 9 0 2380296 0
[pid=20409/tid=20410] ppid=20406 vsize=9558476 CPUtime=1.34 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) R 20406 20409 18358 0 -1 4202560 2473 0 1 0 131 3 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342455816240 140342301444564 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 125 0 0 0 6 3 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9558476 CPUtime=0.05 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 106 0 0 0 4 1 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9558476 CPUtime=0.03 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 20 0 0 0 1 2 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 112 0 0 0 6 3 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9558476 CPUtime=0.02 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 126 0 0 0 2 0 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 107 0 0 0 6 3 0 0 20 0 18 0 26701773 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 26701774 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 26701775 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 26701775 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20423/stat : 20423 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26701777 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341806066448 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20424] ppid=20406 vsize=9558476 CPUtime=0.32 cores=1,3,5,7
/proc/20409/task/20424/stat : 20424 (java) S 20406 20409 18358 0 -1 4202560 4825 0 0 0 32 0 0 0 20 0 18 0 26701777 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341805013304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20425] ppid=20406 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/20409/task/20425/stat : 20425 (java) S 20406 20409 18358 0 -1 4202560 8746 0 0 0 44 1 0 0 20 0 18 0 26701777 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341803960760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20426] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20426/stat : 20426 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26701777 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341802907896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20427] ppid=20406 vsize=9558476 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20427/stat : 20427 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 26701777 9787879424 70778 33554432000 1073741824 1073778376 140736561514960 140341801855560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 9558476
[startup+3.10086 s]
/proc/loadavg: 4.17 4.38 4.31 5/219 20431
/proc/meminfo: memFree=27304072/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9824732 CPUtime=6.28 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 19465 0 1 0 598 30 0 0 20 0 22 0 26701772 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2456183 121823 2277 9 0 2446860 0
[pid=20409/tid=20410] ppid=20406 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) S 20406 20409 18358 0 -1 4202560 2528 0 1 0 158 4 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342455825272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 97 0 0 0 5 2 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 133 0 0 0 9 3 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 43 0 0 0 6 3 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 133 0 0 0 9 4 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 220 0 0 0 11 3 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 134 0 0 0 11 4 0 0 20 0 22 0 26701773 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26701774 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20423/stat : 20423 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341806066448 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20424] ppid=20406 vsize=9824732 CPUtime=0.53 cores=1,3,5,7
/proc/20409/task/20424/stat : 20424 (java) R 20406 20409 18358 0 -1 4202560 5726 0 0 0 53 0 0 0 20 0 22 0 26701777 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341805013304 140342457781736 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20425] ppid=20406 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/20409/task/20425/stat : 20425 (java) R 20406 20409 18358 0 -1 4202560 8750 0 0 0 71 2 0 0 20 0 22 0 26701777 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341803960760 140342458431577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20426] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20426/stat : 20426 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341802907896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20427] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20427/stat : 20427 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341801855560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20428] ppid=20406 vsize=9824732 CPUtime=1.18 cores=1,3,5,7
/proc/20409/task/20428/stat : 20428 (java) R 20406 20409 18358 0 -1 4202560 25 0 0 0 118 0 0 0 20 0 22 0 26701950 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341800801448 140342301850833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20429] ppid=20406 vsize=9824732 CPUtime=1.17 cores=1,3,5,7
/proc/20409/task/20429/stat : 20429 (java) R 20406 20409 18358 0 -1 4202560 31 0 0 0 117 0 0 0 20 0 22 0 26701950 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341799748472 140342301857550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20430] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20430/stat : 20430 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341798696232 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20431] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20431/stat : 20431 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 121823 33554432000 1073741824 1073778376 140736561514960 140341797643688 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9824732
[startup+6.30091 s]
/proc/loadavg: 4.17 4.38 4.31 5/219 20431
/proc/meminfo: memFree=27303332/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9824732 CPUtime=13.04 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 20824 0 1 0 1274 30 0 0 20 0 22 0 26701772 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2456183 121800 2277 9 0 2446860 0
[pid=20409/tid=20410] ppid=20406 vsize=9824732 CPUtime=1.62 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) S 20406 20409 18358 0 -1 4202560 2528 0 1 0 158 4 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342455825272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 148 0 0 0 11 3 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 34 0 0 0 4 2 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 97 0 0 0 5 2 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 133 0 0 0 9 3 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 43 0 0 0 6 3 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9824732 CPUtime=0.13 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 133 0 0 0 9 4 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 220 0 0 0 11 3 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 134 0 0 0 11 4 0 0 20 0 22 0 26701773 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 26701774 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 121800 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.13 4.17 4.21 5/219 20519
/proc/meminfo: memFree=24363840/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9824732 CPUtime=1643.65 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 29810 0 1 0 164115 250 0 0 20 0 22 0 26701772 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2456183 925632 2292 9 0 2446860 0
[pid=20409/tid=20410] ppid=20406 vsize=9824732 CPUtime=1.65 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) S 20406 20409 18358 0 -1 4202560 2533 0 1 0 160 5 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342455825272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 672 0 0 0 74 28 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9824732 CPUtime=0.67 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 471 0 0 0 47 20 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 625 0 0 0 53 18 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 660 0 0 0 65 25 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9824732 CPUtime=0.83 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 515 0 0 0 59 24 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9824732 CPUtime=0.87 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 628 0 0 0 59 28 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9824732 CPUtime=1.09 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 802 0 0 0 78 31 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9824732 CPUtime=1 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 767 0 0 0 69 31 0 0 20 0 22 0 26701773 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 2331 0 0 0 468 3 0 0 20 0 22 0 26701774 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20423/stat : 20423 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341806066448 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20424] ppid=20406 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/20409/task/20424/stat : 20424 (java) S 20406 20409 18358 0 -1 4202560 8140 0 0 0 105 2 0 0 20 0 22 0 26701777 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341805013304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20425] ppid=20406 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/20409/task/20425/stat : 20425 (java) S 20406 20409 18358 0 -1 4202560 8921 0 0 0 109 2 0 0 20 0 22 0 26701777 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341803960760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20426] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20426/stat : 20426 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341802907896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20427] ppid=20406 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/20409/task/20427/stat : 20427 (java) S 20406 20409 18358 0 -1 4202560 47 0 0 0 14 17 0 0 20 0 22 0 26701777 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341801855560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20428] ppid=20406 vsize=9824732 CPUtime=814.07 cores=1,3,5,7
/proc/20409/task/20428/stat : 20428 (java) R 20406 20409 18358 0 -1 4202560 397 0 0 0 81389 18 0 0 20 0 22 0 26701950 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341800792448 140342301932952 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20429] ppid=20406 vsize=9824732 CPUtime=813.81 cores=1,3,5,7
/proc/20409/task/20429/stat : 20429 (java) R 20406 20409 18358 0 -1 4202560 1036 0 0 0 81352 29 0 0 20 0 22 0 26701950 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341799746304 140342301978222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20430] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20430/stat : 20430 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341798696232 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20431] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20431/stat : 20431 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925632 33554432000 1073741824 1073778376 140736561514960 140341797643688 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1643.65
Current children cumulated vsize (KiB) 9824732
[startup+882.301 s]
/proc/loadavg: 4.15 4.17 4.21 5/219 20520
/proc/meminfo: memFree=24496396/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9824732 CPUtime=1763.79 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 29871 0 1 0 176127 252 0 0 20 0 22 0 26701772 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2456183 925686 2292 9 0 2446860 0
[pid=20409/tid=20410] ppid=20406 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) S 20406 20409 18358 0 -1 4202560 2533 0 1 0 161 5 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342455825272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 672 0 0 0 76 28 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 471 0 0 0 49 20 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 647 0 0 0 55 18 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 667 0 0 0 67 25 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 515 0 0 0 61 24 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 628 0 0 0 65 28 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 802 0 0 0 84 31 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 767 0 0 0 71 31 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 2358 0 0 0 468 3 0 0 20 0 22 0 26701774 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20423/stat : 20423 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341806066448 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20424] ppid=20406 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/20409/task/20424/stat : 20424 (java) S 20406 20409 18358 0 -1 4202560 8140 0 0 0 105 2 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341805013304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20425] ppid=20406 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/20409/task/20425/stat : 20425 (java) S 20406 20409 18358 0 -1 4202560 8921 0 0 0 109 2 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341803960760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20426] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20426/stat : 20426 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341802907896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20427] ppid=20406 vsize=9824732 CPUtime=0.33 cores=1,3,5,7
/proc/20409/task/20427/stat : 20427 (java) S 20406 20409 18358 0 -1 4202560 51 0 0 0 14 19 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341801855560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20428] ppid=20406 vsize=9824732 CPUtime=874.02 cores=1,3,5,7
/proc/20409/task/20428/stat : 20428 (java) R 20406 20409 18358 0 -1 4202560 397 0 0 0 87383 19 0 0 20 0 22 0 26701950 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341800792448 140342301932947 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20429] ppid=20406 vsize=9824732 CPUtime=873.76 cores=1,3,5,7
/proc/20409/task/20429/stat : 20429 (java) R 20406 20409 18358 0 -1 4202560 1037 0 0 0 87346 30 0 0 20 0 22 0 26701950 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341799747200 140342301978101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20430] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20430/stat : 20430 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341798696232 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20431] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20431/stat : 20431 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341797643688 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1763.79
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.501 s]
/proc/loadavg: 4.18 4.18 4.21 5/219 20520
/proc/meminfo: memFree=24490492/32872528 swapFree=1286400/1433568
[pid=20409] ppid=20406 vsize=9824732 CPUtime=1800.18 cores=1,3,5,7
/proc/20409/stat : 20409 (java) S 20406 20409 18358 0 -1 4202496 29871 0 1 0 179765 253 0 0 20 0 22 0 26701772 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140736561506096 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2456183 925686 2292 9 0 2446860 0
[pid=20409/tid=20410] ppid=20406 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/20409/task/20410/stat : 20410 (java) S 20406 20409 18358 0 -1 4202560 2533 0 1 0 161 5 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342455825272 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20412] ppid=20406 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
/proc/20409/task/20412/stat : 20412 (java) S 20406 20409 18358 0 -1 4202560 672 0 0 0 76 28 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342428277672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20413] ppid=20406 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/20409/task/20413/stat : 20413 (java) S 20406 20409 18358 0 -1 4202560 471 0 0 0 49 20 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342427225128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20414] ppid=20406 vsize=9824732 CPUtime=0.73 cores=1,3,5,7
/proc/20409/task/20414/stat : 20414 (java) S 20406 20409 18358 0 -1 4202560 647 0 0 0 55 18 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342426172072 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20415] ppid=20406 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/20409/task/20415/stat : 20415 (java) S 20406 20409 18358 0 -1 4202560 667 0 0 0 67 25 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342425119528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20416] ppid=20406 vsize=9824732 CPUtime=0.85 cores=1,3,5,7
/proc/20409/task/20416/stat : 20416 (java) S 20406 20409 18358 0 -1 4202560 515 0 0 0 61 24 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342424066472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20417] ppid=20406 vsize=9824732 CPUtime=0.93 cores=1,3,5,7
/proc/20409/task/20417/stat : 20417 (java) S 20406 20409 18358 0 -1 4202560 628 0 0 0 65 28 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342423013928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20418] ppid=20406 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/20409/task/20418/stat : 20418 (java) S 20406 20409 18358 0 -1 4202560 802 0 0 0 84 31 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342421960872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20419] ppid=20406 vsize=9824732 CPUtime=1.02 cores=1,3,5,7
/proc/20409/task/20419/stat : 20419 (java) S 20406 20409 18358 0 -1 4202560 767 0 0 0 71 31 0 0 20 0 22 0 26701773 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140342420908328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20420] ppid=20406 vsize=9824732 CPUtime=4.71 cores=1,3,5,7
/proc/20409/task/20420/stat : 20420 (java) S 20406 20409 18358 0 -1 4202560 2358 0 0 0 468 3 0 0 20 0 22 0 26701774 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341809224552 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20421] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20421/stat : 20421 (java) S 20406 20409 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341808170872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20422] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20422/stat : 20422 (java) S 20406 20409 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 26701775 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341807117704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20423] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20423/stat : 20423 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341806066448 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20424] ppid=20406 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/20409/task/20424/stat : 20424 (java) S 20406 20409 18358 0 -1 4202560 8140 0 0 0 105 2 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341805013304 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20409/tid=20425] ppid=20406 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/20409/task/20425/stat : 20425 (java) S 20406 20409 18358 0 -1 4202560 8921 0 0 0 109 2 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341803960760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20426] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20426/stat : 20426 (java) S 20406 20409 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341802907896 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20427] ppid=20406 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/20409/task/20427/stat : 20427 (java) S 20406 20409 18358 0 -1 4202560 51 0 0 0 14 20 0 0 20 0 22 0 26701777 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341801855560 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20428] ppid=20406 vsize=9824732 CPUtime=892.21 cores=1,3,5,7
/proc/20409/task/20428/stat : 20428 (java) R 20406 20409 18358 0 -1 4202560 397 0 0 0 89202 19 0 0 20 0 22 0 26701950 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341800792448 140342301954522 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20409/tid=20429] ppid=20406 vsize=9824732 CPUtime=891.95 cores=1,3,5,7
/proc/20409/task/20429/stat : 20429 (java) R 20406 20409 18358 0 -1 4202560 1037 0 0 0 89165 30 0 0 20 0 22 0 26701950 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341799747200 140342301978222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20409/tid=20430] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20430/stat : 20430 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341798696232 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20409/tid=20431] ppid=20406 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/20409/task/20431/stat : 20431 (java) S 20406 20409 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 26701957 10060525568 925686 33554432000 1073741824 1073778376 140736561514960 140341797643688 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 9824732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20409 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 900.548
CPU time (s): 1800.8
CPU user time (s): 1797.77
CPU system time (s): 3.03254
CPU usage (%): 199.967
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.77
system time used= 3.03254
maximum resident set size= 3735632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29913
page faults= 1
swaps= 0
block input operations= 0
block output operations= 680
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21667
involuntary context switches= 8684
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.41018 second user time and 7.75682 second system time
The end