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-3456549-1307636956/watcher-3456549-1307636956 -o /tmp/evaluation-result-3456549-1307636956/solver-3456549-1307636956 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456549-1307636956.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.01 2.01 1.93 2/195 5133
/proc/meminfo: memFree=28724736/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5133/stat : 5133 (java) R 5131 5133 4604 0 -1 4202496 949 0 0 0 0 0 0 0 25 0 1 0 953926377 23580672 693 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 215983630225 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/5133/statm: 5757 694 511 9 0 124 0
[startup+0.069914 s]
/proc/loadavg: 2.01 2.01 1.93 2/195 5133
/proc/meminfo: memFree=28724736/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10473024 CPUtime=0.05 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 11783 0 1 0 4 1 0 0 25 0 18 0 953926377 10724376576 11480 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2618256 11481 1742 9 0 2608990 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473024
[startup+0.100909 s]
/proc/loadavg: 2.01 2.01 1.93 2/195 5133
/proc/meminfo: memFree=28724736/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10540608 CPUtime=0.11 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 13098 0 1 0 9 2 0 0 25 0 18 0 953926377 10793582592 12766 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2635152 12767 2093 9 0 2625886 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540608
[startup+0.300877 s]
/proc/loadavg: 2.01 2.01 1.93 2/195 5133
/proc/meminfo: memFree=28724736/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10542656 CPUtime=0.48 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 15829 0 1 0 46 2 0 0 25 0 18 0 953926377 10795679744 15383 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2635664 15384 2201 9 0 2626398 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542656
[startup+0.700806 s]
/proc/loadavg: 2.01 2.01 1.93 2/195 5133
/proc/meminfo: memFree=28724736/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10545732 CPUtime=1.17 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 45539 0 1 0 111 6 0 0 25 0 19 0 953926377 10798829568 42411 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2636433 42411 2226 9 0 2627167 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10545732
[startup+1.50067 s]
/proc/loadavg: 2.01 2.01 1.93 5/214 5152
/proc/meminfo: memFree=28539912/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=2.7 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 75402 0 1 0 259 11 0 0 25 0 19 0 953926377 10811412480 69861 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 69863 2232 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=1.48 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 60063 0 1 0 139 9 0 0 25 0 19 0 953926378 10811412480 69864 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505835715 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69865 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69866 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69867 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69867 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69868 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69869 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69870 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 69871 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 69872 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 69873 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 69874 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 69875 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.6 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4542 0 0 0 60 0 0 0 22 0 19 0 953926383 10811412480 69876 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.6 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9641 0 0 0 59 1 0 0 25 0 19 0 953926383 10811412480 69878 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 69879 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 69879 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 69880 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 10558020
[startup+3.10139 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 5152
/proc/meminfo: memFree=28342132/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=4.48 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 148776 0 1 0 427 21 0 0 25 0 19 0 953926377 10811412480 143234 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 143235 2235 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=3.08 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 133408 0 1 0 290 18 0 0 25 0 19 0 953926378 10811412480 143236 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505884116 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143237 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143238 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143238 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143238 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143238 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143238 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143239 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 143240 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 143241 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 143242 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 143243 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 143243 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.64 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4551 0 0 0 64 0 0 0 15 0 19 0 953926383 10811412480 143243 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.73 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9660 0 0 0 72 1 0 0 15 0 19 0 953926383 10811412480 143244 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 143244 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 143245 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 7 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 143246 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10558020
[startup+6.30083 s]
/proc/loadavg: 2.01 2.01 1.93 3/214 5153
/proc/meminfo: memFree=27732532/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=7.69 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 292909 0 1 0 734 35 0 0 25 0 19 0 953926377 10811412480 287334 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 287335 2236 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=6.28 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 277537 0 1 0 595 33 0 0 25 0 19 0 953926378 10811412480 287336 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505716785 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287336 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287337 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287337 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287338 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287338 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287339 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287339 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926380 10811412480 287340 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953926381 10811412480 287341 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 287341 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926381 10811412480 287342 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 287342 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.66 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4553 0 0 0 66 0 0 0 15 0 19 0 953926383 10811412480 287343 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.73 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9661 0 0 0 72 1 0 0 16 0 19 0 953926383 10811412480 287343 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 287344 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 287345 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 7 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 287345 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 10558020
[startup+12.7007 s]
################
# More data... #
################
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.94 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4656 0 0 0 94 0 0 0 15 0 19 0 953926383 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.83 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9681 0 0 0 82 1 0 0 15 0 19 0 953926383 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 1155495 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1674.51
Current children cumulated vsize (KiB) 10558020
[startup+1722.3 s]
/proc/loadavg: 2.03 2.11 2.01 3/214 5260
/proc/meminfo: memFree=24205748/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=1734.72 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 1168253 0 1 0 173335 137 0 0 25 0 19 0 953926377 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 1156584 2264 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=1716.18 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 658554 0 1 0 171544 74 0 0 25 0 19 0 953926378 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505841191 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=2.11 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 86371 0 0 0 202 9 0 0 15 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=2.06 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 77382 0 0 0 198 8 0 0 16 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=1.4 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 29891 0 0 0 136 4 0 0 16 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=1.53 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 60668 0 0 0 146 7 0 0 15 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=1.98 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 67270 0 0 0 190 8 0 0 16 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=1.73 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 68787 0 0 0 164 9 0 0 15 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=1.75 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 54712 0 0 0 169 6 0 0 16 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=1.56 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 34180 0 0 0 153 3 0 0 16 0 19 0 953926380 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=2.51 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 14847 0 0 0 250 1 0 0 15 0 19 0 953926381 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.96 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4660 0 0 0 96 0 0 0 15 0 19 0 953926383 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.83 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9681 0 0 0 82 1 0 0 15 0 19 0 953926383 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 1156584 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1734.72
Current children cumulated vsize (KiB) 10558020
[startup+1782.3 s]
/proc/loadavg: 2.01 2.08 2.01 3/214 5262
/proc/meminfo: memFree=24037288/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=1795.09 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 1173203 0 1 0 179372 137 0 0 25 0 19 0 953926377 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 1161450 2264 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=1776.05 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 658556 0 1 0 177531 74 0 0 25 0 19 0 953926378 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505840215 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=2.11 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 86371 0 0 0 202 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=2.13 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 77929 0 0 0 204 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=1.52 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 31210 0 0 0 148 4 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 7 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=1.59 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 61188 0 0 0 152 7 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=2.05 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 68088 0 0 0 197 8 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=1.79 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 69370 0 0 0 170 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=1.81 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 55261 0 0 0 175 6 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=1.62 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 34786 0 0 0 159 3 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=2.51 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 14851 0 0 0 250 1 0 0 15 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.96 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4660 0 0 0 96 0 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.83 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9681 0 0 0 82 1 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) S 5131 5133 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1795.09
Current children cumulated vsize (KiB) 10558020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.3 s]
/proc/loadavg: 2.01 2.08 2.01 3/214 5262
/proc/meminfo: memFree=24037040/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=10558020 CPUtime=1800.09 cores=1,3,5,7
/proc/5133/stat : 5133 (java) S 5131 5133 4604 0 -1 4202496 1173203 0 1 0 179872 137 0 0 25 0 19 0 953926377 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 2639505 1161450 2264 9 0 2630239 0
[pid=5133/tid=5135] ppid=5131 vsize=10558020 CPUtime=1781.05 cores=1,3,5,7
/proc/5133/task/5135/stat : 5135 (java) R 5131 5133 4604 0 -1 4202560 658556 0 1 0 178031 74 0 0 25 0 19 0 953926378 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 46912505839784 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5133/tid=5136] ppid=5131 vsize=10558020 CPUtime=2.11 cores=1,3,5,7
/proc/5133/task/5136/stat : 5136 (java) S 5131 5133 4604 0 -1 4202560 86371 0 0 0 202 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5137] ppid=5131 vsize=10558020 CPUtime=2.13 cores=1,3,5,7
/proc/5133/task/5137/stat : 5137 (java) S 5131 5133 4604 0 -1 4202560 77929 0 0 0 204 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5138] ppid=5131 vsize=10558020 CPUtime=1.52 cores=1,3,5,7
/proc/5133/task/5138/stat : 5138 (java) S 5131 5133 4604 0 -1 4202560 31210 0 0 0 148 4 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 7 0 0 0
[pid=5133/tid=5139] ppid=5131 vsize=10558020 CPUtime=1.59 cores=1,3,5,7
/proc/5133/task/5139/stat : 5139 (java) S 5131 5133 4604 0 -1 4202560 61188 0 0 0 152 7 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5140] ppid=5131 vsize=10558020 CPUtime=2.05 cores=1,3,5,7
/proc/5133/task/5140/stat : 5140 (java) S 5131 5133 4604 0 -1 4202560 68088 0 0 0 197 8 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5141] ppid=5131 vsize=10558020 CPUtime=1.79 cores=1,3,5,7
/proc/5133/task/5141/stat : 5141 (java) S 5131 5133 4604 0 -1 4202560 69370 0 0 0 170 9 0 0 15 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5142] ppid=5131 vsize=10558020 CPUtime=1.81 cores=1,3,5,7
/proc/5133/task/5142/stat : 5142 (java) S 5131 5133 4604 0 -1 4202560 55261 0 0 0 175 6 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5143] ppid=5131 vsize=10558020 CPUtime=1.62 cores=1,3,5,7
/proc/5133/task/5143/stat : 5143 (java) S 5131 5133 4604 0 -1 4202560 34786 0 0 0 159 3 0 0 16 0 19 0 953926380 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5144] ppid=5131 vsize=10558020 CPUtime=2.51 cores=1,3,5,7
/proc/5133/task/5144/stat : 5144 (java) S 5131 5133 4604 0 -1 4202560 14851 0 0 0 250 1 0 0 15 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 0 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5145] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5145/stat : 5145 (java) S 5131 5133 4604 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5146] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5146/stat : 5146 (java) S 5131 5133 4604 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953926381 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5147] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5147/stat : 5147 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000416177 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5148] ppid=5131 vsize=10558020 CPUtime=0.96 cores=1,3,5,7
/proc/5133/task/5148/stat : 5148 (java) S 5131 5133 4604 0 -1 4202560 4660 0 0 0 96 0 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 1 0 0 0
[pid=5133/tid=5149] ppid=5131 vsize=10558020 CPUtime=0.83 cores=1,3,5,7
/proc/5133/task/5149/stat : 5149 (java) S 5131 5133 4604 0 -1 4202560 9681 0 0 0 82 1 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
[pid=5133/tid=5150] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5150/stat : 5150 (java) S 5131 5133 4604 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000408473 0 4 0 16800975 18446604467340516160 0 0 -1 5 0 0 0
[pid=5133/tid=5151] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5151/stat : 5151 (java) R 5131 5133 4604 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953926383 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216004576283 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5133/tid=5152] ppid=5131 vsize=10558020 CPUtime=0 cores=1,3,5,7
/proc/5133/task/5152/stat : 5152 (java) S 5131 5133 4604 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953926435 10811412480 1161450 33554432000 1073741824 1073778376 140736721031504 18446744073709551615 216000409088 0 4 0 16800975 18446604467340516160 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10558020
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.41 s]
/proc/loadavg: 2.01 2.08 2.01 3/198 5265
/proc/meminfo: memFree=26121372/32950940 swapFree=67074964/67111528
[pid=5133] ppid=5131 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/5133/stat : 5133 (java) Z 5131 5133 4604 0 -1 4203548 1173237 0 1 0 179877 145 0 0 17 0 2 0 953926377 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5133/statm: 0 0 0 0 0 0 0
[pid=5133/tid=5264] ppid=5131 vsize=0 CPUtime=0.07 cores=1,3,5,7
/proc/5133/task/5264/stat : 5264 (java) R 5131 5133 4604 0 -1 4203588 11 0 0 0 0 7 0 0 18 0 2 0 954105109 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.5
CPU time (s): 1800.31
CPU user time (s): 1798.78
CPU system time (s): 1.53577
CPU usage (%): 100.717
Max. virtual memory (cumulated for all children) (KiB): 10558020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.53577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1173237
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= 38233
involuntary context switches= 10462
runsolver used 2.82157 second user time and 6.95294 second system time
The end