runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3710950-1338175560/watcher-3710950-1338175560 -o /tmp/evaluation-result-3710950-1338175560/solver-3710950-1338175560 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710950-1338175560.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 25051
/proc/meminfo: memFree=30807880/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/25051/stat : 25051 (java) D 25049 25051 21838 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 283681876 9515008 183 33554432000 1073741824 1073778376 140736039031616 140736039022648 242167398069 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/25051/statm: 2323 183 140 9 0 71 0
[startup+0.0362219 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 25051
/proc/meminfo: memFree=30807880/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 2918 0 1 0 1 0 0 0 20 0 11 0 283681876 9310650368 3617 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2273108 3617 1644 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100233 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 25051
/proc/meminfo: memFree=30807880/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9558440 CPUtime=0.1 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 4254 0 1 0 8 2 0 0 20 0 18 0 283681876 9787842560 5461 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2389610 5461 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440
[startup+0.300229 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 25051
/proc/meminfo: memFree=30807880/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9558440 CPUtime=0.45 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 5379 0 1 0 43 2 0 0 20 0 18 0 283681876 9787842560 8373 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2389610 8373 2224 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558440
[startup+0.700251 s]
/proc/loadavg: 1.92 1.99 1.99 3/194 25051
/proc/meminfo: memFree=30807880/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=1.18 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 7729 0 1 0 113 5 0 0 20 0 19 0 283681876 9856004096 41171 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 41171 2261 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9625004
[startup+1.50072 s]
/proc/loadavg: 1.92 1.99 1.99 5/213 25070
/proc/meminfo: memFree=30643088/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=2.7 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 12707 0 1 0 264 6 0 0 20 0 19 0 283681876 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 43319 2275 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=1.44 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) R 25049 25051 21838 0 -1 4202560 2584 0 1 0 140 4 0 0 20 0 19 0 283681877 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139747042439336 139746911937863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.61 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4687 0 0 0 61 0 0 0 20 0 19 0 283681883 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.53 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4156 0 0 0 53 0 0 0 20 0 19 0 283681883 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 43319 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 9625004
[startup+3.10065 s]
/proc/loadavg: 1.92 1.99 1.99 3/213 25070
/proc/meminfo: memFree=30623416/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=4.5 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 13044 0 1 0 443 7 0 0 20 0 19 0 283681876 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 48481 2289 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=2.96 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) R 25049 25051 21838 0 -1 4202560 2586 0 1 0 292 4 0 0 20 0 19 0 283681877 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139747042439656 139746912091891 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.05 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 97 0 0 0 5 0 0 0 20 0 19 0 283681880 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4690 0 0 0 71 0 0 0 20 0 19 0 283681883 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48481 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.5
Current children cumulated vsize (KiB) 9625004
[startup+6.30065 s]
/proc/loadavg: 1.93 1.99 1.99 3/213 25070
/proc/meminfo: memFree=30618956/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=7.8 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 13061 0 1 0 773 7 0 0 20 0 19 0 283681876 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 48972 2289 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=5.94 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) S 25049 25051 21838 0 -1 4202560 2593 0 1 0 590 4 0 0 20 0 19 0 283681877 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139747042439592 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 283681878 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) R 25049 25051 21838 0 -1 4202560 98 0 0 0 25 0 0 0 20 0 19 0 283681880 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746866152944 139747050206656 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.76 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4691 0 0 0 76 0 0 0 20 0 19 0 283681883 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48972 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 9625004
[startup+12.7007 s]
################
# More data... #
################
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 98 0 0 0 60 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4697 0 0 0 78 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 14.31
Current children cumulated vsize (KiB) 9625004
Solver just ended. Dumping a history of the last processes samples
[startup+14.307 s]
/proc/loadavg: 1.87 1.98 1.99 3/213 25070
/proc/meminfo: memFree=30618500/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=15.91 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 13103 0 1 0 1583 8 0 0 20 0 19 0 283681876 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 48998 2290 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=13.49 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) R 25049 25051 21838 0 -1 4202560 2608 0 1 0 1345 4 0 0 20 0 19 0 283681877 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747042431424 139746912090129 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 6 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.65 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 98 0 0 0 65 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.78 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4697 0 0 0 78 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 15.91
Current children cumulated vsize (KiB) 9625004
[startup+15.1006 s]
/proc/loadavg: 1.87 1.98 1.99 3/213 25070
/proc/meminfo: memFree=30618500/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=16.72 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 13105 0 1 0 1664 8 0 0 20 0 19 0 283681876 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 48998 2290 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=14.22 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) R 25049 25051 21838 0 -1 4202560 2610 0 1 0 1418 4 0 0 20 0 19 0 283681877 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747042431424 139746911698533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.71 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 98 0 0 0 71 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4697 0 0 0 79 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 16.72
Current children cumulated vsize (KiB) 9625004
[startup+15.3007 s]
/proc/loadavg: 1.87 1.98 1.99 3/213 25070
/proc/meminfo: memFree=30618500/32873648 swapFree=7112/7112
[pid=25051] ppid=25049 vsize=9625004 CPUtime=16.93 cores=0,2,4,6
/proc/25051/stat : 25051 (java) S 25049 25051 21838 0 -1 4202496 13106 0 1 0 1685 8 0 0 20 0 19 0 283681876 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 140733905505600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/25051/statm: 2406251 48998 2290 9 0 2396937 0
[pid=25051/tid=25053] ppid=25049 vsize=9625004 CPUtime=14.4 cores=0,2,4,6
/proc/25051/task/25053/stat : 25053 (java) R 25049 25051 21838 0 -1 4202560 2611 0 1 0 1436 4 0 0 20 0 19 0 283681877 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747042439472 139746911887260 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25054] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25054/stat : 25054 (java) S 25049 25051 21838 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747031501480 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25055] ppid=25049 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/25051/task/25055/stat : 25055 (java) S 25049 25051 21838 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139747030448936 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25056] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25056/stat : 25056 (java) S 25049 25051 21838 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746883615656 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25057] ppid=25049 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/25051/task/25057/stat : 25057 (java) S 25049 25051 21838 0 -1 4202560 15 0 0 0 4 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746882563112 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25058] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25058/stat : 25058 (java) S 25049 25051 21838 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746881509544 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25059] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25059/stat : 25059 (java) S 25049 25051 21838 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746880457000 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25060] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25060/stat : 25060 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746879404456 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25061] ppid=25049 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/25051/task/25061/stat : 25061 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 283681878 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746878351912 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25062] ppid=25049 vsize=9625004 CPUtime=0.73 cores=0,2,4,6
/proc/25051/task/25062/stat : 25062 (java) S 25049 25051 21838 0 -1 4202560 98 0 0 0 73 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746866154088 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25063] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25063/stat : 25063 (java) S 25049 25051 21838 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746865100408 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25064] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25064/stat : 25064 (java) S 25049 25051 21838 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 283681880 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746864047752 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25065] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25065/stat : 25065 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746862996496 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25051/tid=25066] ppid=25049 vsize=9625004 CPUtime=0.79 cores=0,2,4,6
/proc/25051/task/25066/stat : 25066 (java) S 25049 25051 21838 0 -1 4202560 4697 0 0 0 79 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746861942840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25051/tid=25067] ppid=25049 vsize=9625004 CPUtime=0.6 cores=0,2,4,6
/proc/25051/task/25067/stat : 25067 (java) S 25049 25051 21838 0 -1 4202560 4432 0 0 0 60 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746860890296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25068] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25068/stat : 25068 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746859837944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25051/tid=25069] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25069/stat : 25069 (java) S 25049 25051 21838 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 283681883 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746858785608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25051/tid=25070] ppid=25049 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/25051/task/25070/stat : 25070 (java) S 25049 25051 21838 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 283681943 9856004096 48998 33554432000 1073741824 1073778376 140733905514464 139746857731368 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 16.93
Current children cumulated vsize (KiB) 9625004
Child status: 30
Real time (s): 15.38
CPU time (s): 17.0424
CPU user time (s): 16.8794
CPU system time (s): 0.162975
CPU usage (%): 110.809
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.8794
system time used= 0.162975
maximum resident set size= 196048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13123
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1480
involuntary context switches= 1340
runsolver used 0.038994 second user time and 0.081987 second system time
The end