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-4081758-1465254177/watcher-4081758-1465254177 -o /tmp/evaluation-result-4081758-1465254177/solver-4081758-1465254177 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1465243580-15693 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081758-1465254177.opb
pid=19726
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: 4.03 4.30 4.18 4/199 19729
/proc/meminfo: memFree=27827632/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19729/stat : 19729 (java) D 19726 19729 15677 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 107350518 9515008 182 33554432000 1073741824 1073778376 140735793080096 140735793071128 273905696437 0 0 4096 0 18446744072100764964 0 0 17 0 0 0 0 0 0
/proc/19729/statm: 2323 182 140 9 0 71 0
[startup+0.100115 s]
/proc/loadavg: 4.03 4.30 4.18 4/199 19729
/proc/meminfo: memFree=27827632/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 4426 0 1 0 7 1 0 0 20 0 18 0 107350518 9787879424 5016 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2389619 5016 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200292 s]
/proc/loadavg: 4.03 4.30 4.18 4/199 19729
/proc/meminfo: memFree=27827632/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9558476 CPUtime=0.2 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 4645 0 1 0 19 1 0 0 20 0 18 0 107350518 9787879424 6739 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2389619 6739 2194 9 0 2380296 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 9558476
[startup+0.300226 s]
/proc/loadavg: 4.03 4.30 4.18 4/199 19729
/proc/meminfo: memFree=27827632/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 5723 0 1 0 41 1 0 0 20 0 18 0 107350518 9787879424 8537 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2389619 8537 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558476
[startup+0.700173 s]
/proc/loadavg: 4.03 4.30 4.18 4/199 19729
/proc/meminfo: memFree=27827632/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9825348 CPUtime=1.71 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 23753 0 1 0 167 4 0 0 20 0 22 0 107350518 10061156352 26540 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456337 26540 2257 9 0 2447014 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 9825348
[startup+1.5008 s]
/proc/loadavg: 4.03 4.30 4.18 9/221 19754
/proc/meminfo: memFree=27723120/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 29380 0 1 0 277 9 0 0 20 0 19 0 107350518 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456183 28248 2269 9 0 2446860 0
[pid=19729/tid=19731] ppid=19726 vsize=9824732 CPUtime=0.53 cores=0,2,4,6
/proc/19729/task/19731/stat : 19731 (java) S 19726 19729 15677 0 -1 4202560 2469 0 1 0 52 1 0 0 20 0 19 0 107350519 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767701422968 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19732] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19732/stat : 19732 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767545461672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107350520 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 107350521 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107350522 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107350522 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350524 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=0.9 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13031 0 0 0 88 2 0 0 20 0 19 0 107350524 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=0.93 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 12534 0 0 0 91 2 0 0 20 0 19 0 107350524 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350524 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107350524 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19751] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19751/stat : 19751 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107350577 10060525568 28248 33554432000 1073741824 1073778376 140734192973632 139767513421224 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 9824732
[startup+3.10082 s]
/proc/loadavg: 4.03 4.30 4.18 7/221 19760
/proc/meminfo: memFree=27697816/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9824732 CPUtime=6 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 30563 0 1 0 583 17 0 0 20 0 22 0 107350518 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456183 55977 2288 9 0 2446860 0
[pid=19729/tid=19731] ppid=19726 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/19729/task/19731/stat : 19731 (java) S 19726 19729 15677 0 -1 4202560 2471 0 1 0 53 2 0 0 20 0 22 0 107350519 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767701422968 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19732] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19732/stat : 19732 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767545461672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350520 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350521 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=1.37 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13078 0 0 0 135 2 0 0 20 0 22 0 107350524 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=1.33 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 13543 0 0 0 130 3 0 0 20 0 22 0 107350524 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19751] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19751/stat : 19751 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107350577 10060525568 55977 33554432000 1073741824 1073778376 140734192973632 139767513421224 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 4.11 4.31 4.19 4/221 19763
/proc/meminfo: memFree=27545444/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9824732 CPUtime=12.9 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 31697 0 1 0 1262 28 0 0 20 0 22 0 107350518 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456183 90070 2294 9 0 2446860 0
[pid=19729/tid=19731] ppid=19726 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/19729/task/19731/stat : 19731 (java) S 19726 19729 15677 0 -1 4202560 2471 0 1 0 53 2 0 0 20 0 22 0 107350519 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767701422968 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19732] ppid=19726 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19729/task/19732/stat : 19732 (java) S 19726 19729 15677 0 -1 4202560 170 0 0 0 4 2 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767545461672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=0.02 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 123 0 0 0 2 0 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 144 0 0 0 3 0 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=0.09 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 139 0 0 0 7 2 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=0.1 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 227 0 0 0 7 3 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=0.07 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 92 0 0 0 5 2 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 99 0 0 0 6 0 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 19 0 0 0 3 0 0 0 20 0 22 0 107350520 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 107350521 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=1.63 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13121 0 0 0 161 2 0 0 20 0 22 0 107350524 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=1.36 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 13544 0 0 0 133 3 0 0 20 0 22 0 107350524 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19751] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19751/stat : 19751 (java) S 19726 19729 15677 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107350577 10060525568 90070 33554432000 1073741824 1073778376 140734192973632 139767513421224 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19761] ppid=19726 vsize=9824732 CPUtime=3.48 cores=0,2,4,6
/proc/19729/task/19761/stat : 19761 (java) R 19726 19729 15677 0 -1 4202560 8 0 0 0 348 0 0 0 20 0 22 0 107350782 10060525568 90582 33554432000 1073741824 1073778376 140734192973632 139767516569632 139767575536986 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19762] ppid=19726 vsize=9824732 CPUtime=3.47 cores=0,2,4,6
################
# More data... #
################
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=2.59 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 596 0 0 0 244 15 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=2.85 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 817 0 0 0 267 18 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=2.73 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 804 0 0 0 253 20 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=2.52 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 823 0 0 0 233 19 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=2.86 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 1089 0 0 0 261 25 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=2.4 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 697 0 0 0 225 15 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=2.25 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 529 0 0 0 211 14 0 0 20 0 22 0 107350520 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=2.1 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 2087 0 0 0 204 6 0 0 20 0 22 0 107350521 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13137 0 0 0 224 2 0 0 20 0 22 0 107350524 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 13557 0 0 0 169 3 0 0 20 0 22 0 107350524 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 46 0 0 0 14 15 0 0 20 0 22 0 107350524 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19763] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19763/stat : 19763 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107350782 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767515526056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=20143] ppid=19726 vsize=9824732 CPUtime=688.23 cores=0,2,4,6
/proc/19729/task/20143/stat : 20143 (java) R 19726 19729 15677 0 -1 4202560 10 0 0 0 68813 10 0 0 20 0 22 0 107363255 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767516576816 139767575005894 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=20144] ppid=19726 vsize=9824732 CPUtime=688.29 cores=0,2,4,6
/proc/19729/task/20144/stat : 20144 (java) R 19726 19729 15677 0 -1 4202560 146 0 0 0 68816 13 0 0 20 0 22 0 107363255 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767514472448 139767575014037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=20145] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/20145/stat : 20145 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107363255 10060525568 916795 33554432000 1073741824 1073778376 140734192973632 139767513421096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.91
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.26 4.20 4.17 5/221 20314
/proc/meminfo: memFree=24024612/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9824732 CPUtime=1773.32 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 40545 0 1 0 177110 222 0 0 20 0 22 0 107350518 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456183 918988 2303 9 0 2446860 0
[pid=19729/tid=19731] ppid=19726 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/19729/task/19731/stat : 19731 (java) S 19726 19729 15677 0 -1 4202560 2478 0 1 0 56 3 0 0 20 0 22 0 107350519 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767701422968 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19732] ppid=19726 vsize=9824732 CPUtime=2.9 cores=0,2,4,6
/proc/19729/task/19732/stat : 19732 (java) S 19726 19729 15677 0 -1 4202560 899 0 0 0 270 20 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767545461672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=2.65 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 625 0 0 0 250 15 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=2.95 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 825 0 0 0 277 18 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=2.89 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 822 0 0 0 269 20 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=2.7 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 868 0 0 0 251 19 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=3.05 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 1091 0 0 0 280 25 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=2.49 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 714 0 0 0 234 15 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=2.31 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 559 0 0 0 217 14 0 0 20 0 22 0 107350520 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 2093 0 0 0 204 7 0 0 20 0 22 0 107350521 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13137 0 0 0 224 2 0 0 20 0 22 0 107350524 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 13557 0 0 0 169 3 0 0 20 0 22 0 107350524 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 50 0 0 0 15 16 0 0 20 0 22 0 107350524 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19763] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19763/stat : 19763 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107350782 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767515526056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=20143] ppid=19726 vsize=9824732 CPUtime=747.96 cores=0,2,4,6
/proc/19729/task/20143/stat : 20143 (java) R 19726 19729 15677 0 -1 4202560 12 0 0 0 74785 11 0 0 20 0 22 0 107363255 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767516577680 139767575005950 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=20144] ppid=19726 vsize=9824732 CPUtime=748.03 cores=0,2,4,6
/proc/19729/task/20144/stat : 20144 (java) R 19726 19729 15677 0 -1 4202560 149 0 0 0 74789 14 0 0 20 0 22 0 107363255 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767514473632 139767575125211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=20145] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/20145/stat : 20145 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107363255 10060525568 918988 33554432000 1073741824 1073778376 140734192973632 139767513421096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1773.32
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.601 s]
/proc/loadavg: 4.20 4.18 4.17 5/221 20314
/proc/meminfo: memFree=24042304/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=9824732 CPUtime=1800.01 cores=0,2,4,6
/proc/19729/stat : 19729 (java) S 19726 19729 15677 0 -1 4202496 40582 0 1 0 179778 223 0 0 20 0 22 0 107350518 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 140734192964768 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19729/statm: 2456183 919531 2303 9 0 2446860 0
[pid=19729/tid=19731] ppid=19726 vsize=9824732 CPUtime=0.59 cores=0,2,4,6
/proc/19729/task/19731/stat : 19731 (java) S 19726 19729 15677 0 -1 4202560 2478 0 1 0 56 3 0 0 20 0 22 0 107350519 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767701422968 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19732] ppid=19726 vsize=9824732 CPUtime=2.92 cores=0,2,4,6
/proc/19729/task/19732/stat : 19732 (java) S 19726 19729 15677 0 -1 4202560 900 0 0 0 272 20 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767545461672 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19733] ppid=19726 vsize=9824732 CPUtime=2.71 cores=0,2,4,6
/proc/19729/task/19733/stat : 19733 (java) S 19726 19729 15677 0 -1 4202560 629 0 0 0 256 15 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767544409128 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19734] ppid=19726 vsize=9824732 CPUtime=2.97 cores=0,2,4,6
/proc/19729/task/19734/stat : 19734 (java) S 19726 19729 15677 0 -1 4202560 842 0 0 0 278 19 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767543356072 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19735] ppid=19726 vsize=9824732 CPUtime=2.94 cores=0,2,4,6
/proc/19729/task/19735/stat : 19735 (java) S 19726 19729 15677 0 -1 4202560 828 0 0 0 274 20 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767542303528 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=9824732 CPUtime=2.72 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) S 19726 19729 15677 0 -1 4202560 869 0 0 0 253 19 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767541250472 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19737] ppid=19726 vsize=9824732 CPUtime=3.07 cores=0,2,4,6
/proc/19729/task/19737/stat : 19737 (java) S 19726 19729 15677 0 -1 4202560 1091 0 0 0 282 25 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767540197928 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19738] ppid=19726 vsize=9824732 CPUtime=2.51 cores=0,2,4,6
/proc/19729/task/19738/stat : 19738 (java) S 19726 19729 15677 0 -1 4202560 714 0 0 0 236 15 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767539144872 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=19739] ppid=19726 vsize=9824732 CPUtime=2.33 cores=0,2,4,6
/proc/19729/task/19739/stat : 19739 (java) S 19726 19729 15677 0 -1 4202560 566 0 0 0 219 14 0 0 20 0 22 0 107350520 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767538092328 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19740] ppid=19726 vsize=9824732 CPUtime=2.11 cores=0,2,4,6
/proc/19729/task/19740/stat : 19740 (java) S 19726 19729 15677 0 -1 4202560 2093 0 0 0 204 7 0 0 20 0 22 0 107350521 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767525682024 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19741] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19741/stat : 19741 (java) S 19726 19729 15677 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767524628344 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19742] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19742/stat : 19742 (java) S 19726 19729 15677 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 107350522 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767523575176 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19743] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19743/stat : 19743 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767522523920 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19729/tid=19744] ppid=19726 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/19729/task/19744/stat : 19744 (java) S 19726 19729 15677 0 -1 4202560 13137 0 0 0 224 2 0 0 20 0 22 0 107350524 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767521470776 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19745] ppid=19726 vsize=9824732 CPUtime=1.72 cores=0,2,4,6
/proc/19729/task/19745/stat : 19745 (java) S 19726 19729 15677 0 -1 4202560 13557 0 0 0 169 3 0 0 20 0 22 0 107350524 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767520418232 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=19746] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19746/stat : 19746 (java) S 19726 19729 15677 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107350524 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767519365368 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19747] ppid=19726 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/19729/task/19747/stat : 19747 (java) S 19726 19729 15677 0 -1 4202560 50 0 0 0 15 16 0 0 20 0 22 0 107350524 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767518313032 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=19763] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/19763/stat : 19763 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107350782 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767515526056 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19729/tid=20143] ppid=19726 vsize=9824732 CPUtime=761.19 cores=0,2,4,6
/proc/19729/task/20143/stat : 20143 (java) R 19726 19729 15677 0 -1 4202560 12 0 0 0 76108 11 0 0 20 0 22 0 107363255 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767516570000 139767575005976 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=19729/tid=20144] ppid=19726 vsize=9824732 CPUtime=761.26 cores=0,2,4,6
/proc/19729/task/20144/stat : 20144 (java) R 19726 19729 15677 0 -1 4202560 150 0 0 0 76112 14 0 0 20 0 22 0 107363255 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767514473632 139767575125732 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19729/tid=20145] ppid=19726 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/19729/task/20145/stat : 20145 (java) S 19726 19729 15677 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107363255 10060525568 919531 33554432000 1073741824 1073778376 140734192973632 139767513421096 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 19729 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+895.706 s]
/proc/loadavg: 4.20 4.18 4.17 5/221 20314
/proc/meminfo: memFree=24042304/32872528 swapFree=15540/1663004
[pid=19729] ppid=19726 vsize=0 CPUtime=1800.8 cores=0,2,4,6
/proc/19729/stat : 19729 (java) Z 19726 19729 15677 0 -1 4203532 40635 0 1 0 179818 262 0 0 20 0 2 0 107350518 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19729/statm: 0 0 0 0 0 0 0
[pid=19729/tid=19736] ppid=19726 vsize=0 CPUtime=2.75 cores=0,2,4,6
/proc/19729/task/19736/stat : 19736 (java) R 19726 19729 15677 0 -1 4203588 875 0 0 0 255 20 0 0 20 0 2 0 107350520 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.8
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 895.714
CPU time (s): 1800.83
CPU user time (s): 1798.19
CPU system time (s): 2.6416
CPU usage (%): 201.05
Max. virtual memory (cumulated for all children) (KiB): 9825348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 2.6416
maximum resident set size= 3678300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40635
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23855
involuntary context switches= 29774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.70113 second user time and 7.49686 second system time
The end