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-3456148-1307663954/watcher-3456148-1307663954 -o /tmp/evaluation-result-3456148-1307663954/solver-3456148-1307663954 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456148-1307663954.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.04 2.04 2.01 4/195 13804
/proc/meminfo: memFree=32173000/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 1268 0 0 0 0 0 0 0 25 0 2 0 858811038 32362496 988 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 7901 988 759 9 0 386 0
[pid=13804/tid=13805] ppid=13802 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 2 0 858811038 32362496 993 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270333460103 0 0 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.052297 s]
/proc/loadavg: 2.04 2.04 2.01 4/195 13804
/proc/meminfo: memFree=32173000/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10467828 CPUtime=0.04 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 11495 0 1 0 3 1 0 0 25 0 13 0 858811038 10719055872 11193 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2616957 11193 1685 9 0 2607705 0
[pid=13804/tid=13805] ppid=13802 vsize=10467828 CPUtime=0.04 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 10349 0 1 0 3 1 0 0 25 0 13 0 858811038 10719055872 11193 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 47207892771639 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467828
[startup+0.100301 s]
/proc/loadavg: 2.04 2.04 2.01 4/195 13804
/proc/meminfo: memFree=32173000/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10540608 CPUtime=0.11 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 13107 0 1 0 9 2 0 0 25 0 18 0 858811038 10793582592 12787 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2635152 12788 2093 9 0 2625886 0
[pid=13804/tid=13805] ppid=13802 vsize=10540608 CPUtime=0.08 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 11186 0 1 0 7 1 0 0 18 0 18 0 858811038 10793582592 12788 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 47207895189016 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540608
[startup+0.304568 s]
/proc/loadavg: 2.04 2.04 2.01 4/195 13804
/proc/meminfo: memFree=32173000/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10542656 CPUtime=0.49 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 15587 0 1 0 47 2 0 0 25 0 18 0 858811038 10795679744 15186 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2635664 15186 2219 9 0 2626398 0
[pid=13804/tid=13805] ppid=13802 vsize=10542656 CPUtime=0.28 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 12872 0 1 0 27 1 0 0 18 0 18 0 858811038 10795679744 15186 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912505550014 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10542656
[startup+0.701151 s]
/proc/loadavg: 2.04 2.04 2.01 4/195 13804
/proc/meminfo: memFree=32173000/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=1.66 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 31105 0 1 0 162 4 0 0 25 0 19 0 858811038 10810363904 28382 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 28382 2239 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=0.68 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 21052 0 1 0 66 2 0 0 19 0 19 0 858811038 10810363904 28382 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912505512007 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10556996
[startup+1.50104 s]
/proc/loadavg: 2.04 2.04 2.01 4/214 13823
/proc/meminfo: memFree=31828480/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=3.12 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 79993 0 1 0 302 10 0 0 25 0 19 0 858811038 10810363904 75312 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 75317 2243 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=1.48 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 67996 0 1 0 141 7 0 0 18 0 19 0 858811038 10810363904 75321 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912506081809 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75325 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75327 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75330 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75335 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75338 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75340 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75344 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 75348 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 75351 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 75353 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 75357 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 75361 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=0.78 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 5750 0 0 0 78 0 0 0 15 0 19 0 858811043 10810363904 75363 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.82 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5097 0 0 0 82 0 0 0 15 0 19 0 858811043 10810363904 75366 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 75371 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 75373 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 75375 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 10556996
[startup+3.10075 s]
/proc/loadavg: 2.04 2.04 2.01 3/214 13823
/proc/meminfo: memFree=31276804/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=4.76 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 210956 0 1 0 454 22 0 0 25 0 19 0 858811038 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 206274 2243 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=3.08 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 198946 0 1 0 288 20 0 0 21 0 19 0 858811038 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912506063600 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206274 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=0.83 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 5754 0 0 0 83 0 0 0 15 0 19 0 858811043 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.82 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5097 0 0 0 82 0 0 0 15 0 19 0 858811043 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 206275 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 10556996
[startup+6.30109 s]
/proc/loadavg: 2.03 2.04 2.01 3/214 13823
/proc/meminfo: memFree=29556512/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=8.06 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 492471 0 1 0 752 54 0 0 25 0 19 0 858811038 10810363904 487772 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 487776 2245 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=6.29 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 480456 0 1 0 577 52 0 0 25 0 19 0 858811038 10810363904 487776 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912506081805 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487779 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487783 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487786 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487788 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487790 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487794 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487797 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811040 10810363904 487799 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 858811041 10810363904 487801 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 487804 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 858811041 10810363904 487808 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 487810 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=0.9 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 5760 0 0 0 90 0 0 0 15 0 19 0 858811043 10810363904 487811 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.84 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5100 0 0 0 84 0 0 0 15 0 19 0 858811043 10810363904 487815 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=1.17 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 6516 0 0 0 116 1 0 0 16 0 19 0 858811043 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.97 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5128 0 0 0 97 0 0 0 16 0 19 0 858811043 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 997116 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1669.09
Current children cumulated vsize (KiB) 10556996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 13881
/proc/meminfo: memFree=24478960/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=1729.33 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 1014461 0 1 0 172808 125 0 0 25 0 19 0 858811038 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 1005733 2271 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=1719.8 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 826436 0 1 0 171894 86 0 0 25 0 19 0 858811038 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912505915267 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0.69 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 17727 0 0 0 66 3 0 0 15 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0.85 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 25156 0 0 0 81 4 0 0 15 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0.94 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 25585 0 0 0 90 4 0 0 16 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0.84 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 20134 0 0 0 82 2 0 0 16 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0.78 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 20789 0 0 0 74 4 0 0 15 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0.68 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 18227 0 0 0 64 4 0 0 15 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0.83 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 20215 0 0 0 79 4 0 0 16 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0.85 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 26336 0 0 0 80 5 0 0 16 0 19 0 858811040 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0.8 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 962 0 0 0 79 1 0 0 15 0 19 0 858811041 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=1.17 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 6516 0 0 0 116 1 0 0 16 0 19 0 858811043 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.97 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5128 0 0 0 97 0 0 0 16 0 19 0 858811043 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 1005733 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1729.33
Current children cumulated vsize (KiB) 10556996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13882
/proc/meminfo: memFree=24459072/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=1789.46 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 1019144 0 1 0 178820 126 0 0 25 0 19 0 858811038 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 1010276 2271 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=1779.75 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 826438 0 1 0 177889 86 0 0 25 0 19 0 858811038 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912505956274 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0.69 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 17727 0 0 0 66 3 0 0 15 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0.87 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 26006 0 0 0 83 4 0 0 15 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0.96 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 26058 0 0 0 92 4 0 0 16 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0.89 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 21242 0 0 0 87 2 0 0 16 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0.79 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 21319 0 0 0 75 4 0 0 15 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0.72 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 19438 0 0 0 68 4 0 0 16 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0.83 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 20215 0 0 0 79 4 0 0 16 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0.88 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 26841 0 0 0 83 5 0 0 16 0 19 0 858811040 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0.8 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 964 0 0 0 79 1 0 0 15 0 19 0 858811041 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=1.17 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 6516 0 0 0 116 1 0 0 16 0 19 0 858811043 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.97 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5128 0 0 0 97 0 0 0 16 0 19 0 858811043 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 1010276 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (KiB) 10556996
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 13882
/proc/meminfo: memFree=24448256/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=10556996 CPUtime=1800.03 cores=0,2,4,6
/proc/13804/stat : 13804 (java) S 13802 13804 12306 0 -1 4202496 1021246 0 1 0 179876 127 0 0 25 0 19 0 858811038 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 2639249 1012315 2271 9 0 2629983 0
[pid=13804/tid=13805] ppid=13802 vsize=10556996 CPUtime=1790.23 cores=0,2,4,6
/proc/13804/task/13805/stat : 13805 (java) R 13802 13804 12306 0 -1 4202560 826439 0 1 0 178937 86 0 0 25 0 19 0 858811038 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 46912505956345 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=13804/tid=13807] ppid=13802 vsize=10556996 CPUtime=0.7 cores=0,2,4,6
/proc/13804/task/13807/stat : 13807 (java) S 13802 13804 12306 0 -1 4202560 18260 0 0 0 67 3 0 0 16 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13808] ppid=13802 vsize=10556996 CPUtime=0.89 cores=0,2,4,6
/proc/13804/task/13808/stat : 13808 (java) S 13802 13804 12306 0 -1 4202560 26743 0 0 0 85 4 0 0 16 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13809] ppid=13802 vsize=10556996 CPUtime=0.96 cores=0,2,4,6
/proc/13804/task/13809/stat : 13809 (java) S 13802 13804 12306 0 -1 4202560 26058 0 0 0 92 4 0 0 15 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13810] ppid=13802 vsize=10556996 CPUtime=0.89 cores=0,2,4,6
/proc/13804/task/13810/stat : 13810 (java) S 13802 13804 12306 0 -1 4202560 21242 0 0 0 87 2 0 0 15 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13811] ppid=13802 vsize=10556996 CPUtime=0.81 cores=0,2,4,6
/proc/13804/task/13811/stat : 13811 (java) S 13802 13804 12306 0 -1 4202560 21727 0 0 0 77 4 0 0 16 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13812] ppid=13802 vsize=10556996 CPUtime=0.72 cores=0,2,4,6
/proc/13804/task/13812/stat : 13812 (java) S 13802 13804 12306 0 -1 4202560 19438 0 0 0 68 4 0 0 15 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13813] ppid=13802 vsize=10556996 CPUtime=0.85 cores=0,2,4,6
/proc/13804/task/13813/stat : 13813 (java) S 13802 13804 12306 0 -1 4202560 20634 0 0 0 81 4 0 0 16 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13814] ppid=13802 vsize=10556996 CPUtime=0.88 cores=0,2,4,6
/proc/13804/task/13814/stat : 13814 (java) S 13802 13804 12306 0 -1 4202560 26841 0 0 0 83 5 0 0 15 0 19 0 858811040 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 6 0 0 0
[pid=13804/tid=13815] ppid=13802 vsize=10556996 CPUtime=0.8 cores=0,2,4,6
/proc/13804/task/13815/stat : 13815 (java) S 13802 13804 12306 0 -1 4202560 966 0 0 0 79 1 0 0 15 0 19 0 858811041 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 0 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13816] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13816/stat : 13816 (java) S 13802 13804 12306 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13817] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13817/stat : 13817 (java) S 13802 13804 12306 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 858811041 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13818] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13818/stat : 13818 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350207409 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13819] ppid=13802 vsize=10556996 CPUtime=1.17 cores=0,2,4,6
/proc/13804/task/13819/stat : 13819 (java) S 13802 13804 12306 0 -1 4202560 6516 0 0 0 116 1 0 0 16 0 19 0 858811043 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 0 0 0 0
[pid=13804/tid=13820] ppid=13802 vsize=10556996 CPUtime=0.97 cores=0,2,4,6
/proc/13804/task/13820/stat : 13820 (java) S 13802 13804 12306 0 -1 4202560 5128 0 0 0 97 0 0 0 16 0 19 0 858811043 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
[pid=13804/tid=13821] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13821/stat : 13821 (java) S 13802 13804 12306 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 858811043 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350199705 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13822] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13822/stat : 13822 (java) S 13802 13804 12306 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 858811043 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 2 0 0 0
[pid=13804/tid=13823] ppid=13802 vsize=10556996 CPUtime=0 cores=0,2,4,6
/proc/13804/task/13823/stat : 13823 (java) S 13802 13804 12306 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 858811102 10810363904 1012315 33554432000 1073741824 1073778376 140733293457088 18446744073709551615 270350200320 0 4 0 16800975 18446604453965986624 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 10556996
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/198 13885
/proc/meminfo: memFree=27036264/32951124 swapFree=67055520/67111528
[pid=13804] ppid=13802 vsize=0 CPUtime=1800.16 cores=0,2,4,6
/proc/13804/stat : 13804 (java) Z 13802 13804 12306 0 -1 4203548 1021276 0 1 0 179879 137 0 0 17 0 2 0 858811038 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/13804/statm: 0 0 0 0 0 0 0
[pid=13804/tid=13885] ppid=13802 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/13804/task/13885/stat : 13885 (java) R 13802 13804 12306 0 -1 4203588 8 0 0 0 0 9 0 0 21 0 2 0 858990319 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.96
CPU time (s): 1800.21
CPU user time (s): 1798.79
CPU system time (s): 1.41478
CPU usage (%): 100.404
Max. virtual memory (cumulated for all children) (KiB): 10556996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.79
system time used= 1.41478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021276
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= 39301
involuntary context switches= 26245
runsolver used 3.40348 second user time and 6.39703 second system time
The end