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-4105842-1466264922/watcher-4105842-1466264922 -o /tmp/evaluation-result-4105842-1466264922/solver-4105842-1466264922 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466264922-3638 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4105842-1466264922.opb
pid=3660
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: 1.22 1.69 1.98 4/175 3666
/proc/meminfo: memFree=30506524/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3666/stat : 3666 (java) D 3660 3666 3621 0 -1 4202496 319 0 0 0 0 0 0 0 20 0 1 0 28539022 9515008 175 33554432000 1073741824 1073778376 140734718365408 140734718348136 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/3666/statm: 2323 175 133 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 1.22 1.69 1.98 4/175 3666
/proc/meminfo: memFree=30506524/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 4284 0 1 0 6 1 0 0 20 0 18 0 28539022 9787879424 4892 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2389619 4893 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200303 s]
/proc/loadavg: 1.22 1.69 1.98 4/175 3666
/proc/meminfo: memFree=30506524/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9558476 CPUtime=0.22 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 4751 0 1 0 21 1 0 0 20 0 18 0 28539022 9787879424 6340 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2389619 6340 2198 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300307 s]
/proc/loadavg: 1.22 1.69 1.98 4/175 3666
/proc/meminfo: memFree=30506524/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 5604 0 1 0 43 2 0 0 20 0 18 0 28539022 9787879424 7482 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2389619 7482 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476
[startup+0.700202 s]
/proc/loadavg: 1.22 1.69 1.98 4/175 3666
/proc/meminfo: memFree=30506524/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 17214 0 1 0 188 5 0 0 20 0 22 0 28539022 10060525568 18661 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 18661 2255 9 0 2446860 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9824732
[startup+1.50095 s]
/proc/loadavg: 1.22 1.69 1.98 6/216 3712
/proc/meminfo: memFree=30364728/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=4.32 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 20043 0 1 0 425 7 0 0 20 0 22 0 28539022 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 45387 2268 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) S 3660 3666 3621 0 -1 4202560 2477 0 1 0 29 2 0 0 20 0 22 0 28539023 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133174764408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) R 3660 3666 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132998798056 214369602695 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=0.9 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8017 0 0 0 88 2 0 0 20 0 22 0 28539029 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=0.8 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 8151 0 0 0 78 2 0 0 20 0 22 0 28539029 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3705] ppid=3660 vsize=9824732 CPUtime=1.11 cores=1,3,5,7
/proc/3666/task/3705/stat : 3705 (java) R 3660 3666 3621 0 -1 4202560 19 0 0 0 111 0 0 0 20 0 22 0 28539057 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132990374368 140133047271041 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3706] ppid=3660 vsize=9824732 CPUtime=1.13 cores=1,3,5,7
/proc/3666/task/3706/stat : 3706 (java) S 3660 3666 3621 0 -1 4202560 99 0 0 0 111 2 0 0 20 0 22 0 28539057 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132989320856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3710] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3710/stat : 3710 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 45387 33554432000 1073741824 1073778376 140734765983792 140132987217448 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 9824732
[startup+3.10099 s]
/proc/loadavg: 1.28 1.70 1.98 5/194 3748
/proc/meminfo: memFree=30302484/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=7.74 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 21832 0 1 0 764 10 0 0 20 0 22 0 28539022 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 50614 2285 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) S 3660 3666 3621 0 -1 4202560 2477 0 1 0 29 2 0 0 20 0 22 0 28539023 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133174764408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) S 3660 3666 3621 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132998798056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=0.99 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8031 0 0 0 97 2 0 0 20 0 22 0 28539029 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=0.92 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 9806 0 0 0 89 3 0 0 20 0 22 0 28539029 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3705] ppid=3660 vsize=9824732 CPUtime=2.68 cores=1,3,5,7
/proc/3666/task/3705/stat : 3705 (java) R 3660 3666 3621 0 -1 4202560 21 0 0 0 268 0 0 0 20 0 22 0 28539057 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132990374848 140133047271074 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3706] ppid=3660 vsize=9824732 CPUtime=2.7 cores=1,3,5,7
/proc/3666/task/3706/stat : 3706 (java) R 3660 3666 3621 0 -1 4202560 100 0 0 0 267 3 0 0 20 0 22 0 28539057 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132989320944 140133047367272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3710] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3710/stat : 3710 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 50614 33554432000 1073741824 1073778376 140734765983792 140132987217448 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.74
Current children cumulated vsize (KiB) 9824732
[startup+6.30096 s]
/proc/loadavg: 1.28 1.70 1.98 4/215 3776
/proc/meminfo: memFree=29696352/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=14.27 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 22082 0 1 0 1410 17 0 0 20 0 22 0 28539022 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 84894 2285 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.31 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) S 3660 3666 3621 0 -1 4202560 2477 0 1 0 29 2 0 0 20 0 22 0 28539023 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133174764408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 27 0 0 0 2 2 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 24 0 0 0 2 2 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 26 0 0 0 2 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 28539025 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) S 3660 3666 3621 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140132998798056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 84894 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=1.04 cores=1,3,5,7
################
# More data... #
################
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8059 0 0 0 117 2 0 0 20 0 22 0 28539029 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 18243 0 0 0 175 4 0 0 20 0 22 0 28539029 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 22 0 28539029 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3854] ppid=3660 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/3666/task/3854/stat : 3854 (java) R 3660 3666 3621 0 -1 4202560 2 0 0 0 43 0 0 0 20 0 22 0 28544258 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132990372384 140133047342709 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3855] ppid=3660 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/3666/task/3855/stat : 3855 (java) R 3660 3666 3621 0 -1 4202560 3 0 0 0 43 0 0 0 20 0 22 0 28544258 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132987214968 140133048047818 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3856] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3856/stat : 3856 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28544267 10060525568 461363 33554432000 1073741824 1073778376 140734765983792 140132989322536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 108.22
Current children cumulated vsize (KiB) 9824732
[startup+53.6009 s]
/proc/loadavg: 3.00 2.09 2.10 6/219 3856
/proc/meminfo: memFree=25733320/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=109.8 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 33311 0 1 0 10912 68 0 0 20 0 22 0 28539022 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 461364 2287 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) S 3660 3666 3621 0 -1 4202560 2477 0 1 0 30 2 0 0 20 0 22 0 28539023 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133174764408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 106 0 0 0 11 6 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 84 0 0 0 9 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 120 0 0 0 15 6 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 88 0 0 0 10 4 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 99 0 0 0 10 5 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 78 0 0 0 8 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 60 0 0 0 9 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 122 0 0 0 10 4 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) S 3660 3666 3621 0 -1 4202560 1230 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132998798056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8059 0 0 0 117 2 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 18243 0 0 0 175 4 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3854] ppid=3660 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/3666/task/3854/stat : 3854 (java) R 3660 3666 3621 0 -1 4202560 3 0 0 0 122 0 0 0 20 0 22 0 28544258 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132990365584 140133047314482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3855] ppid=3660 vsize=9824732 CPUtime=1.22 cores=1,3,5,7
/proc/3666/task/3855/stat : 3855 (java) R 3660 3666 3621 0 -1 4202560 3 0 0 0 122 0 0 0 20 0 22 0 28544258 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132987214968 140133048039191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3856] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3856/stat : 3856 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28544267 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132989322536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 109.8
Current children cumulated vsize (KiB) 9824732
[startup+54.0081 s]
/proc/loadavg: 3.00 2.09 2.10 6/219 3856
/proc/meminfo: memFree=25733320/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=110.62 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 33311 0 1 0 10994 68 0 0 20 0 22 0 28539022 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 461364 2287 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.32 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) S 3660 3666 3621 0 -1 4202560 2477 0 1 0 30 2 0 0 20 0 22 0 28539023 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133174764408 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 106 0 0 0 11 6 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 84 0 0 0 9 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 120 0 0 0 15 6 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 88 0 0 0 10 4 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 99 0 0 0 10 5 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 78 0 0 0 8 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 60 0 0 0 9 3 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 122 0 0 0 10 4 0 0 20 0 22 0 28539025 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) S 3660 3666 3621 0 -1 4202560 1230 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132998798056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28539026 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8059 0 0 0 117 2 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 18243 0 0 0 175 4 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 22 0 28539029 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28539057 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3854] ppid=3660 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/3666/task/3854/stat : 3854 (java) R 3660 3666 3621 0 -1 4202560 3 0 0 0 163 0 0 0 20 0 22 0 28544258 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132990365584 140133048184023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3855] ppid=3660 vsize=9824732 CPUtime=1.63 cores=1,3,5,7
/proc/3666/task/3855/stat : 3855 (java) R 3660 3666 3621 0 -1 4202560 3 0 0 0 163 0 0 0 20 0 22 0 28544258 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132987214968 140133047232600 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3856] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3856/stat : 3856 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28544267 10060525568 461364 33554432000 1073741824 1073778376 140734765983792 140132989322536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 110.62
Current children cumulated vsize (KiB) 9824732
[startup+54.4007 s]
/proc/loadavg: 3.00 2.09 2.10 6/219 3856
/proc/meminfo: memFree=25733320/32872528 swapFree=1286400/1433568
[pid=3666] ppid=3660 vsize=9824732 CPUtime=110.92 cores=1,3,5,7
/proc/3666/stat : 3666 (java) S 3660 3666 3621 0 -1 4202496 33313 0 1 0 11022 70 0 0 20 0 19 0 28539022 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140734765974928 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3666/statm: 2456183 461357 2287 9 0 2446860 0
[pid=3666/tid=3670] ppid=3660 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/3666/task/3670/stat : 3670 (java) R 3660 3666 3621 0 -1 4202560 2477 0 1 0 33 2 0 0 20 0 19 0 28539023 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133174764072 140133048152483 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3672] ppid=3660 vsize=9824732 CPUtime=0.17 cores=1,3,5,7
/proc/3666/task/3672/stat : 3672 (java) S 3660 3666 3621 0 -1 4202560 106 0 0 0 11 6 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133018364712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3674] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3674/stat : 3674 (java) S 3660 3666 3621 0 -1 4202560 84 0 0 0 9 3 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133017311912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3676] ppid=3660 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/3666/task/3676/stat : 3676 (java) S 3660 3666 3621 0 -1 4202560 120 0 0 0 15 6 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133016259624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3678] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3678/stat : 3678 (java) S 3660 3666 3621 0 -1 4202560 88 0 0 0 10 4 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133015206824 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3681] ppid=3660 vsize=9824732 CPUtime=0.15 cores=1,3,5,7
/proc/3666/task/3681/stat : 3681 (java) S 3660 3666 3621 0 -1 4202560 99 0 0 0 10 5 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133014153512 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3683] ppid=3660 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/3666/task/3683/stat : 3683 (java) S 3660 3666 3621 0 -1 4202560 78 0 0 0 8 3 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133013100712 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3685] ppid=3660 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/3666/task/3685/stat : 3685 (java) S 3660 3666 3621 0 -1 4202560 60 0 0 0 9 3 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133012048424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3686] ppid=3660 vsize=9824732 CPUtime=0.14 cores=1,3,5,7
/proc/3666/task/3686/stat : 3686 (java) S 3660 3666 3621 0 -1 4202560 122 0 0 0 10 4 0 0 20 0 19 0 28539025 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140133010995624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3688] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3688/stat : 3688 (java) S 3660 3666 3621 0 -1 4202560 1230 0 0 0 0 0 0 0 20 0 19 0 28539026 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132998798056 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3666/tid=3691] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3691/stat : 3691 (java) S 3660 3666 3621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28539026 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132997744120 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3692] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3692/stat : 3692 (java) S 3660 3666 3621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28539026 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132996691720 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3694] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3694/stat : 3694 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28539029 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132995640208 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3666/tid=3696] ppid=3660 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/3666/task/3696/stat : 3696 (java) S 3660 3666 3621 0 -1 4202560 8059 0 0 0 117 2 0 0 20 0 19 0 28539029 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132994586808 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3698] ppid=3660 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/3666/task/3698/stat : 3698 (java) S 3660 3666 3621 0 -1 4202560 18243 0 0 0 177 4 0 0 20 0 19 0 28539029 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132993534008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3700] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3700/stat : 3700 (java) S 3660 3666 3621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28539029 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132992481912 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3666/tid=3702] ppid=3660 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/3666/task/3702/stat : 3702 (java) S 3660 3666 3621 0 -1 4202560 3 0 0 0 0 1 0 0 20 0 19 0 28539029 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132991429320 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3666/tid=3709] ppid=3660 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/3666/task/3709/stat : 3709 (java) S 3660 3666 3621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28539057 10060525568 461357 33554432000 1073741824 1073778376 140734765983792 140132988270248 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 110.92
Current children cumulated vsize (KiB) 9824732
Child status: 30
Real time (s): 54.4598
CPU time (s): 111.069
CPU user time (s): 110.185
CPU system time (s): 0.883865
CPU usage (%): 203.947
Max. virtual memory (cumulated for all children) (KiB): 9824992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.185
system time used= 0.883865
maximum resident set size= 1850700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33320
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2169
involuntary context switches= 3173
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.346947 second user time and 0.45493 second system time
The end