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-4096180-1466103650/watcher-4096180-1466103650 -o /tmp/evaluation-result-4096180-1466103650/solver-4096180-1466103650 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node104-1466098252-22091 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096180-1466103650.opb
pid=22620
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: 2.08 2.07 2.03 3/193 22623
/proc/meminfo: memFree=31247620/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22623/stat : 22623 (java) D 22620 22623 22074 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 12415125 9515008 185 33554432000 1073741824 1073778376 140735692010976 140735692002200 235374538167 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 2323 185 142 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 2.08 2.07 2.03 3/193 22623
/proc/meminfo: memFree=31247620/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 4406 0 1 0 7 1 0 0 20 0 18 0 12415125 9787879424 6037 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200217 s]
/proc/loadavg: 2.08 2.07 2.03 3/193 22623
/proc/meminfo: memFree=31247620/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 7962 0 1 0 27 2 0 0 20 0 19 0 12415125 9856040960 8584 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 8584 2216 9 0 2396937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040
[startup+0.300215 s]
/proc/loadavg: 2.08 2.07 2.03 3/193 22623
/proc/meminfo: memFree=31247620/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 8443 0 1 0 51 3 0 0 20 0 19 0 12415125 9856040960 8716 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 8716 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040
[startup+0.700174 s]
/proc/loadavg: 2.08 2.07 2.03 3/193 22623
/proc/meminfo: memFree=31247620/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 10550 0 1 0 110 3 0 0 20 0 19 0 12415125 9856040960 9350 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 9350 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9625040
[startup+1.50071 s]
/proc/loadavg: 2.08 2.07 2.03 3/212 22708
/proc/meminfo: memFree=31452184/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=1.93 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 10553 0 1 0 190 3 0 0 20 0 19 0 12415125 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 9863 2241 9 0 2396937 0
[pid=22623/tid=22625] ppid=22620 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) R 22620 22623 22074 0 -1 4202560 2404 0 1 0 144 2 0 0 20 0 19 0 12415126 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140161120870080 140160973358772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3111 0 0 0 20 2 0 0 20 0 19 0 12415131 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 3767 0 0 0 23 0 0 0 20 0 19 0 12415131 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 9863 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9625040
[startup+3.1007 s]
/proc/loadavg: 2.08 2.07 2.03 3/212 22708
/proc/meminfo: memFree=31444552/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=3.56 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 10554 0 1 0 353 3 0 0 20 0 19 0 12415125 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 10375 2241 9 0 2396937 0
[pid=22623/tid=22625] ppid=22620 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) R 22620 22623 22074 0 -1 4202560 2405 0 1 0 304 2 0 0 20 0 19 0 12415126 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140161120870080 140160973113121 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3111 0 0 0 20 2 0 0 20 0 19 0 12415131 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 3767 0 0 0 26 0 0 0 20 0 19 0 12415131 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 10375 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 2.08 2.07 2.03 3/212 22708
/proc/meminfo: memFree=31434680/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=6.75 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 10559 0 1 0 672 3 0 0 20 0 19 0 12415125 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 11594 2242 9 0 2396937 0
[pid=22623/tid=22625] ppid=22620 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) R 22620 22623 22074 0 -1 4202560 2409 0 1 0 622 2 0 0 20 0 19 0 12415126 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140161120870080 140160973358685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3111 0 0 0 20 2 0 0 20 0 19 0 12415131 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 3767 0 0 0 26 0 0 0 20 0 19 0 12415131 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 11594 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.75
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3112 0 0 0 24 2 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 13046 0 0 0 110 3 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 121.34
Current children cumulated vsize (KiB) 9625040
[startup+120.401 s]
/proc/loadavg: 2.01 2.04 2.02 3/211 22733
/proc/meminfo: memFree=31279168/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=121.74 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 19891 0 1 0 12166 8 0 0 20 0 19 0 12415125 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 29368 2249 9 0 2396937 0
[pid=22623/tid=22625] ppid=22620 vsize=9625040 CPUtime=120.01 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) R 22620 22623 22074 0 -1 4202560 2452 0 1 0 11998 3 0 0 20 0 19 0 12415126 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161120878832 140160973838848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3112 0 0 0 24 2 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 13046 0 0 0 110 3 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 121.74
Current children cumulated vsize (KiB) 9625040
[startup+120.601 s]
/proc/loadavg: 2.01 2.04 2.02 3/211 22733
/proc/meminfo: memFree=31279168/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9625040 CPUtime=121.94 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 19891 0 1 0 12186 8 0 0 20 0 19 0 12415125 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2406260 29368 2249 9 0 2396937 0
[pid=22623/tid=22625] ppid=22620 vsize=9625040 CPUtime=120.21 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) R 22620 22623 22074 0 -1 4202560 2452 0 1 0 12018 3 0 0 20 0 19 0 12415126 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161120878832 140160973838848 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 12415128 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) S 22620 22623 22074 0 -1 4202560 3112 0 0 0 24 2 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160469928504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9625040 CPUtime=1.13 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 13046 0 0 0 110 3 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 12415131 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22644] ppid=22620 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22644/stat : 22644 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415139 9856040960 29368 33554432000 1073741824 1073778376 140733267121840 140160465617704 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 121.94
Current children cumulated vsize (KiB) 9625040
[startup+120.701 s]
/proc/loadavg: 2.01 2.04 2.02 3/211 22733
/proc/meminfo: memFree=31279168/32872528 swapFree=446836/479540
[pid=22623] ppid=22620 vsize=9691604 CPUtime=122.04 cores=1,3,5,7
/proc/22623/stat : 22623 (java) S 22620 22623 22074 0 -1 4202496 19907 0 1 0 12196 8 0 0 20 0 19 0 12415125 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140733267112976 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22623/statm: 2422901 29893 2254 9 0 2413578 0
[pid=22623/tid=22625] ppid=22620 vsize=9691604 CPUtime=120.3 cores=1,3,5,7
/proc/22623/task/22625/stat : 22625 (java) S 22620 22623 22074 0 -1 4202560 2454 0 1 0 12027 3 0 0 20 0 19 0 12415126 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140161120879320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22626] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22626/stat : 22626 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140161093331112 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22627] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22627/stat : 22627 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140161092278568 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22628] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22628/stat : 22628 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160961915304 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22629] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22629/stat : 22629 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160960862760 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22630] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22630/stat : 22630 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160959810216 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22631] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22631/stat : 22631 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160958757672 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22623/tid=22632] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22632/stat : 22632 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160957705128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22633] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22633/stat : 22633 (java) S 22620 22623 22074 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12415127 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160486337576 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22634] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22634/stat : 22634 (java) S 22620 22623 22074 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 12415128 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160474138728 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22635] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22635/stat : 22635 (java) S 22620 22623 22074 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12415129 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160473085048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22636] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22636/stat : 22636 (java) S 22620 22623 22074 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12415129 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160472032392 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22637] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22637/stat : 22637 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160470981136 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22623/tid=22638] ppid=22620 vsize=9691604 CPUtime=0.26 cores=1,3,5,7
/proc/22623/task/22638/stat : 22638 (java) R 22620 22623 22074 0 -1 4202560 3115 0 0 0 24 2 0 0 20 0 19 0 12415131 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160469928344 140161126832755 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22623/tid=22639] ppid=22620 vsize=9691604 CPUtime=1.13 cores=1,3,5,7
/proc/22623/task/22639/stat : 22639 (java) S 22620 22623 22074 0 -1 4202560 13046 0 0 0 110 3 0 0 20 0 19 0 12415131 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160468875960 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22640] ppid=22620 vsize=9691604 CPUtime=0 cores=1,3,5,7
/proc/22623/task/22640/stat : 22640 (java) S 22620 22623 22074 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12415131 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160467823608 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22623/tid=22641] ppid=22620 vsize=9691604 CPUtime=0.01 cores=1,3,5,7
/proc/22623/task/22641/stat : 22641 (java) S 22620 22623 22074 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 12415131 9924202496 29893 33554432000 1073741824 1073778376 140733267121840 140160466771272 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 122.04
Current children cumulated vsize (KiB) 9691604
Child status: 20
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22623 and gives
# childrusage.ru_utime.tv_sec=121
# childrusage.ru_utime.tv_usec=682501
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 121.814
# while last known CPU time is 122.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 120.729
CPU time (s): 122.04
CPU user time (s): 121.96
CPU system time (s): 0.08
CPU usage (%): 101.086
Max. virtual memory (cumulated for all children) (KiB): 9691604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 121.683
system time used= 0.131979
maximum resident set size= 119612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19921
page faults= 1
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2831
involuntary context switches= 841
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.672897 second user time and 0.825874 second system time
The end