runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3735314-1338748341/watcher-3735314-1338748341 -o /tmp/evaluation-result-3735314-1338748341/solver-3735314-1338748341 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3735314-1338748341.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.37 1.45 1.74 4/197 17624
/proc/meminfo: memFree=26805056/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 340960283 24780800 866 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 22434 872 659 9 0 16769 0
[pid=17624/tid=17625] ppid=17622 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 340960284 91893760 885 33554432000 1073741824 1073778376 140735636873056 140735636862120 266435642752 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0447339 s]
/proc/loadavg: 1.37 1.45 1.74 4/197 17624
/proc/meminfo: memFree=26805056/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2367080 CPUtime=0.03 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 3740 0 1 0 2 1 0 0 20 0 13 0 340960283 2423889920 4948 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 591770 4948 1708 9 0 582471 0
[pid=17624/tid=17625] ppid=17622 vsize=2367080 CPUtime=0.02 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2558 0 1 0 2 0 0 0 20 0 13 0 340960284 2423889920 4948 33554432000 1073741824 1073778376 140735636873056 140442316666432 266439025933 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2367080
[startup+0.100241 s]
/proc/loadavg: 1.37 1.45 1.74 4/197 17624
/proc/meminfo: memFree=26805056/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 4804 0 1 0 9 1 0 0 20 0 18 0 340960283 2764726272 6499 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 674982 6499 2139 9 0 665676 0
[pid=17624/tid=17625] ppid=17622 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2771 0 1 0 6 1 0 0 20 0 18 0 340960284 2764726272 6499 33554432000 1073741824 1073778376 140735636873056 140442316654368 140442322358776 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300206 s]
/proc/loadavg: 1.37 1.45 1.74 4/197 17624
/proc/meminfo: memFree=26805056/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2699928 CPUtime=0.54 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 6476 0 1 0 52 2 0 0 20 0 18 0 340960283 2764726272 11214 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 674982 11214 2221 9 0 665676 0
[pid=17624/tid=17625] ppid=17622 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2788 0 1 0 26 1 0 0 20 0 18 0 340960284 2764726272 11214 33554432000 1073741824 1073778376 140735636873056 140442316654368 140442159085102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2699928
[startup+0.700319 s]
/proc/loadavg: 1.37 1.45 1.74 4/197 17624
/proc/meminfo: memFree=26805056/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2699928 CPUtime=1.4 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 13954 0 1 0 135 5 0 0 20 0 18 0 340960283 2764726272 51483 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 674982 51483 2233 9 0 665676 0
[pid=17624/tid=17625] ppid=17622 vsize=2699928 CPUtime=0.67 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2857 0 1 0 64 3 0 0 20 0 18 0 340960284 2764726272 51483 33554432000 1073741824 1073778376 140735636873056 140442316654368 140442159430669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 2699928
[startup+1.50067 s]
/proc/loadavg: 1.37 1.45 1.74 4/215 17642
/proc/meminfo: memFree=26437608/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2699928 CPUtime=2.37 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 14151 0 1 0 225 12 0 0 20 0 18 0 340960283 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 674982 108849 2249 9 0 665676 0
[pid=17624/tid=17625] ppid=17622 vsize=2699928 CPUtime=1.41 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2954 0 1 0 135 6 0 0 20 0 18 0 340960284 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442316668232 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 340960284 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2699928 CPUtime=0.01 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 340960285 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442281171944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2699928 CPUtime=0.34 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5853 0 0 0 34 0 0 0 20 0 18 0 340960288 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2699928 CPUtime=0.36 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 4059 0 0 0 36 0 0 0 20 0 18 0 340960288 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 108849 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 2699928
[startup+3.10067 s]
/proc/loadavg: 1.37 1.45 1.74 4/215 17642
/proc/meminfo: memFree=26285344/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2699928 CPUtime=4.27 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 14317 0 1 0 404 23 0 0 20 0 18 0 340960283 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 674982 128828 2251 9 0 665676 0
[pid=17624/tid=17625] ppid=17622 vsize=2699928 CPUtime=2.92 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) R 17622 17624 17435 0 -1 4202560 2955 0 1 0 284 8 0 0 20 0 18 0 340960284 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442316660672 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 27 0 0 0 3 1 0 0 20 0 18 0 340960284 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2699928 CPUtime=0.14 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 68 0 0 0 11 3 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 56 0 0 0 8 3 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 22 0 0 0 3 1 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 21 0 0 0 4 0 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 27 0 0 0 3 2 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 22 0 0 0 2 2 0 0 20 0 18 0 340960285 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442281171944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 340960286 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2699928 CPUtime=0.34 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5855 0 0 0 34 0 0 0 20 0 18 0 340960288 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2699928 CPUtime=0.36 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 4059 0 0 0 36 0 0 0 20 0 18 0 340960288 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2699928 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 340960288 2764726272 128828 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 2699928
[startup+6.3007 s]
/proc/loadavg: 1.50 1.47 1.75 5/219 17646
/proc/meminfo: memFree=26180724/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2966184 CPUtime=10.58 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 18309 0 1 0 1028 30 0 0 20 0 22 0 340960283 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 741546 141913 2279 9 0 732240 0
[pid=17624/tid=17625] ppid=17622 vsize=2966184 CPUtime=3.91 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) S 17622 17624 17435 0 -1 4202560 2969 0 1 0 383 8 0 0 20 0 22 0 340960284 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442316670104 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 41 0 0 0 8 2 0 0 20 0 22 0 340960284 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2966184 CPUtime=0.18 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 80 0 0 0 14 4 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 39 0 0 0 7 2 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 67 0 0 0 11 4 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 39 0 0 0 7 2 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 40 0 0 0 8 1 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2966184 CPUtime=0.15 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 56 0 0 0 13 2 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 35 0 0 0 6 2 0 0 20 0 22 0 340960285 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442281171944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2966184 CPUtime=0.64 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5947 0 0 0 64 0 0 0 20 0 22 0 340960288 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2966184 CPUtime=0.77 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 7753 0 0 0 75 2 0 0 20 0 22 0 340960288 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 141913 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=17624/tid=17644] ppid=17622 vsize=2966184 CPUtime=666.76 cores=1,3,5,7
/proc/17624/task/17644/stat : 17644 (java) S 17622 17624 17435 0 -1 4202560 580 0 0 0 66663 13 0 0 20 0 22 0 340960703 3037372416 355461 33554432000 1073741824 1073778376 140735636873056 140442153749208 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17645] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17645/stat : 17645 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960713 3037372416 355461 33554432000 1073741824 1073778376 140735636873056 140442152699304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17646] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17646/stat : 17646 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340960715 3037372416 355461 33554432000 1073741824 1073778376 140735636873056 140442151646504 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1500.8
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 4.16 3.91 3.10 5/219 17652
/proc/meminfo: memFree=24584528/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2966184 CPUtime=1615.02 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 23181 0 1 0 161275 227 0 0 20 0 22 0 340960283 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 741546 359577 2289 9 0 732240 0
[pid=17624/tid=17625] ppid=17622 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) S 17622 17624 17435 0 -1 4202560 3044 0 1 0 384 9 0 0 20 0 22 0 340960284 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442316670104 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2966184 CPUtime=12.88 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 522 0 0 0 1268 20 0 0 20 0 22 0 340960284 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2966184 CPUtime=13.03 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 550 0 0 0 1282 21 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2966184 CPUtime=13.38 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 451 0 0 0 1322 16 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2966184 CPUtime=12.53 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 481 0 0 0 1236 17 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2966184 CPUtime=12.78 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 473 0 0 0 1259 19 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2966184 CPUtime=12.77 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 435 0 0 0 1262 15 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2966184 CPUtime=12.87 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 515 0 0 0 1267 20 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2966184 CPUtime=13.05 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 494 0 0 0 1286 19 0 0 20 0 22 0 340960285 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2966184 CPUtime=74.74 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) S 17622 17624 17435 0 -1 4202560 79 0 0 0 7428 46 0 0 20 0 22 0 340960286 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442281171944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5957 0 0 0 109 0 0 0 20 0 22 0 340960288 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 8016 0 0 0 124 2 0 0 20 0 22 0 340960288 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 45 0 0 0 11 18 0 0 20 0 22 0 340960288 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17643] ppid=17622 vsize=2966184 CPUtime=715.38 cores=1,3,5,7
/proc/17624/task/17643/stat : 17643 (java) R 17622 17624 17435 0 -1 4202560 311 0 0 0 71524 14 0 0 20 0 22 0 340960703 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442154803152 140442159799589 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17644] ppid=17622 vsize=2966184 CPUtime=715.34 cores=1,3,5,7
/proc/17624/task/17644/stat : 17644 (java) R 17622 17624 17435 0 -1 4202560 620 0 0 0 71521 13 0 0 20 0 22 0 340960703 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442153749344 140442160174015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17645] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17645/stat : 17645 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960713 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442152699304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17646] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17646/stat : 17646 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340960715 3037372416 359577 33554432000 1073741824 1073778376 140735636873056 140442151646504 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1615.02
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 3.97 3.90 3.14 4/219 17652
/proc/meminfo: memFree=24576684/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2966184 CPUtime=1727.28 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 23360 0 1 0 172493 235 0 0 20 0 22 0 340960283 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 741546 359671 2289 9 0 732240 0
[pid=17624/tid=17625] ppid=17622 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) S 17622 17624 17435 0 -1 4202560 3050 0 1 0 384 9 0 0 20 0 22 0 340960284 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442316670104 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2966184 CPUtime=13.86 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 550 0 0 0 1365 21 0 0 20 0 22 0 340960284 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2966184 CPUtime=14.08 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 558 0 0 0 1387 21 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2966184 CPUtime=14.33 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 459 0 0 0 1416 17 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2966184 CPUtime=13.36 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 481 0 0 0 1319 17 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2966184 CPUtime=13.76 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 487 0 0 0 1357 19 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2966184 CPUtime=13.72 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 449 0 0 0 1357 15 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2966184 CPUtime=13.76 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 521 0 0 0 1356 20 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2966184 CPUtime=14.04 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 510 0 0 0 1384 20 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2966184 CPUtime=85.73 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) R 17622 17624 17435 0 -1 4202560 83 0 0 0 8524 49 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442281170704 140442323177280 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5957 0 0 0 109 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 8016 0 0 0 124 2 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2966184 CPUtime=0.32 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 49 0 0 0 13 19 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17643] ppid=17622 vsize=2966184 CPUtime=762.27 cores=1,3,5,7
/proc/17624/task/17643/stat : 17643 (java) S 17622 17624 17435 0 -1 4202560 330 0 0 0 76212 15 0 0 20 0 22 0 340960703 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442154802488 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17644] ppid=17622 vsize=2966184 CPUtime=762.21 cores=1,3,5,7
/proc/17624/task/17644/stat : 17644 (java) S 17622 17624 17435 0 -1 4202560 672 0 0 0 76206 15 0 0 20 0 22 0 340960703 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442153750008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17645] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17645/stat : 17645 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960713 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442152699304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17646] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17646/stat : 17646 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340960715 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442151646504 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1727.28
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+920.801 s]
/proc/loadavg: 3.53 3.78 3.14 5/219 17734
/proc/meminfo: memFree=25295048/32873648 swapFree=6860/6860
[pid=17624] ppid=17622 vsize=2966184 CPUtime=1800.1 cores=1,3,5,7
/proc/17624/stat : 17624 (java) S 17622 17624 17435 0 -1 4202496 23410 0 1 0 179771 239 0 0 20 0 22 0 340960283 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140735636864192 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17624/statm: 741546 359671 2289 9 0 732240 0
[pid=17624/tid=17625] ppid=17622 vsize=2966184 CPUtime=3.93 cores=1,3,5,7
/proc/17624/task/17625/stat : 17625 (java) S 17622 17624 17435 0 -1 4202560 3056 0 1 0 384 9 0 0 20 0 22 0 340960284 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442316670104 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17627] ppid=17622 vsize=2966184 CPUtime=14.39 cores=1,3,5,7
/proc/17624/task/17627/stat : 17627 (java) S 17622 17624 17435 0 -1 4202560 550 0 0 0 1418 21 0 0 20 0 22 0 340960284 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442300951592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17628] ppid=17622 vsize=2966184 CPUtime=14.58 cores=1,3,5,7
/proc/17624/task/17628/stat : 17628 (java) S 17622 17624 17435 0 -1 4202560 558 0 0 0 1437 21 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442299898792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17629] ppid=17622 vsize=2966184 CPUtime=14.79 cores=1,3,5,7
/proc/17624/task/17629/stat : 17629 (java) S 17622 17624 17435 0 -1 4202560 459 0 0 0 1462 17 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442298845992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17630] ppid=17622 vsize=2966184 CPUtime=13.91 cores=1,3,5,7
/proc/17624/task/17630/stat : 17630 (java) S 17622 17624 17435 0 -1 4202560 481 0 0 0 1373 18 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442297793192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17631] ppid=17622 vsize=2966184 CPUtime=14.33 cores=1,3,5,7
/proc/17624/task/17631/stat : 17631 (java) S 17622 17624 17435 0 -1 4202560 487 0 0 0 1414 19 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442296740392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17632] ppid=17622 vsize=2966184 CPUtime=14.28 cores=1,3,5,7
/proc/17624/task/17632/stat : 17632 (java) S 17622 17624 17435 0 -1 4202560 449 0 0 0 1413 15 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442295687592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17633] ppid=17622 vsize=2966184 CPUtime=14.33 cores=1,3,5,7
/proc/17624/task/17633/stat : 17633 (java) S 17622 17624 17435 0 -1 4202560 521 0 0 0 1413 20 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442294634792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17634] ppid=17622 vsize=2966184 CPUtime=14.68 cores=1,3,5,7
/proc/17624/task/17634/stat : 17634 (java) S 17622 17624 17435 0 -1 4202560 510 0 0 0 1448 20 0 0 20 0 22 0 340960285 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442293581992 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17635] ppid=17622 vsize=2966184 CPUtime=91.89 cores=1,3,5,7
/proc/17624/task/17635/stat : 17635 (java) S 17622 17624 17435 0 -1 4202560 85 0 0 0 9139 50 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442281171944 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17636] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17636/stat : 17636 (java) S 17622 17624 17435 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442280118008 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17637] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17637/stat : 17637 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960286 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442279065096 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17638] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17638/stat : 17638 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442278013584 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17639] ppid=17622 vsize=2966184 CPUtime=1.09 cores=1,3,5,7
/proc/17624/task/17639/stat : 17639 (java) S 17622 17624 17435 0 -1 4202560 5957 0 0 0 109 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442159016376 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17640] ppid=17622 vsize=2966184 CPUtime=1.26 cores=1,3,5,7
/proc/17624/task/17640/stat : 17640 (java) S 17622 17624 17435 0 -1 4202560 8016 0 0 0 124 2 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442157963576 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17624/tid=17641] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17641/stat : 17641 (java) S 17622 17624 17435 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442156910968 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17624/tid=17642] ppid=17622 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/17624/task/17642/stat : 17642 (java) S 17622 17624 17435 0 -1 4202560 51 0 0 0 13 20 0 0 20 0 22 0 340960288 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442155858376 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17643] ppid=17622 vsize=2966184 CPUtime=793.38 cores=1,3,5,7
/proc/17624/task/17643/stat : 17643 (java) R 17622 17624 17435 0 -1 4202560 347 0 0 0 79322 16 0 0 20 0 22 0 340960703 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442154803056 140442160036764 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17644] ppid=17622 vsize=2966184 CPUtime=793.35 cores=1,3,5,7
/proc/17624/task/17644/stat : 17644 (java) R 17622 17624 17435 0 -1 4202560 695 0 0 0 79319 16 0 0 20 0 22 0 340960703 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442153749136 140442160275342 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=17624/tid=17645] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17645/stat : 17645 (java) S 17622 17624 17435 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 340960713 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442152699304 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17624/tid=17646] ppid=17622 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/17624/task/17646/stat : 17646 (java) S 17622 17624 17435 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 340960715 3037372416 359671 33554432000 1073741824 1073778376 140735636873056 140442151646504 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 920.823
CPU time (s): 1800.83
CPU user time (s): 1798.03
CPU system time (s): 2.80257
CPU usage (%): 195.568
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.03
system time used= 2.80257
maximum resident set size= 1438808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23441
page faults= 1
swaps= 0
block input operations= 0
block output operations= 944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53890
involuntary context switches= 114451
runsolver used 3.52946 second user time and 8.14476 second system time
The end