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-3456620-1307645924/watcher-3456620-1307645924 -o /tmp/evaluation-result-3456620-1307645924/solver-3456620-1307645924 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456620-1307645924.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 5990
/proc/meminfo: memFree=29841880/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5990/stat : 5990 (java) R 5988 5990 4604 0 -1 4202496 949 0 0 0 0 0 0 0 24 0 1 0 954823233 23580672 692 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 215983629800 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5990/statm: 5757 693 510 9 0 124 0
[startup+0.023466 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 5990
/proc/meminfo: memFree=29841880/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10444316 CPUtime=0.01 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 9631 0 1 0 0 1 0 0 24 0 2 0 954823233 10694979584 9333 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2611079 9350 917 9 0 2602235 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100515 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 5990
/proc/meminfo: memFree=29841880/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10539848 CPUtime=0.1 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 13058 0 1 0 8 2 0 0 24 0 18 0 954823233 10792804352 12735 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2634962 12735 2093 9 0 2625696 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539848
[startup+0.300419 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 5990
/proc/meminfo: memFree=29841880/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10545248 CPUtime=0.53 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 20330 0 1 0 50 3 0 0 24 0 18 0 954823233 10798333952 18670 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2636312 18672 2204 9 0 2627046 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10545248
[startup+0.700412 s]
/proc/loadavg: 1.92 1.98 1.99 3/195 5990
/proc/meminfo: memFree=29841880/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=1.55 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 35966 0 1 0 150 5 0 0 24 0 19 0 954823233 10807361536 32229 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 32229 2231 9 0 2629250 0
Current children cumulated CPU time (s) 1.55
Current children cumulated vsize (KiB) 10554064
[startup+1.50121 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 6009
/proc/meminfo: memFree=29664124/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=2.76 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 82521 0 1 0 266 10 0 0 24 0 19 0 954823233 10807361536 76271 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 76272 2233 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=1.48 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 69201 0 1 0 140 8 0 0 25 0 19 0 954823233 10807361536 76273 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505605951 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76274 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76275 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76276 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76277 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76278 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76279 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76280 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 76281 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 76282 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 76283 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 76283 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 76284 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.6 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5131 0 0 0 60 0 0 0 22 0 19 0 954823239 10807361536 76285 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.66 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7034 0 0 0 65 1 0 0 15 0 19 0 954823239 10807361536 76286 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 76287 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 76288 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 76289 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10554064
[startup+3.10093 s]
/proc/loadavg: 1.92 1.98 1.99 3/214 6009
/proc/meminfo: memFree=29365400/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=4.37 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 234679 0 1 0 410 27 0 0 24 0 19 0 954823233 10807361536 228428 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 228431 2234 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=3.08 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 221359 0 1 0 283 25 0 0 25 0 19 0 954823233 10807361536 228432 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505605951 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228434 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228435 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228437 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228439 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228440 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228442 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228443 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 228445 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 228446 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 228447 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 228449 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 228450 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.6 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5131 0 0 0 60 0 0 0 18 0 19 0 954823239 10807361536 228451 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.67 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7035 0 0 0 66 1 0 0 15 0 19 0 954823239 10807361536 228453 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 228453 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 228455 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 228456 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 10554064
[startup+6.30137 s]
/proc/loadavg: 1.93 1.98 1.99 3/214 6009
/proc/meminfo: memFree=27943368/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=7.63 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 571161 0 1 0 702 61 0 0 24 0 19 0 954823233 10807361536 564901 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 564903 2237 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=6.28 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 557827 0 1 0 570 58 0 0 25 0 19 0 954823233 10807361536 564903 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505831577 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564904 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564904 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564905 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564905 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564905 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564906 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564906 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823235 10807361536 564906 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954823236 10807361536 564907 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 564907 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823236 10807361536 564907 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 564908 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.63 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5136 0 0 0 63 0 0 0 15 0 19 0 954823239 10807361536 564908 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.69 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7038 0 0 0 68 1 0 0 15 0 19 0 954823239 10807361536 564909 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 564909 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) R 5988 5990 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 564910 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 564910 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.63
Current children cumulated vsize (KiB) 10554064
[startup+12.7013 s]
################
# More data... #
################
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.84 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5171 0 0 0 84 0 0 0 15 0 19 0 954823239 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.95 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7083 0 0 0 94 1 0 0 15 0 19 0 954823239 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 1023144 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.09
Current children cumulated vsize (KiB) 10554064
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6122
/proc/meminfo: memFree=28007188/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=1729.24 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 1034625 0 1 0 172815 109 0 0 24 0 19 0 954823233 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 1025475 2265 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=1717.7 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 789802 0 1 0 171689 81 0 0 25 0 19 0 954823233 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505831730 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=1.02 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 29956 0 0 0 99 3 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0.7 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 21843 0 0 0 67 3 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0.64 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 23277 0 0 0 61 3 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0.77 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 20982 0 0 0 75 2 0 0 15 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=0.99 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 30382 0 0 0 97 2 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0.87 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 27347 0 0 0 85 2 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0.86 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 25869 0 0 0 84 2 0 0 16 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=0.98 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 23900 0 0 0 95 3 0 0 15 0 19 0 954823235 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=2.82 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 27763 0 0 0 279 3 0 0 15 0 19 0 954823236 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.84 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5171 0 0 0 84 0 0 0 15 0 19 0 954823239 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.95 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7083 0 0 0 94 1 0 0 15 0 19 0 954823239 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 1025475 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1729.24
Current children cumulated vsize (KiB) 10554064
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6124
/proc/meminfo: memFree=27964480/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=1789.41 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 1038262 0 1 0 178831 110 0 0 24 0 19 0 954823233 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 1029068 2265 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=1776.6 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 789804 0 1 0 177579 81 0 0 25 0 19 0 954823233 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505831730 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=1.02 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 29956 0 0 0 99 3 0 0 15 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0.7 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 21843 0 0 0 67 3 0 0 15 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0.66 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 23584 0 0 0 63 3 0 0 15 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0.79 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 21322 0 0 0 77 2 0 0 15 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=1.05 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 31191 0 0 0 103 2 0 0 16 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0.9 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 27735 0 0 0 88 2 0 0 16 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0.89 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 26253 0 0 0 87 2 0 0 16 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=1.03 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 24404 0 0 0 100 3 0 0 16 0 19 0 954823235 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=3.86 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 28662 0 0 0 383 3 0 0 15 0 19 0 954823236 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.84 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5171 0 0 0 84 0 0 0 15 0 19 0 954823239 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.95 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7083 0 0 0 94 1 0 0 15 0 19 0 954823239 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 1029068 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.41
Current children cumulated vsize (KiB) 10554064
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1792.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6124
/proc/meminfo: memFree=27964472/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=10554064 CPUtime=1800.09 cores=1,3,5,7
/proc/5990/stat : 5990 (java) S 5988 5990 4604 0 -1 4202496 1038269 0 1 0 179899 110 0 0 24 0 19 0 954823233 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 2638516 1029072 2265 9 0 2629250 0
[pid=5990/tid=5992] ppid=5988 vsize=10554064 CPUtime=1787.19 cores=1,3,5,7
/proc/5990/task/5992/stat : 5992 (java) R 5988 5990 4604 0 -1 4202560 789805 0 1 0 178638 81 0 0 25 0 19 0 954823233 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 46912505831916 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5990/tid=5993] ppid=5988 vsize=10554064 CPUtime=1.02 cores=1,3,5,7
/proc/5990/task/5993/stat : 5993 (java) S 5988 5990 4604 0 -1 4202560 29956 0 0 0 99 3 0 0 15 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5994] ppid=5988 vsize=10554064 CPUtime=0.7 cores=1,3,5,7
/proc/5990/task/5994/stat : 5994 (java) S 5988 5990 4604 0 -1 4202560 21843 0 0 0 67 3 0 0 15 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=5995] ppid=5988 vsize=10554064 CPUtime=0.66 cores=1,3,5,7
/proc/5990/task/5995/stat : 5995 (java) S 5988 5990 4604 0 -1 4202560 23584 0 0 0 63 3 0 0 15 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5996] ppid=5988 vsize=10554064 CPUtime=0.82 cores=1,3,5,7
/proc/5990/task/5996/stat : 5996 (java) S 5988 5990 4604 0 -1 4202560 21322 0 0 0 80 2 0 0 16 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=5997] ppid=5988 vsize=10554064 CPUtime=1.07 cores=1,3,5,7
/proc/5990/task/5997/stat : 5997 (java) S 5988 5990 4604 0 -1 4202560 31192 0 0 0 105 2 0 0 16 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=5998] ppid=5988 vsize=10554064 CPUtime=0.93 cores=1,3,5,7
/proc/5990/task/5998/stat : 5998 (java) S 5988 5990 4604 0 -1 4202560 27735 0 0 0 91 2 0 0 16 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 5 0 0 0
[pid=5990/tid=5999] ppid=5988 vsize=10554064 CPUtime=0.89 cores=1,3,5,7
/proc/5990/task/5999/stat : 5999 (java) S 5988 5990 4604 0 -1 4202560 26253 0 0 0 87 2 0 0 15 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6000] ppid=5988 vsize=10554064 CPUtime=1.06 cores=1,3,5,7
/proc/5990/task/6000/stat : 6000 (java) S 5988 5990 4604 0 -1 4202560 24407 0 0 0 103 3 0 0 16 0 19 0 954823235 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6001] ppid=5988 vsize=10554064 CPUtime=3.86 cores=1,3,5,7
/proc/5990/task/6001/stat : 6001 (java) S 5988 5990 4604 0 -1 4202560 28664 0 0 0 383 3 0 0 15 0 19 0 954823236 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 0 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6002] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6002/stat : 6002 (java) S 5988 5990 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6003] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6003/stat : 6003 (java) S 5988 5990 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 954823236 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6004] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6004/stat : 6004 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000416177 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6005] ppid=5988 vsize=10554064 CPUtime=0.84 cores=1,3,5,7
/proc/5990/task/6005/stat : 6005 (java) S 5988 5990 4604 0 -1 4202560 5171 0 0 0 84 0 0 0 15 0 19 0 954823239 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6006] ppid=5988 vsize=10554064 CPUtime=0.95 cores=1,3,5,7
/proc/5990/task/6006/stat : 6006 (java) S 5988 5990 4604 0 -1 4202560 7083 0 0 0 94 1 0 0 15 0 19 0 954823239 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
[pid=5990/tid=6007] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6007/stat : 6007 (java) S 5988 5990 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954823239 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000408473 0 4 0 16800975 18446604471148265792 0 0 -1 1 0 0 0
[pid=5990/tid=6008] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6008/stat : 6008 (java) S 5988 5990 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954823239 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 3 0 0 0
[pid=5990/tid=6009] ppid=5988 vsize=10554064 CPUtime=0 cores=1,3,5,7
/proc/5990/task/6009/stat : 6009 (java) S 5988 5990 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954823288 10807361536 1029072 33554432000 1073741824 1073778376 140734552996144 18446744073709551615 216000409088 0 4 0 16800975 18446604471148265792 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10554064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1793.02 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 6124
/proc/meminfo: memFree=27964472/32950940 swapFree=67074964/67111528
[pid=5990] ppid=5988 vsize=0 CPUtime=1800.24 cores=1,3,5,7
/proc/5990/stat : 5990 (java) Z 5988 5990 4604 0 -1 4203548 1038302 0 1 0 179907 117 0 0 17 0 2 0 954823233 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5990/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1793.09
CPU time (s): 1800.32
CPU user time (s): 1799.08
CPU system time (s): 1.23981
CPU usage (%): 100.403
Max. virtual memory (cumulated for all children) (KiB): 10554064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.23981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1038302
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= 38529
involuntary context switches= 11435
runsolver used 3.02154 second user time and 6.78097 second system time
The end