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-3733312-1338747570/watcher-3733312-1338747570 -o /tmp/evaluation-result-3733312-1338747570/solver-3733312-1338747570 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3733312-1338747570.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.85 1.97 1.99 5/193 11027
/proc/meminfo: memFree=27112032/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 2 0 340884374 98570240 978 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 24065 978 745 9 0 16771 0
[pid=11027/tid=11028] ppid=11025 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 340884374 98570240 978 33554432000 1073741824 1073778376 140736272625568 140659328843304 219513963904 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0498381 s]
/proc/loadavg: 1.85 1.97 1.99 5/193 11027
/proc/meminfo: memFree=27112032/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2648548 CPUtime=0.04 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 3787 0 1 0 3 1 0 0 20 0 18 0 340884374 2712113152 5506 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 662137 5507 1750 9 0 652835 0
[pid=11027/tid=11028] ppid=11025 vsize=2648548 CPUtime=0.03 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2579 0 1 0 3 0 0 0 20 0 18 0 340884374 2712113152 5507 33554432000 1073741824 1073778376 140736272625568 140659328850592 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2648548
[startup+0.100234 s]
/proc/loadavg: 1.85 1.97 1.99 5/193 11027
/proc/meminfo: memFree=27112032/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 4774 0 1 0 10 1 0 0 20 0 18 0 340884374 2712133632 6977 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 662142 6977 2150 9 0 652835 0
[pid=11027/tid=11028] ppid=11025 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2732 0 1 0 8 0 0 0 20 0 18 0 340884374 2712133632 6977 33554432000 1073741824 1073778376 140736272625568 140659328846536 140659189151136 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) 2648568
[startup+0.3002 s]
/proc/loadavg: 1.85 1.97 1.99 5/193 11027
/proc/meminfo: memFree=27112032/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 6482 0 1 0 51 1 0 0 20 0 18 0 340884374 2712133632 9961 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 662142 9961 2221 9 0 652835 0
[pid=11027/tid=11028] ppid=11025 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2743 0 1 0 27 1 0 0 20 0 18 0 340884374 2712133632 9961 33554432000 1073741824 1073778376 140736272625568 140659328846536 140659189546818 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) 2648568
[startup+0.700256 s]
/proc/loadavg: 1.85 1.97 1.99 5/193 11027
/proc/meminfo: memFree=27112032/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=1.32 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 10329 0 1 0 130 2 0 0 20 0 19 0 340884374 2780295168 20690 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 20690 2250 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2772 0 1 0 66 2 0 0 20 0 19 0 340884374 2780295168 20690 33554432000 1073741824 1073778376 140736272625568 140659328848656 140659189756229 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 2715132
[startup+1.50063 s]
/proc/loadavg: 1.85 1.97 1.99 3/213 11047
/proc/meminfo: memFree=26990780/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=2.21 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 10851 0 1 0 219 2 0 0 20 0 19 0 340884374 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 24792 2255 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=1.48 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2781 0 1 0 146 2 0 0 20 0 19 0 340884374 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659328848536 140659189740739 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340884376 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3414 0 0 0 38 0 0 0 20 0 19 0 340884379 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 3457 0 0 0 32 0 0 0 20 0 19 0 340884379 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 24792 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 2715132
[startup+3.1007 s]
/proc/loadavg: 1.85 1.97 1.99 3/213 11047
/proc/meminfo: memFree=26953296/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=3.83 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 10863 0 1 0 380 3 0 0 20 0 19 0 340884374 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 30424 2255 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=3.08 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2793 0 1 0 306 2 0 0 20 0 19 0 340884374 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659328846320 140659189777291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340884376 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.39 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3414 0 0 0 39 0 0 0 20 0 19 0 340884379 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.33 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 3457 0 0 0 33 0 0 0 20 0 19 0 340884379 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 30424 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 2715132
[startup+6.30072 s]
/proc/loadavg: 1.87 1.97 1.99 3/213 11047
/proc/meminfo: memFree=26843396/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=7.15 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 12455 0 1 0 711 4 0 0 20 0 19 0 340884374 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 43697 2258 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=6.28 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2821 0 1 0 625 3 0 0 20 0 19 0 340884374 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659328846320 140659189777026 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 340884375 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 340884376 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3687 0 0 0 43 0 0 0 20 0 19 0 340884379 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.4 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 4747 0 0 0 40 0 0 0 20 0 19 0 340884379 2780295168 43697 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 172 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 4 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=3.1 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 173 0 0 0 305 5 0 0 20 0 19 0 340884376 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3693 0 0 0 44 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 5220 0 0 0 53 2 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0.73 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 100 0 0 0 22 51 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1724.44
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 11062
/proc/meminfo: memFree=24418508/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=1784.44 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 14853 0 1 0 178321 123 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 343317 2284 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=1778.7 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2926 0 1 0 177834 36 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659328847216 140659189777271 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 251 0 0 0 12 15 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 184 0 0 0 7 10 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 190 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 238 0 0 0 12 13 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 159 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 172 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 4 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=3.1 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 173 0 0 0 305 5 0 0 20 0 19 0 340884376 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3693 0 0 0 44 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 5220 0 0 0 53 2 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 104 0 0 0 25 52 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 11066
/proc/meminfo: memFree=25785944/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=1800.04 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 14853 0 1 0 179881 123 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 343317 2284 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=1794.31 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2926 0 1 0 179395 36 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659328840112 140659189812102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 251 0 0 0 12 15 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 184 0 0 0 7 10 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 190 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 238 0 0 0 12 13 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 159 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 172 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 4 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=3.1 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 173 0 0 0 305 5 0 0 20 0 19 0 340884376 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3693 0 0 0 44 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 5220 0 0 0 53 2 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 104 0 0 0 25 52 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 2/193 11066
/proc/meminfo: memFree=25785944/32873648 swapFree=7120/7120
[pid=11027] ppid=11025 vsize=2715132 CPUtime=1800.04 cores=1,3,5,7
/proc/11027/stat : 11027 (java) S 11025 11027 27000 0 -1 4202496 14853 0 1 0 179881 123 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140736272616704 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11027/statm: 678783 343317 2284 9 0 669476 0
[pid=11027/tid=11028] ppid=11025 vsize=2715132 CPUtime=1794.31 cores=1,3,5,7
/proc/11027/task/11028/stat : 11028 (java) R 11025 11027 27000 0 -1 4202560 2926 0 1 0 179395 36 0 0 20 0 19 0 340884374 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659328840112 140659189812102 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11030] ppid=11025 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/11027/task/11030/stat : 11030 (java) S 11025 11027 27000 0 -1 4202560 251 0 0 0 12 15 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659313298088 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11031] ppid=11025 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/11027/task/11031/stat : 11031 (java) S 11025 11027 27000 0 -1 4202560 184 0 0 0 7 10 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659312245544 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11032] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11032/stat : 11032 (java) S 11025 11027 27000 0 -1 4202560 190 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659311193000 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11033] ppid=11025 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/11027/task/11033/stat : 11033 (java) S 11025 11027 27000 0 -1 4202560 238 0 0 0 12 13 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659310140456 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11034] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11034/stat : 11034 (java) S 11025 11027 27000 0 -1 4202560 159 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659309086888 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11035] ppid=11025 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/11027/task/11035/stat : 11035 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 8 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659308034344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11036] ppid=11025 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/11027/task/11036/stat : 11036 (java) S 11025 11027 27000 0 -1 4202560 172 0 0 0 7 9 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659189082536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11037] ppid=11025 vsize=2715132 CPUtime=0.15 cores=1,3,5,7
/proc/11027/task/11037/stat : 11037 (java) S 11025 11027 27000 0 -1 4202560 179 0 0 0 4 11 0 0 20 0 19 0 340884375 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659188029992 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11027/tid=11038] ppid=11025 vsize=2715132 CPUtime=3.1 cores=1,3,5,7
/proc/11027/task/11038/stat : 11038 (java) S 11025 11027 27000 0 -1 4202560 173 0 0 0 305 5 0 0 20 0 19 0 340884376 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659175832168 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11039] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11039/stat : 11039 (java) S 11025 11027 27000 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659174778488 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11040] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11040/stat : 11040 (java) S 11025 11027 27000 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 340884377 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140659173725832 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11041] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11041/stat : 11041 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658434108432 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11042] ppid=11025 vsize=2715132 CPUtime=0.44 cores=1,3,5,7
/proc/11027/task/11042/stat : 11042 (java) S 11025 11027 27000 0 -1 4202560 3693 0 0 0 44 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658433054776 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11027/tid=11043] ppid=11025 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/11027/task/11043/stat : 11043 (java) S 11025 11027 27000 0 -1 4202560 5220 0 0 0 53 2 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658432002232 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11044] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11044/stat : 11044 (java) S 11025 11027 27000 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658430949880 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11027/tid=11045] ppid=11025 vsize=2715132 CPUtime=0.77 cores=1,3,5,7
/proc/11027/task/11045/stat : 11045 (java) S 11025 11027 27000 0 -1 4202560 104 0 0 0 25 52 0 0 20 0 19 0 340884379 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658429897544 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11027/tid=11047] ppid=11025 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11027/task/11047/stat : 11047 (java) S 11025 11027 27000 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 340884418 2780295168 343317 33554432000 1073741824 1073778376 140736272625568 140658428843304 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1797.96
CPU time (s): 1801.08
CPU user time (s): 1799.1
CPU system time (s): 1.9827
CPU usage (%): 100.174
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.9827
maximum resident set size= 1373456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14905
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38105
involuntary context switches= 13079
runsolver used 5.72113 second user time and 16.1825 second system time
The end