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-3687672-1337873064/watcher-3687672-1337873064 -o /tmp/evaluation-result-3687672-1337873064/solver-3687672-1337873064 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687672-1337873064.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: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/25545/stat : 25545 (java) R 25543 25545 24583 0 -1 4202496 984 0 0 0 0 0 0 0 20 0 1 0 253431794 23793664 712 33554432000 1073741824 1073778376 140736653355728 140736653344792 270698329448 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 5809 713 528 9 0 128 0
[startup+0.038697 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9225560 CPUtime=0.02 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 3084 0 1 0 2 0 0 0 20 0 13 0 253431794 9446973440 3271 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2306390 3271 1702 9 0 2297091 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560
[startup+0.100219 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9558412 CPUtime=0.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 4512 0 1 0 9 1 0 0 20 0 18 0 253431794 9787813888 5647 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2389603 5647 2131 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300179 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 5589 0 1 0 45 3 0 0 20 0 19 0 253431794 10060460032 8424 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 8424 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668
[startup+0.700129 s]
/proc/loadavg: 3.38 3.45 2.49 4/197 25545
/proc/meminfo: memFree=27997612/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=0.48 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 5589 0 1 0 45 3 0 0 20 0 19 0 253431794 10060460032 8424 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 8424 2231 9 0 2446860 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9824668
[startup+1.50065 s]
/proc/loadavg: 3.38 3.45 2.49 2/216 25570
/proc/meminfo: memFree=27967860/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1.46 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 15209 0 1 0 139 7 0 0 20 0 22 0 253431794 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 19152 2245 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2510 0 1 0 23 2 0 0 20 0 22 0 253431794 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.31 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) R 25543 25545 24583 0 -1 4202560 7602 0 0 0 30 1 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757109536432 139757296006304 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=0.33 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) R 25543 25545 24583 0 -1 4202560 3766 0 0 0 33 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757108473912 139757295696137 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25566] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25566/stat : 25566 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253431820 10060460032 19152 33554432000 1073741824 1073778376 140736653355728 139757103232296 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.38 3.45 2.49 5/219 25576
/proc/meminfo: memFree=27865052/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=4.86 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 20835 0 1 0 471 15 0 0 20 0 19 0 253431794 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 45300 2278 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.25 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2510 0 1 0 23 2 0 0 20 0 19 0 253431794 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253431795 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0.06 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 40 0 0 0 6 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253431796 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.72 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8258 0 0 0 71 1 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=0.88 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 8589 0 0 0 86 2 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253431799 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253431921 10060460032 45300 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 9824668
[startup+6.30065 s]
/proc/loadavg: 3.43 3.46 2.50 3/216 25582
/proc/meminfo: memFree=27700344/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=9.53 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 23312 0 1 0 930 23 0 0 20 0 22 0 253431794 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 72046 2279 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.26 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2511 0 1 0 24 2 0 0 20 0 22 0 253431794 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=0.04 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 28 0 0 0 4 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=0.02 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=0.05 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 24 0 0 0 3 2 0 0 20 0 22 0 253431795 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=0.45 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 120 0 0 0 43 2 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=0.96 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8372 0 0 0 94 2 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=1.01 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 10748 0 0 0 99 2 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 72046 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 9.53
Current children cumulated vsize (KiB) 9824668
[startup+12.7009 s]
################
# More data... #
################
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=135.91 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 14 0 0 0 13589 2 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757103231456 139757229747048 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=135.89 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 10 0 0 0 13587 2 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230035694 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 655638 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1673.56
Current children cumulated vsize (KiB) 9824668
[startup+1062.3 s]
/proc/loadavg: 3.65 3.42 3.09 5/219 25862
/proc/meminfo: memFree=23541656/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1780.98 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57264 0 1 0 177911 187 0 0 20 0 22 0 253431794 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 684900 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2792 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.69 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 361 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.4 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 333 7 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1276 0 0 0 347 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.55 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 347 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.38 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1305 0 0 0 330 8 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.5 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1475 0 0 0 341 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.79 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1349 0 0 0 370 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.63 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1445 0 0 0 354 9 0 0 20 0 22 0 253431795 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=348.12 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8642 0 0 0 34776 36 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 61 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=181.76 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 25 0 0 0 18174 2 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757103231456 139757229889690 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=181.73 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 12 0 0 0 18171 2 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757104281968 139757230035238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 684900 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1780.98
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1072.51 s]
/proc/loadavg: 3.70 3.43 3.10 5/219 25862
/proc/meminfo: memFree=23533532/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57325 0 1 0 179823 187 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 686959 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2793 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 366 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 336 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1279 0 0 0 353 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 350 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1308 0 0 0 333 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1477 0 0 0 349 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1350 0 0 0 373 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.7 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1447 0 0 0 361 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=349.61 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8687 0 0 0 34925 36 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 63 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=190.37 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 26 0 0 0 19035 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757103230496 139757229794723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=190.34 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 13 0 0 0 19032 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230156853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1072.51 s]
/proc/loadavg: 3.70 3.43 3.10 5/219 25862
/proc/meminfo: memFree=23533532/32873648 swapFree=6856/6856
[pid=25545] ppid=25543 vsize=9824668 CPUtime=1800.1 cores=0,2,4,6
/proc/25545/stat : 25545 (java) S 25543 25545 24583 0 -1 4202496 57325 0 1 0 179823 187 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 140736653346864 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25545/statm: 2456167 686959 2281 9 0 2446860 0
[pid=25545/tid=25547] ppid=25543 vsize=9824668 CPUtime=0.34 cores=0,2,4,6
/proc/25545/task/25547/stat : 25547 (java) S 25543 25545 24583 0 -1 4202560 2793 0 1 0 31 3 0 0 20 0 22 0 253431794 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757289546744 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25548] ppid=25543 vsize=9824668 CPUtime=3.74 cores=0,2,4,6
/proc/25545/task/25548/stat : 25548 (java) S 25543 25545 24583 0 -1 4202560 1176 0 0 0 366 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757133540264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25549] ppid=25543 vsize=9824668 CPUtime=3.44 cores=0,2,4,6
/proc/25545/task/25549/stat : 25549 (java) S 25543 25545 24583 0 -1 4202560 1058 0 0 0 336 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757132487720 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25550] ppid=25543 vsize=9824668 CPUtime=3.61 cores=0,2,4,6
/proc/25545/task/25550/stat : 25550 (java) S 25543 25545 24583 0 -1 4202560 1279 0 0 0 353 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757131434664 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25551] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25551/stat : 25551 (java) S 25543 25545 24583 0 -1 4202560 937 0 0 0 350 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757130382120 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25552] ppid=25543 vsize=9824668 CPUtime=3.41 cores=0,2,4,6
/proc/25545/task/25552/stat : 25552 (java) S 25543 25545 24583 0 -1 4202560 1308 0 0 0 333 8 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757129329064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25553] ppid=25543 vsize=9824668 CPUtime=3.58 cores=0,2,4,6
/proc/25545/task/25553/stat : 25553 (java) S 25543 25545 24583 0 -1 4202560 1477 0 0 0 349 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757128276520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25554] ppid=25543 vsize=9824668 CPUtime=3.82 cores=0,2,4,6
/proc/25545/task/25554/stat : 25554 (java) S 25543 25545 24583 0 -1 4202560 1350 0 0 0 373 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757127223464 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25555] ppid=25543 vsize=9824668 CPUtime=3.7 cores=0,2,4,6
/proc/25545/task/25555/stat : 25555 (java) S 25543 25545 24583 0 -1 4202560 1447 0 0 0 361 9 0 0 20 0 22 0 253431795 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757126170920 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25556] ppid=25543 vsize=9824668 CPUtime=349.61 cores=0,2,4,6
/proc/25545/task/25556/stat : 25556 (java) S 25543 25545 24583 0 -1 4202560 8687 0 0 0 34925 36 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757113760616 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25557] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25557/stat : 25557 (java) S 25543 25545 24583 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757112706936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25558] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25558/stat : 25558 (java) S 25543 25545 24583 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253431796 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757111653768 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25559] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25559/stat : 25559 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757110602512 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25560] ppid=25543 vsize=9824668 CPUtime=1.06 cores=0,2,4,6
/proc/25545/task/25560/stat : 25560 (java) S 25543 25545 24583 0 -1 4202560 8384 0 0 0 104 2 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757109549368 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25561] ppid=25543 vsize=9824668 CPUtime=3.08 cores=0,2,4,6
/proc/25545/task/25561/stat : 25561 (java) S 25543 25545 24583 0 -1 4202560 24880 0 0 0 304 4 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757108496824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25545/tid=25562] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25562/stat : 25562 (java) S 25543 25545 24583 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757107443960 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25563] ppid=25543 vsize=9824668 CPUtime=0.36 cores=0,2,4,6
/proc/25545/task/25563/stat : 25563 (java) S 25543 25545 24583 0 -1 4202560 63 0 0 0 17 19 0 0 20 0 22 0 253431799 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757106391624 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25573] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25573/stat : 25573 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253431921 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757105338024 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25545/tid=25644] ppid=25543 vsize=9824668 CPUtime=190.37 cores=0,2,4,6
/proc/25545/task/25644/stat : 25644 (java) R 25543 25545 24583 0 -1 4202560 26 0 0 0 19035 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757103230496 139757229794723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25545/tid=25645] ppid=25543 vsize=9824668 CPUtime=190.34 cores=0,2,4,6
/proc/25545/task/25645/stat : 25645 (java) R 25543 25545 24583 0 -1 4202560 13 0 0 0 19032 2 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757104282016 139757230156853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25545/tid=25646] ppid=25543 vsize=9824668 CPUtime=0 cores=0,2,4,6
/proc/25545/task/25646/stat : 25646 (java) S 25543 25545 24583 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253510833 10060460032 686959 33554432000 1073741824 1073778376 140736653355728 139757102179240 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9824668
Child status: 143
Real time (s): 1072.55
CPU time (s): 1800.5
CPU user time (s): 1798.35
CPU system time (s): 2.15067
CPU usage (%): 167.871
Max. virtual memory (cumulated for all children) (KiB): 9826556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.35
system time used= 2.15067
maximum resident set size= 2747960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57355
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 34506
involuntary context switches= 57905
runsolver used 3.89141 second user time and 9.92349 second system time
The end