runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3458678-1307154913/watcher-3458678-1307154913 -o /tmp/evaluation-result-3458678-1307154913/solver-3458678-1307154913 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458678-1307154913.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.07 2.02 2/532 12357
/proc/meminfo: memFree=16113004/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=35788 CPUtime=0 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 1316 0 0 0 0 0 0 0 25 0 2 0 905722130 36646912 1018 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 8947 1018 782 9 0 386 0
[pid=12357/tid=12358] ppid=12355 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 7149 0 1 0 0 0 0 0 25 0 2 0 905722131 13850947584 7966 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 215988286523 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.116657 s]
/proc/loadavg: 2.02 2.07 2.02 2/532 12357
/proc/meminfo: memFree=16113004/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13621792 CPUtime=0.13 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 15966 0 1 0 11 2 0 0 25 0 18 0 905722130 13948715008 15655 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3405448 15678 2126 9 0 3396182 0
[pid=12357/tid=12358] ppid=12355 vsize=13621792 CPUtime=0.1 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 13999 0 1 0 8 2 0 0 25 0 18 0 905722131 13948715008 15691 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 47901542667912 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13621792
[startup+0.200638 s]
/proc/loadavg: 2.02 2.07 2.02 2/532 12357
/proc/meminfo: memFree=16113004/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13622080 CPUtime=0.26 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 16750 0 1 0 24 2 0 0 25 0 18 0 905722130 13949009920 16371 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3405520 16372 2179 9 0 3396254 0
[pid=12357/tid=12358] ppid=12355 vsize=13622080 CPUtime=0.18 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 14521 0 1 0 16 2 0 0 25 0 18 0 905722131 13949009920 16372 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 47901542667912 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622080
[startup+0.300623 s]
/proc/loadavg: 2.02 2.07 2.02 2/532 12357
/proc/meminfo: memFree=16113004/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13623104 CPUtime=0.51 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 18943 0 1 0 48 3 0 0 25 0 18 0 905722130 13950058496 18260 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3405776 18261 2202 9 0 3396510 0
[pid=12357/tid=12358] ppid=12355 vsize=13623104 CPUtime=0.28 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 15813 0 1 0 26 2 0 0 25 0 18 0 905722131 13950058496 18262 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505605440 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13623104
[startup+0.700448 s]
/proc/loadavg: 2.02 2.07 2.02 2/532 12357
/proc/meminfo: memFree=16113004/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13625900 CPUtime=1.18 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 57376 0 1 0 109 9 0 0 25 0 18 0 905722130 13952921600 54686 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3406475 54690 2214 9 0 3397209 0
[pid=12357/tid=12358] ppid=12355 vsize=13625900 CPUtime=0.68 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 50819 0 1 0 61 7 0 0 18 0 18 0 905722131 13952921600 54692 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505573206 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13625900
[startup+1.50131 s]
/proc/loadavg: 2.02 2.07 2.02 3/550 12375
/proc/meminfo: memFree=15779860/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13634624 CPUtime=2.29 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 99777 0 1 0 216 13 0 0 25 0 18 0 905722130 13961854976 95580 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3408656 95582 2225 9 0 3399390 0
[pid=12357/tid=12358] ppid=12355 vsize=13634624 CPUtime=1.49 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 89390 0 1 0 137 12 0 0 19 0 18 0 905722131 13961854976 95583 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505755114 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95585 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95587 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95588 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95590 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95591 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95593 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95594 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722133 13961854976 95596 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 905722134 13961854976 95598 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 905722134 13961854976 95599 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 905722134 13961854976 95601 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722136 13961854976 95602 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13634624 CPUtime=0.32 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) R 12355 12357 8697 0 -1 4202560 3357 0 0 0 31 1 0 0 15 0 18 0 905722136 13961854976 95604 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 47901541143568 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13634624 CPUtime=0.46 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) R 12355 12357 8697 0 -1 4202560 5882 0 0 0 46 0 0 0 18 0 18 0 905722136 13961854976 95605 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 47901545344135 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 905722136 13961854976 95607 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13634624 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 905722136 13961854976 95608 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 13634624
[startup+3.10103 s]
/proc/loadavg: 2.02 2.07 2.02 3/551 12376
/proc/meminfo: memFree=15722316/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13636888 CPUtime=4.58 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 105005 0 1 0 444 14 0 0 25 0 19 0 905722130 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3409222 99251 2237 9 0 3399956 0
[pid=12357/tid=12358] ppid=12355 vsize=13636888 CPUtime=3.09 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 91732 0 1 0 297 12 0 0 20 0 19 0 905722131 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505949626 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 905722134 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905722134 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905722134 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13636888 CPUtime=0.65 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5089 0 0 0 64 1 0 0 15 0 19 0 905722136 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13636888 CPUtime=0.82 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7022 0 0 0 82 0 0 0 15 0 19 0 905722136 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 905722136 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12376] ppid=12355 vsize=13636888 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12376/stat : 12376 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 905722286 13964173312 99251 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 13636888
[startup+6.30158 s]
/proc/loadavg: 2.02 2.07 2.02 3/551 12376
/proc/meminfo: memFree=15721552/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13633608 CPUtime=7.8 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 106237 0 1 0 766 14 0 0 25 0 19 0 905722130 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3408402 99261 2237 9 0 3399136 0
[pid=12357/tid=12358] ppid=12355 vsize=13633608 CPUtime=6.28 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 92960 0 1 0 616 12 0 0 18 0 19 0 905722131 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505777863 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722133 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 905722134 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 905722134 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 905722134 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13633608 CPUtime=0.66 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5091 0 0 0 65 1 0 0 15 0 19 0 905722136 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13633608 CPUtime=0.83 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7024 0 0 0 83 0 0 0 15 0 19 0 905722136 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 99261 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=12357/tid=12365] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 8622 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13633608 CPUtime=0.02 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 3930 0 0 0 2 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13633608 CPUtime=0.03 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 6498 0 0 0 3 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13633608 CPUtime=0.14 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 34197 0 0 0 11 3 0 0 15 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13633608 CPUtime=0.68 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5093 0 0 0 67 1 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13633608 CPUtime=0.94 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7051 0 0 0 94 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12376] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12376/stat : 12376 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 905722286 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.04
Current children cumulated vsize (KiB) 13633608
[startup+1722.3 s]
/proc/loadavg: 1.01 1.45 1.76 2/527 12454
/proc/meminfo: memFree=16858116/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13633608 CPUtime=1724.05 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 596045 0 1 0 172318 87 0 0 25 0 19 0 905722130 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3408402 588898 2265 9 0 3399136 0
[pid=12357/tid=12358] ppid=12355 vsize=13633608 CPUtime=1722.06 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 515472 0 1 0 172130 76 0 0 25 0 19 0 905722131 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505931176 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13633608 CPUtime=0.01 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1452 0 0 0 1 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1109 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 11370 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 8622 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13633608 CPUtime=0.02 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 3930 0 0 0 2 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13633608 CPUtime=0.03 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 6498 0 0 0 3 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13633608 CPUtime=0.14 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 34197 0 0 0 11 3 0 0 15 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13633608 CPUtime=0.68 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5093 0 0 0 67 1 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13633608 CPUtime=0.94 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7051 0 0 0 94 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12376] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12376/stat : 12376 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 905722286 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.05
Current children cumulated vsize (KiB) 13633608
[startup+1782.3 s]
/proc/loadavg: 1.00 1.36 1.70 2/527 12456
/proc/meminfo: memFree=16857444/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13633608 CPUtime=1784.05 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 596049 0 1 0 178318 87 0 0 25 0 19 0 905722130 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3408402 588898 2265 9 0 3399136 0
[pid=12357/tid=12358] ppid=12355 vsize=13633608 CPUtime=1782.06 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 515472 0 1 0 178130 76 0 0 25 0 19 0 905722131 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505949703 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13633608 CPUtime=0.01 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1452 0 0 0 1 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1109 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 11370 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 8622 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13633608 CPUtime=0.02 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 3930 0 0 0 2 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13633608 CPUtime=0.03 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 6498 0 0 0 3 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13633608 CPUtime=0.14 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 34197 0 0 0 11 3 0 0 15 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13633608 CPUtime=0.68 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5093 0 0 0 67 1 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13633608 CPUtime=0.94 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7051 0 0 0 94 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12376] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12376/stat : 12376 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 905722286 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.05
Current children cumulated vsize (KiB) 13633608
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.3 s]
/proc/loadavg: 1.00 1.34 1.69 2/527 12456
/proc/meminfo: memFree=16857560/32950940 swapFree=67111364/67111528
[pid=12357] ppid=12355 vsize=13633608 CPUtime=1800.05 cores=0,2,4,6
/proc/12357/stat : 12357 (java) S 12355 12357 8697 0 -1 4202496 596049 0 1 0 179918 87 0 0 25 0 19 0 905722130 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/12357/statm: 3408402 588898 2265 9 0 3399136 0
[pid=12357/tid=12358] ppid=12355 vsize=13633608 CPUtime=1798.08 cores=0,2,4,6
/proc/12357/task/12358/stat : 12358 (java) R 12355 12357 8697 0 -1 4202560 515472 0 1 0 179732 76 0 0 25 0 19 0 905722131 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 46912505949710 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12357/tid=12360] ppid=12355 vsize=13633608 CPUtime=0.01 cores=0,2,4,6
/proc/12357/task/12360/stat : 12360 (java) S 12355 12357 8697 0 -1 4202560 1452 0 0 0 1 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12361] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12361/stat : 12361 (java) S 12355 12357 8697 0 -1 4202560 1109 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12362] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12362/stat : 12362 (java) S 12355 12357 8697 0 -1 4202560 11370 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12363] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12363/stat : 12363 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12364] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12364/stat : 12364 (java) S 12355 12357 8697 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12365] ppid=12355 vsize=13633608 CPUtime=0.04 cores=0,2,4,6
/proc/12357/task/12365/stat : 12365 (java) S 12355 12357 8697 0 -1 4202560 8622 0 0 0 3 1 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 4 0 0 0
[pid=12357/tid=12366] ppid=12355 vsize=13633608 CPUtime=0.02 cores=0,2,4,6
/proc/12357/task/12366/stat : 12366 (java) S 12355 12357 8697 0 -1 4202560 3930 0 0 0 2 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12367] ppid=12355 vsize=13633608 CPUtime=0.03 cores=0,2,4,6
/proc/12357/task/12367/stat : 12367 (java) S 12355 12357 8697 0 -1 4202560 6498 0 0 0 3 0 0 0 18 0 19 0 905722133 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12368] ppid=12355 vsize=13633608 CPUtime=0.14 cores=0,2,4,6
/proc/12357/task/12368/stat : 12368 (java) S 12355 12357 8697 0 -1 4202560 34197 0 0 0 11 3 0 0 15 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 0 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12369] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12369/stat : 12369 (java) S 12355 12357 8697 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12370] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12370/stat : 12370 (java) S 12355 12357 8697 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 905722134 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12371] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12371/stat : 12371 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000416177 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12372] ppid=12355 vsize=13633608 CPUtime=0.68 cores=0,2,4,6
/proc/12357/task/12372/stat : 12372 (java) S 12355 12357 8697 0 -1 4202560 5093 0 0 0 67 1 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 2 0 0 0
[pid=12357/tid=12373] ppid=12355 vsize=13633608 CPUtime=0.94 cores=0,2,4,6
/proc/12357/task/12373/stat : 12373 (java) S 12355 12357 8697 0 -1 4202560 7051 0 0 0 94 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12374] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12374/stat : 12374 (java) S 12355 12357 8697 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000408473 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
[pid=12357/tid=12375] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12375/stat : 12375 (java) S 12355 12357 8697 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 905722136 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 0 0 0 0
[pid=12357/tid=12376] ppid=12355 vsize=13633608 CPUtime=0 cores=0,2,4,6
/proc/12357/task/12376/stat : 12376 (java) S 12355 12357 8697 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 905722286 13960814592 588898 33554432000 1073741824 1073778376 140737413354832 18446744073709551615 216000409088 0 4 0 16800975 18446604451378516992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13633608
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): 1798.42
CPU time (s): 1800.18
CPU user time (s): 1799.21
CPU system time (s): 0.969852
CPU usage (%): 100.098
Max. virtual memory (cumulated for all children) (KiB): 13639600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.21
system time used= 0.969852
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596077
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 36707
involuntary context switches= 32084
runsolver used 9.69853 second user time and 20.1559 second system time
The end