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-4090894-1466067934/watcher-4090894-1466067934 -o /tmp/evaluation-result-4090894-1466067934/solver-4090894-1466067934 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466062131-17743 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090894-1466067934.wbo
pid=18762
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.27 2.22 2.19 3/194 18765
/proc/meminfo: memFree=30398240/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 8842108 98570240 978 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 24065 978 743 9 0 16771 0
[pid=18765/tid=18766] ppid=18762 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8842108 98570240 978 33554432000 1073741824 1073778376 140734303857872 140036828753448 266435642752 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 2.27 2.22 2.19 3/194 18765
/proc/meminfo: memFree=30398240/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 4507 0 1 0 10 1 0 0 20 0 18 0 8842108 9787879424 6143 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2389619 6143 2157 9 0 2380296 0
[pid=18765/tid=18766] ppid=18762 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2375 0 1 0 6 1 0 0 20 0 18 0 8842108 9787879424 6144 33554432000 1073741824 1073778376 140734303857872 140036828757464 266435268427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200335 s]
/proc/loadavg: 2.27 2.22 2.19 3/194 18765
/proc/meminfo: memFree=30398240/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 4777 0 1 0 25 1 0 0 20 0 18 0 8842108 9787879424 6855 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2389619 6855 2212 9 0 2380296 0
[pid=18765/tid=18766] ppid=18762 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2392 0 1 0 16 1 0 0 20 0 18 0 8842108 9787879424 6855 33554432000 1073741824 1073778376 140734303857872 140036828757464 140036687373505 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300281 s]
/proc/loadavg: 2.27 2.22 2.19 3/194 18765
/proc/meminfo: memFree=30398240/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 6699 0 1 0 50 2 0 0 20 0 18 0 8842108 9787879424 9226 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2389619 9226 2237 9 0 2380296 0
[pid=18765/tid=18766] ppid=18762 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2398 0 1 0 26 1 0 0 20 0 18 0 8842108 9787879424 9226 33554432000 1073741824 1073778376 140734303857872 140036828757464 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700224 s]
/proc/loadavg: 2.27 2.22 2.19 3/194 18765
/proc/meminfo: memFree=30398240/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=1.69 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12265 0 1 0 166 3 0 0 20 0 19 0 8842108 9856040960 14395 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 14395 2270 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2412 0 1 0 65 2 0 0 20 0 19 0 8842108 9856040960 14395 33554432000 1073741824 1073778376 140734303857872 140036828750128 140036687718828 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 9625040
[startup+1.50079 s]
/proc/loadavg: 2.27 2.22 2.19 3/213 18784
/proc/meminfo: memFree=30339020/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=2.54 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12279 0 1 0 251 3 0 0 20 0 19 0 8842108 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 19518 2272 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2423 0 1 0 145 2 0 0 20 0 19 0 8842108 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036828750128 140036687914226 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5142 0 0 0 53 0 0 0 20 0 19 0 8842113 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3435 0 0 0 49 0 0 0 20 0 19 0 8842113 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 19518 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 9625040
[startup+3.10079 s]
/proc/loadavg: 2.25 2.21 2.18 3/213 18784
/proc/meminfo: memFree=30320464/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12287 0 1 0 414 3 0 0 20 0 19 0 8842108 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 23102 2272 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2431 0 1 0 304 3 0 0 20 0 19 0 8842108 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036828756384 140036687876734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5142 0 0 0 55 0 0 0 20 0 19 0 8842113 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3435 0 0 0 51 0 0 0 20 0 19 0 8842113 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 23102 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040
[startup+6.30075 s]
/proc/loadavg: 2.25 2.21 2.18 3/213 18784
/proc/meminfo: memFree=30287360/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=7.56 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12323 0 1 0 752 4 0 0 20 0 19 0 8842108 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 30788 2278 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2449 0 1 0 623 3 0 0 20 0 19 0 8842108 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036828749552 140036687876739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5155 0 0 0 68 0 0 0 20 0 19 0 8842113 9856040960 30788 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
################
# More data... #
################
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5155 0 0 0 71 0 0 0 20 0 19 0 8842113 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3439 0 0 0 57 0 0 0 20 0 19 0 8842113 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 40004 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.69
Current children cumulated vsize (KiB) 9625040
[startup+15.2007 s]
/proc/loadavg: 2.21 2.20 2.18 4/213 18784
/proc/meminfo: memFree=30247324/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=16.48 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12343 0 1 0 1644 4 0 0 20 0 19 0 8842108 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 40516 2278 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=15.13 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2469 0 1 0 1510 3 0 0 20 0 19 0 8842108 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036828756448 140036687876739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5155 0 0 0 71 0 0 0 20 0 19 0 8842113 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3439 0 0 0 57 0 0 0 20 0 19 0 8842113 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 40516 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.48
Current children cumulated vsize (KiB) 9625040
[startup+16.0007 s]
/proc/loadavg: 2.21 2.20 2.18 4/213 18784
/proc/meminfo: memFree=30245276/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=17.28 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12345 0 1 0 1724 4 0 0 20 0 19 0 8842108 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 41028 2278 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=15.93 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2471 0 1 0 1590 3 0 0 20 0 19 0 8842108 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036828749552 140036687854508 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5155 0 0 0 71 0 0 0 20 0 19 0 8842113 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3439 0 0 0 57 0 0 0 20 0 19 0 8842113 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 41028 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.28
Current children cumulated vsize (KiB) 9625040
[startup+16.4007 s]
/proc/loadavg: 2.21 2.20 2.18 4/213 18784
/proc/meminfo: memFree=30245276/32872528 swapFree=1430864/1543284
[pid=18765] ppid=18762 vsize=9625040 CPUtime=17.68 cores=1,3,5,7
/proc/18765/stat : 18765 (java) S 18762 18765 17726 0 -1 4202496 12347 0 1 0 1764 4 0 0 20 0 19 0 8842108 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140734303849008 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/18765/statm: 2406260 41540 2278 9 0 2396937 0
[pid=18765/tid=18766] ppid=18762 vsize=9625040 CPUtime=16.32 cores=1,3,5,7
/proc/18765/task/18766/stat : 18766 (java) R 18762 18765 17726 0 -1 4202560 2473 0 1 0 1629 3 0 0 20 0 19 0 8842108 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036828758528 140036688239224 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18768] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18768/stat : 18768 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036806859176 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18769] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18769/stat : 18769 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036805806632 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18770] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18770/stat : 18770 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036603373736 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18771] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18771/stat : 18771 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036602321192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18772] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18772/stat : 18772 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036601269160 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18773] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18773/stat : 18773 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036600216616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18774] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18774/stat : 18774 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036599163560 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18775] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18775/stat : 18775 (java) S 18762 18765 17726 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8842109 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036598111016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18776] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18776/stat : 18776 (java) S 18762 18765 17726 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036585699688 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18777] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18777/stat : 18777 (java) S 18762 18765 17726 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036584646008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18778] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18778/stat : 18778 (java) S 18762 18765 17726 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8842110 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036583592840 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=18765/tid=18779] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18779/stat : 18779 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036582541584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18780] ppid=18762 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/18765/task/18780/stat : 18780 (java) S 18762 18765 17726 0 -1 4202560 5155 0 0 0 71 0 0 0 20 0 19 0 8842113 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036581489464 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=18765/tid=18781] ppid=18762 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/18765/task/18781/stat : 18781 (java) S 18762 18765 17726 0 -1 4202560 3439 0 0 0 57 0 0 0 20 0 19 0 8842113 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036580436920 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18782] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18782/stat : 18782 (java) S 18762 18765 17726 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036579384056 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=18765/tid=18783] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18783/stat : 18783 (java) S 18762 18765 17726 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 8842113 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036578331720 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=18765/tid=18784] ppid=18762 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/18765/task/18784/stat : 18784 (java) S 18762 18765 17726 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 8842140 9856040960 41540 33554432000 1073741824 1073778376 140734303857872 140036577276968 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 17.68
Current children cumulated vsize (KiB) 9625040
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18765 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=610322
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=59990
# CPU time returned by wait4() is 17.6703
# while last known CPU time is 17.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 16.4274
CPU time (s): 17.68
CPU user time (s): 17.64
CPU system time (s): 0.04
CPU usage (%): 107.625
Max. virtual memory (cumulated for all children) (KiB): 9625804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6103
system time used= 0.05999
maximum resident set size= 170404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12396
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 655
involuntary context switches= 458
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.112982 second user time and 0.155976 second system time
The end