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-3456754-1307640535/watcher-3456754-1307640535 -o /tmp/evaluation-result-3456754-1307640535/solver-3456754-1307640535 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456754-1307640535.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: 2.02 2.04 2.01 2/195 5477
/proc/meminfo: memFree=28879128/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5477/stat : 5477 (java) R 5475 5477 4604 0 -1 4202496 952 0 0 0 0 0 0 0 24 0 1 0 954284296 23580672 696 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 215983630225 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5477/statm: 5757 696 513 9 0 124 0
[startup+0.060804 s]
/proc/loadavg: 2.02 2.04 2.01 2/195 5477
/proc/meminfo: memFree=28879128/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10472756 CPUtime=0.05 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 11604 0 1 0 4 1 0 0 24 0 18 0 954284296 10724102144 11301 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2618189 11302 1721 9 0 2608937 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472756
[startup+0.100798 s]
/proc/loadavg: 2.02 2.04 2.01 2/195 5477
/proc/meminfo: memFree=28879128/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10604748 CPUtime=0.1 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 13083 0 1 0 9 1 0 0 24 0 18 0 954284296 10859261952 12747 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651187 12747 2092 9 0 2641921 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10604748
[startup+0.300827 s]
/proc/loadavg: 2.02 2.04 2.01 2/195 5477
/proc/meminfo: memFree=28879128/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10604888 CPUtime=0.46 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 21798 0 1 0 44 2 0 0 24 0 18 0 954284296 10859405312 20741 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651222 20744 2199 9 0 2641956 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10604888
[startup+0.700695 s]
/proc/loadavg: 2.02 2.04 2.01 2/195 5477
/proc/meminfo: memFree=28879128/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10604888 CPUtime=1.04 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 50330 0 1 0 98 6 0 0 24 0 18 0 954284296 10859405312 49143 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651222 49145 2204 9 0 2641956 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10604888
[startup+1.50056 s]
/proc/loadavg: 2.09 2.05 2.01 3/213 5495
/proc/meminfo: memFree=28584764/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10604888 CPUtime=1.84 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 115496 0 1 0 171 13 0 0 24 0 18 0 954284296 10859405312 114308 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651222 114311 2204 9 0 2641956 0
[pid=5477/tid=5479] ppid=5475 vsize=10604888 CPUtime=1.48 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 111563 0 1 0 136 12 0 0 25 0 18 0 954284297 10859405312 114313 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505659297 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114315 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114317 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114319 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114322 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114323 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114326 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114328 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284299 10859405312 114330 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 954284300 10859405312 114332 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 954284300 10859405312 114334 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 954284300 10859405312 114336 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284302 10859405312 114338 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10604888 CPUtime=0.17 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 1580 0 0 0 17 0 0 0 15 0 18 0 954284302 10859405312 114340 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10604888 CPUtime=0.17 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 1208 0 0 0 17 0 0 0 23 0 18 0 954284302 10859405312 114342 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 954284302 10859405312 114344 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10604888 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 954284302 10859405312 114346 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 10604888
[startup+3.10128 s]
/proc/loadavg: 2.09 2.05 2.01 3/214 5496
/proc/meminfo: memFree=28341936/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10605916 CPUtime=3.99 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 155251 0 1 0 381 18 0 0 24 0 19 0 954284296 10860457984 152175 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651479 152175 2225 9 0 2642213 0
[pid=5477/tid=5479] ppid=5475 vsize=10605916 CPUtime=3.08 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 148376 0 1 0 291 17 0 0 25 0 19 0 954284297 10860457984 152175 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505696547 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954284300 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284300 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.42 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 1988 0 0 0 42 0 0 0 16 0 19 0 954284302 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.47 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 3727 0 0 0 47 0 0 0 16 0 19 0 954284302 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 152176 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 10605916
[startup+6.30071 s]
/proc/loadavg: 2.09 2.05 2.01 3/214 5496
/proc/meminfo: memFree=27952672/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10605916 CPUtime=7.25 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 334739 0 1 0 689 36 0 0 24 0 19 0 954284296 10860457984 330590 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651479 330599 2226 9 0 2642213 0
[pid=5477/tid=5479] ppid=5475 vsize=10605916 CPUtime=6.28 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 327666 0 1 0 593 35 0 0 25 0 19 0 954284297 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505848890 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284299 10860457984 330604 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954284300 10860457984 330606 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954284300 10860457984 330611 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284300 10860457984 330616 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 330621 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.47 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 2198 0 0 0 47 0 0 0 15 0 19 0 954284302 10860457984 330624 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.48 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 3727 0 0 0 48 0 0 0 15 0 19 0 954284302 10860457984 330624 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 330624 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 330624 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 330624 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.25
Current children cumulated vsize (KiB) 10605916
[startup+12.7006 s]
/proc/loadavg: 2.16 2.07 2.02 3/214 5496
/proc/meminfo: memFree=26156404/32950940 swapFree=67074964/67111528
################
# More data... #
################
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.58 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 3190 0 0 0 58 0 0 0 16 0 19 0 954284302 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.86 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 8956 0 0 0 86 0 0 0 15 0 19 0 954284302 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 938387 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.51
Current children cumulated vsize (KiB) 10605916
[startup+1722.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/214 5604
/proc/meminfo: memFree=25296788/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10605916 CPUtime=1727.65 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 952028 0 1 0 172657 108 0 0 24 0 19 0 954284296 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651479 941375 2240 9 0 2642213 0
[pid=5477/tid=5479] ppid=5475 vsize=10605916 CPUtime=1720.76 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 771997 0 1 0 171995 81 0 0 25 0 19 0 954284297 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505972934 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10605916 CPUtime=0.68 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 20308 0 0 0 66 2 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10605916 CPUtime=0.49 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 8946 0 0 0 48 1 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10605916 CPUtime=0.66 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 21867 0 0 0 63 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10605916 CPUtime=0.64 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 14914 0 0 0 62 2 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10605916 CPUtime=0.62 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 19934 0 0 0 59 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10605916 CPUtime=0.73 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 27744 0 0 0 69 4 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10605916 CPUtime=0.8 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 29779 0 0 0 77 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10605916 CPUtime=0.7 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 23037 0 0 0 67 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10605916 CPUtime=0.01 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.58 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 3190 0 0 0 58 0 0 0 16 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.86 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 8956 0 0 0 86 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.65
Current children cumulated vsize (KiB) 10605916
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 5605
/proc/meminfo: memFree=25286424/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10605916 CPUtime=1787.66 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 952031 0 1 0 178658 108 0 0 24 0 19 0 954284296 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651479 941375 2240 9 0 2642213 0
[pid=5477/tid=5479] ppid=5475 vsize=10605916 CPUtime=1780.76 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 771997 0 1 0 177995 81 0 0 25 0 19 0 954284297 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505766666 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10605916 CPUtime=0.68 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 20308 0 0 0 66 2 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10605916 CPUtime=0.49 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 8946 0 0 0 48 1 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10605916 CPUtime=0.66 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 21867 0 0 0 63 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10605916 CPUtime=0.64 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 14914 0 0 0 62 2 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10605916 CPUtime=0.62 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 19934 0 0 0 59 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10605916 CPUtime=0.73 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 27744 0 0 0 69 4 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10605916 CPUtime=0.8 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 29779 0 0 0 77 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10605916 CPUtime=0.7 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 23037 0 0 0 67 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10605916 CPUtime=0.01 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.58 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 3190 0 0 0 58 0 0 0 16 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.86 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 8957 0 0 0 86 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.66
Current children cumulated vsize (KiB) 10605916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.7 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 5606
/proc/meminfo: memFree=25284544/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=10605916 CPUtime=1800.06 cores=1,3,5,7
/proc/5477/stat : 5477 (java) S 5475 5477 4604 0 -1 4202496 952033 0 1 0 179898 108 0 0 24 0 19 0 954284296 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 2651479 941375 2240 9 0 2642213 0
[pid=5477/tid=5479] ppid=5475 vsize=10605916 CPUtime=1793.16 cores=1,3,5,7
/proc/5477/task/5479/stat : 5479 (java) R 5475 5477 4604 0 -1 4202560 771997 0 1 0 179235 81 0 0 25 0 19 0 954284297 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 46912505766432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5477/tid=5480] ppid=5475 vsize=10605916 CPUtime=0.68 cores=1,3,5,7
/proc/5477/task/5480/stat : 5480 (java) S 5475 5477 4604 0 -1 4202560 20308 0 0 0 66 2 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5481] ppid=5475 vsize=10605916 CPUtime=0.49 cores=1,3,5,7
/proc/5477/task/5481/stat : 5481 (java) S 5475 5477 4604 0 -1 4202560 8946 0 0 0 48 1 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5482] ppid=5475 vsize=10605916 CPUtime=0.66 cores=1,3,5,7
/proc/5477/task/5482/stat : 5482 (java) S 5475 5477 4604 0 -1 4202560 21867 0 0 0 63 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5483] ppid=5475 vsize=10605916 CPUtime=0.64 cores=1,3,5,7
/proc/5477/task/5483/stat : 5483 (java) S 5475 5477 4604 0 -1 4202560 14914 0 0 0 62 2 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5484] ppid=5475 vsize=10605916 CPUtime=0.62 cores=1,3,5,7
/proc/5477/task/5484/stat : 5484 (java) S 5475 5477 4604 0 -1 4202560 19934 0 0 0 59 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5485] ppid=5475 vsize=10605916 CPUtime=0.73 cores=1,3,5,7
/proc/5477/task/5485/stat : 5485 (java) S 5475 5477 4604 0 -1 4202560 27744 0 0 0 69 4 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5486] ppid=5475 vsize=10605916 CPUtime=0.8 cores=1,3,5,7
/proc/5477/task/5486/stat : 5486 (java) S 5475 5477 4604 0 -1 4202560 29779 0 0 0 77 3 0 0 16 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
[pid=5477/tid=5487] ppid=5475 vsize=10605916 CPUtime=0.7 cores=1,3,5,7
/proc/5477/task/5487/stat : 5487 (java) S 5475 5477 4604 0 -1 4202560 23037 0 0 0 67 3 0 0 15 0 19 0 954284299 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5488] ppid=5475 vsize=10605916 CPUtime=0.01 cores=1,3,5,7
/proc/5477/task/5488/stat : 5488 (java) S 5475 5477 4604 0 -1 4202560 105 0 0 0 1 0 0 0 15 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 0 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5489] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5489/stat : 5489 (java) S 5475 5477 4604 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5490] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5490/stat : 5490 (java) S 5475 5477 4604 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954284300 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5491] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5491/stat : 5491 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000416177 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5492] ppid=5475 vsize=10605916 CPUtime=0.58 cores=1,3,5,7
/proc/5477/task/5492/stat : 5492 (java) S 5475 5477 4604 0 -1 4202560 3190 0 0 0 58 0 0 0 16 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 3 0 0 0
[pid=5477/tid=5493] ppid=5475 vsize=10605916 CPUtime=0.86 cores=1,3,5,7
/proc/5477/task/5493/stat : 5493 (java) S 5475 5477 4604 0 -1 4202560 8957 0 0 0 86 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5494] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5494/stat : 5494 (java) S 5475 5477 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000408473 0 4 0 16800975 18446604467616570112 0 0 -1 5 0 0 0
[pid=5477/tid=5495] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5495/stat : 5495 (java) S 5475 5477 4604 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954284302 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 1 0 0 0
[pid=5477/tid=5496] ppid=5475 vsize=10605916 CPUtime=0 cores=1,3,5,7
/proc/5477/task/5496/stat : 5496 (java) S 5475 5477 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954284484 10860457984 941375 33554432000 1073741824 1073778376 140737197845568 18446744073709551615 216000409088 0 4 0 16800975 18446604467616570112 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10605916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1794.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 5606
/proc/meminfo: memFree=25284544/32950940 swapFree=67074964/67111528
[pid=5477] ppid=5475 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/5477/stat : 5477 (java) Z 5475 5477 4604 0 -1 4203548 953273 0 1 0 179907 116 0 0 17 0 2 0 954284296 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5477/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1794.86
CPU time (s): 1800.29
CPU user time (s): 1799.08
CPU system time (s): 1.21781
CPU usage (%): 100.303
Max. virtual memory (cumulated for all children) (KiB): 10605916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.21781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 953273
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= 42736
involuntary context switches= 15857
runsolver used 2.94355 second user time and 6.86096 second system time
The end