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-3456005-1307661238/watcher-3456005-1307661238 -o /tmp/evaluation-result-3456005-1307661238/solver-3456005-1307661238 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456005-1307661238.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.00 2.00 1.83 2/192 25055
/proc/meminfo: memFree=31150652/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 1237 0 0 0 0 0 0 0 25 0 2 0 877724241 31260672 957 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 7632 957 730 9 0 383 0
[pid=25055/tid=25056] ppid=25053 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 124 0 0 0 0 0 0 0 25 0 2 0 877724241 31268864 958 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244446943291 0 0 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0346391 s]
/proc/loadavg: 2.00 2.00 1.83 2/192 25055
/proc/meminfo: memFree=31150652/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 11037 0 1 0 1 1 0 0 25 0 11 0 877724241 10716594176 10736 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2616356 10737 1621 9 0 2607104 0
[pid=25055/tid=25056] ppid=25053 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 9914 0 1 0 1 1 0 0 25 0 11 0 877724241 10716594176 10737 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 47660285050885 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.104668 s]
/proc/loadavg: 2.00 2.00 1.83 2/192 25055
/proc/meminfo: memFree=31150652/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10539340 CPUtime=0.11 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 13141 0 1 0 9 2 0 0 25 0 18 0 877724241 10792284160 12838 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2634835 12838 2107 9 0 2625569 0
[pid=25055/tid=25056] ppid=25053 vsize=10539340 CPUtime=0.08 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 11233 0 1 0 7 1 0 0 18 0 18 0 877724241 10792284160 12838 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539340
[startup+0.300593 s]
/proc/loadavg: 2.00 2.00 1.83 2/192 25055
/proc/meminfo: memFree=31150652/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10541040 CPUtime=0.53 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 17338 0 1 0 50 3 0 0 25 0 19 0 877724241 10794024960 15859 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2635260 15860 2200 9 0 2625994 0
[pid=25055/tid=25056] ppid=25053 vsize=10541040 CPUtime=0.29 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 13154 0 1 0 27 2 0 0 19 0 19 0 877724241 10794024960 15861 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505582776 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10541040
[startup+0.700515 s]
/proc/loadavg: 2.00 2.00 1.83 2/192 25055
/proc/meminfo: memFree=31150652/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10550064 CPUtime=1.65 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 44701 0 1 0 158 7 0 0 25 0 19 0 877724241 10803265536 36502 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2637516 36506 2222 9 0 2628250 0
[pid=25055/tid=25056] ppid=25053 vsize=10550064 CPUtime=0.68 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 28950 0 1 0 64 4 0 0 18 0 19 0 877724241 10803265536 36508 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505582652 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.65
Current children cumulated vsize (KiB) 10550064
[startup+1.50137 s]
/proc/loadavg: 2.16 2.03 1.84 5/211 25074
/proc/meminfo: memFree=30475840/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10550064 CPUtime=2.79 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 127172 0 1 0 261 18 0 0 25 0 19 0 877724241 10803265536 118970 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2637516 118974 2225 9 0 2628250 0
[pid=25055/tid=25056] ppid=25053 vsize=10550064 CPUtime=1.48 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 111377 0 1 0 133 15 0 0 18 0 19 0 877724241 10803265536 118977 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505582776 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118980 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118982 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118985 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118988 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118991 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118994 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118996 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 118998 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877724244 10803265536 119001 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 119003 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 119005 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10803265536 119008 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10550064 CPUtime=0.67 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8349 0 0 0 66 1 0 0 15 0 19 0 877724246 10803265536 119010 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10550064 CPUtime=0.62 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 6293 0 0 0 61 1 0 0 16 0 19 0 877724246 10803265536 119012 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10803265536 119015 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877724246 10803265536 119019 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10803265536 119022 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10550064
[startup+3.10107 s]
/proc/loadavg: 2.16 2.03 1.84 3/211 25074
/proc/meminfo: memFree=29586204/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10550064 CPUtime=4.42 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 287983 0 1 0 406 36 0 0 25 0 19 0 877724241 10803265536 279780 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2637516 279783 2225 9 0 2628250 0
[pid=25055/tid=25056] ppid=25053 vsize=10550064 CPUtime=3.08 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 272184 0 1 0 275 33 0 0 21 0 19 0 877724241 10803265536 279785 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505550043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279787 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279789 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279791 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279793 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279795 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279797 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279800 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 279802 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877724244 10803265536 279804 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 279806 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 279809 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10803265536 279811 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10550064 CPUtime=0.7 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) R 25053 25055 22401 0 -1 4202560 8351 0 0 0 69 1 0 0 16 0 19 0 877724246 10803265536 279813 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458764000 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10550064 CPUtime=0.62 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 6293 0 0 0 61 1 0 0 15 0 19 0 877724246 10803265536 279815 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10803265536 279817 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877724246 10803265536 279820 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10803265536 279822 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 10550064
[startup+6.30147 s]
/proc/loadavg: 2.15 2.03 1.84 3/211 25074
/proc/meminfo: memFree=27300016/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10550064 CPUtime=7.69 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 594461 0 1 0 698 71 0 0 25 0 19 0 877724241 10803265536 585803 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2637516 585807 2226 9 0 2628250 0
[pid=25055/tid=25056] ppid=25053 vsize=10550064 CPUtime=6.28 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 578216 0 1 0 561 67 0 0 19 0 19 0 877724241 10803265536 585809 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505550062 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585810 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585812 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585814 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585816 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585817 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585819 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585821 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724243 10803265536 585823 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 877724244 10803265536 585825 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 585828 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877724244 10803265536 585831 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10550064 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10803265536 585834 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10550064 CPUtime=0.77 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8797 0 0 0 76 1 0 0 15 0 19 0 877724246 10803265536 585837 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10550064 CPUtime=0.62 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 6293 0 0 0 61 1 0 0 15 0 19 0 877724246 10803265536 585840 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
################
# More data... #
################
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10553144 CPUtime=0.82 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8807 0 0 0 80 2 0 0 15 0 19 0 877724246 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10553144 CPUtime=1.18 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 10009 0 0 0 117 1 0 0 15 0 19 0 877724246 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 877724246 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10806419456 959646 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1669.93
Current children cumulated vsize (KiB) 10553144
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 25120
/proc/meminfo: memFree=24298536/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10553144 CPUtime=1730.21 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 978174 0 1 0 172906 115 0 0 25 0 19 0 877724241 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2638286 964484 2256 9 0 2629020 0
[pid=25055/tid=25056] ppid=25053 vsize=10553144 CPUtime=1718.29 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 834261 0 1 0 171734 95 0 0 25 0 19 0 877724241 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505816692 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10553144 CPUtime=1.08 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 13865 0 0 0 107 1 0 0 15 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10553144 CPUtime=0.98 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 15739 0 0 0 97 1 0 0 15 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10553144 CPUtime=0.91 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 11595 0 0 0 90 1 0 0 16 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10553144 CPUtime=1.09 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 16700 0 0 0 107 2 0 0 16 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10553144 CPUtime=0.91 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 12608 0 0 0 90 1 0 0 15 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10553144 CPUtime=0.99 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 15454 0 0 0 98 1 0 0 16 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10553144 CPUtime=1.01 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 13707 0 0 0 100 1 0 0 16 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10553144 CPUtime=0.97 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 14220 0 0 0 96 1 0 0 15 0 19 0 877724243 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10553144 CPUtime=1.86 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 9958 0 0 0 184 2 0 0 15 0 19 0 877724244 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10553144 CPUtime=0.82 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8807 0 0 0 80 2 0 0 15 0 19 0 877724246 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10553144 CPUtime=1.18 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 10009 0 0 0 117 1 0 0 15 0 19 0 877724246 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 877724246 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10806419456 964484 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1730.21
Current children cumulated vsize (KiB) 10553144
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 25121
/proc/meminfo: memFree=24279256/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10553144 CPUtime=1790.47 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 980701 0 1 0 178931 116 0 0 25 0 19 0 877724241 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2638286 966936 2256 9 0 2629020 0
[pid=25055/tid=25056] ppid=25053 vsize=10553144 CPUtime=1777.33 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 834267 0 1 0 177638 95 0 0 25 0 19 0 877724241 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912505539902 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10553144 CPUtime=1.1 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 14232 0 0 0 109 1 0 0 15 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10553144 CPUtime=1.06 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 16415 0 0 0 105 1 0 0 16 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10553144 CPUtime=0.97 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 11609 0 0 0 96 1 0 0 16 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10553144 CPUtime=1.12 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 16710 0 0 0 110 2 0 0 16 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10553144 CPUtime=0.93 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 13150 0 0 0 92 1 0 0 15 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10553144 CPUtime=1.02 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 15603 0 0 0 101 1 0 0 15 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10553144 CPUtime=1.06 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 14138 0 0 0 105 1 0 0 15 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10553144 CPUtime=1.01 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 14471 0 0 0 100 1 0 0 16 0 19 0 877724243 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10553144 CPUtime=2.73 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 10037 0 0 0 271 2 0 0 15 0 19 0 877724244 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10553144 CPUtime=0.82 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8807 0 0 0 80 2 0 0 15 0 19 0 877724246 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10553144 CPUtime=1.18 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 10009 0 0 0 117 1 0 0 15 0 19 0 877724246 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 877724246 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10806419456 966936 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (KiB) 10553144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.8 s]
/proc/loadavg: 1.92 1.98 1.92 2/187 25148
/proc/meminfo: memFree=28079752/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=10553144 CPUtime=1800.05 cores=1,3,5,7
/proc/25055/stat : 25055 (java) S 25053 25055 22401 0 -1 4202496 980709 0 1 0 179889 116 0 0 25 0 19 0 877724241 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 2638286 966941 2256 9 0 2629020 0
[pid=25055/tid=25056] ppid=25053 vsize=10553144 CPUtime=1786.82 cores=1,3,5,7
/proc/25055/task/25056/stat : 25056 (java) R 25053 25055 22401 0 -1 4202560 834268 0 1 0 178587 95 0 0 25 0 19 0 877724241 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 46912506059228 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25055/tid=25058] ppid=25053 vsize=10553144 CPUtime=1.13 cores=1,3,5,7
/proc/25055/task/25058/stat : 25058 (java) S 25053 25055 22401 0 -1 4202560 14234 0 0 0 112 1 0 0 16 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25059] ppid=25053 vsize=10553144 CPUtime=1.07 cores=1,3,5,7
/proc/25055/task/25059/stat : 25059 (java) S 25053 25055 22401 0 -1 4202560 16416 0 0 0 106 1 0 0 16 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25060] ppid=25053 vsize=10553144 CPUtime=0.97 cores=1,3,5,7
/proc/25055/task/25060/stat : 25060 (java) S 25053 25055 22401 0 -1 4202560 11609 0 0 0 96 1 0 0 15 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25061] ppid=25053 vsize=10553144 CPUtime=1.15 cores=1,3,5,7
/proc/25055/task/25061/stat : 25061 (java) S 25053 25055 22401 0 -1 4202560 16712 0 0 0 113 2 0 0 16 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25062] ppid=25053 vsize=10553144 CPUtime=0.93 cores=1,3,5,7
/proc/25055/task/25062/stat : 25062 (java) S 25053 25055 22401 0 -1 4202560 13150 0 0 0 92 1 0 0 15 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25063] ppid=25053 vsize=10553144 CPUtime=1.04 cores=1,3,5,7
/proc/25055/task/25063/stat : 25063 (java) S 25053 25055 22401 0 -1 4202560 15603 0 0 0 103 1 0 0 16 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25064] ppid=25053 vsize=10553144 CPUtime=1.06 cores=1,3,5,7
/proc/25055/task/25064/stat : 25064 (java) S 25053 25055 22401 0 -1 4202560 14138 0 0 0 105 1 0 0 15 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25065] ppid=25053 vsize=10553144 CPUtime=1.01 cores=1,3,5,7
/proc/25055/task/25065/stat : 25065 (java) S 25053 25055 22401 0 -1 4202560 14471 0 0 0 100 1 0 0 15 0 19 0 877724243 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25066] ppid=25053 vsize=10553144 CPUtime=2.73 cores=1,3,5,7
/proc/25055/task/25066/stat : 25066 (java) S 25053 25055 22401 0 -1 4202560 10037 0 0 0 271 2 0 0 15 0 19 0 877724244 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 0 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25067] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25067/stat : 25067 (java) S 25053 25055 22401 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) S 25053 25055 22401 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 877724244 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25069] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25069/stat : 25069 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458768817 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25070] ppid=25053 vsize=10553144 CPUtime=0.82 cores=1,3,5,7
/proc/25055/task/25070/stat : 25070 (java) S 25053 25055 22401 0 -1 4202560 8807 0 0 0 80 2 0 0 15 0 19 0 877724246 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 1 0 0 0
[pid=25055/tid=25071] ppid=25053 vsize=10553144 CPUtime=1.18 cores=1,3,5,7
/proc/25055/task/25071/stat : 25071 (java) S 25053 25055 22401 0 -1 4202560 10009 0 0 0 117 1 0 0 15 0 19 0 877724246 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 5 0 0 0
[pid=25055/tid=25072] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25072/stat : 25072 (java) S 25053 25055 22401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877724246 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761113 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
[pid=25055/tid=25073] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25073/stat : 25073 (java) S 25053 25055 22401 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 877724246 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 3 0 0 0
[pid=25055/tid=25074] ppid=25053 vsize=10553144 CPUtime=0 cores=1,3,5,7
/proc/25055/task/25074/stat : 25074 (java) S 25053 25055 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877724259 10806419456 966941 33554432000 1073741824 1073778376 140733500829008 18446744073709551615 244458761728 0 4 0 16800975 18446604471078585408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 10553144
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1791.92 s]
/proc/loadavg: 1.92 1.98 1.92 2/187 25148
/proc/meminfo: memFree=28079752/32951124 swapFree=67064368/67111528
[pid=25055] ppid=25053 vsize=0 CPUtime=1800.2 cores=1,3,5,7
/proc/25055/stat : 25055 (java) Z 25053 25055 22401 0 -1 4203548 980751 0 1 0 179897 123 0 0 17 0 2 0 877724241 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/25055/statm: 0 0 0 0 0 0 0
[pid=25055/tid=25068] ppid=25053 vsize=0 CPUtime=0.06 cores=1,3,5,7
/proc/25055/task/25068/stat : 25068 (java) R 25053 25055 22401 0 -1 4203588 9 0 0 0 0 6 0 0 18 0 2 0 877724244 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1791.99
CPU time (s): 1800.27
CPU user time (s): 1798.97
CPU system time (s): 1.2988
CPU usage (%): 100.462
Max. virtual memory (cumulated for all children) (KiB): 10563748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.2988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 980751
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= 40717
involuntary context switches= 10434
runsolver used 2.86956 second user time and 6.93095 second system time
The end