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-3729451-1338727856/watcher-3729451-1338727856 -o /tmp/evaluation-result-3729451-1338727856/solver-3729451-1338727856 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3729451-1338727856.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: 4.21 3.96 3.36 4/198 11082
/proc/meminfo: memFree=31040988/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=9224 CPUtime=0 cores=1,3,5,7
/proc/11082/stat : 11082 (java) R 11080 11082 3958 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 338911594 9445376 94 33554432000 1073741824 1073778376 140734899131520 140734899128648 217401356167 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 2306 97 76 9 0 38 0
[startup+0.089903 s]
/proc/loadavg: 4.21 3.96 3.36 4/198 11082
/proc/meminfo: memFree=31040988/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2699928 CPUtime=0.09 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 4774 0 1 0 8 1 0 0 20 0 18 0 338911594 2764726272 5969 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 674982 5969 2109 9 0 665676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2699928
[startup+0.100208 s]
/proc/loadavg: 4.21 3.96 3.36 4/198 11082
/proc/meminfo: memFree=31040988/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 4883 0 1 0 10 1 0 0 20 0 18 0 338911594 2764726272 6066 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 674982 6066 2139 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300185 s]
/proc/loadavg: 4.21 3.96 3.36 4/198 11082
/proc/meminfo: memFree=31040988/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2966184 CPUtime=0.72 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 8102 0 1 0 70 2 0 0 20 0 22 0 338911594 3037372416 10651 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 741546 10651 2229 9 0 732240 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 2966184
[startup+0.700187 s]
/proc/loadavg: 4.21 3.96 3.36 4/198 11082
/proc/meminfo: memFree=31040988/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2966184 CPUtime=2.31 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 15757 0 1 0 227 4 0 0 20 0 22 0 338911594 3037372416 31203 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 741546 31203 2239 9 0 732240 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 2966184
[startup+1.50058 s]
/proc/loadavg: 4.21 3.96 3.36 4/220 11104
/proc/meminfo: memFree=30884544/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 19207 0 1 0 382 8 0 0 20 0 20 0 338911594 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 741546 41616 2274 9 0 732240 0
[pid=11082/tid=11084] ppid=11080 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11082/task/11084/stat : 11084 (java) S 11080 11082 3958 0 -1 4202560 2856 0 1 0 13 0 0 0 20 0 20 0 338911595 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770447996056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11085] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11085/stat : 11085 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770383788840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11086] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11086/stat : 11086 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770313558696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11087] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11087/stat : 11087 (java) S 11080 11082 3958 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770312506408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11088] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11088/stat : 11088 (java) S 11080 11082 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770311453608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11089] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11089/stat : 11089 (java) S 11080 11082 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770310400296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11090] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11090/stat : 11090 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770309347496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11091] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11091/stat : 11091 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770308295208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11092] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11092/stat : 11092 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770307242408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11093] ppid=11080 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/11082/task/11093/stat : 11093 (java) S 11080 11082 3958 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770295044840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11094] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11094/stat : 11094 (java) S 11080 11082 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770293990904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11095] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11095/stat : 11095 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770292938504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11096] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11096/stat : 11096 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770291886992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11097] ppid=11080 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/11082/task/11097/stat : 11097 (java) S 11080 11082 3958 0 -1 4202560 8307 0 0 0 84 2 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770290833592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11098] ppid=11080 vsize=2966184 CPUtime=0.82 cores=1,3,5,7
/proc/11082/task/11098/stat : 11098 (java) S 11080 11082 3958 0 -1 4202560 6635 0 0 0 81 1 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770289780792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11099] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11099/stat : 11099 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770288728696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11100] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11100/stat : 11100 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770287676104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11103] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11103/stat : 11103 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770284517032 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11104] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11104/stat : 11104 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770283464232 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 2966184
Solver just ended. Dumping a history of the last processes samples
[startup+1.9006 s]
/proc/loadavg: 4.21 3.96 3.36 4/220 11104
/proc/meminfo: memFree=30884544/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 19207 0 1 0 382 8 0 0 20 0 20 0 338911594 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 741546 41616 2274 9 0 732240 0
[pid=11082/tid=11084] ppid=11080 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11082/task/11084/stat : 11084 (java) S 11080 11082 3958 0 -1 4202560 2856 0 1 0 13 0 0 0 20 0 20 0 338911595 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770447996056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11085] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11085/stat : 11085 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770383788840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11086] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11086/stat : 11086 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770313558696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11087] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11087/stat : 11087 (java) S 11080 11082 3958 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770312506408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11088] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11088/stat : 11088 (java) S 11080 11082 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770311453608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11089] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11089/stat : 11089 (java) S 11080 11082 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770310400296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11090] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11090/stat : 11090 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770309347496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11091] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11091/stat : 11091 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770308295208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11092] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11092/stat : 11092 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770307242408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11093] ppid=11080 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/11082/task/11093/stat : 11093 (java) S 11080 11082 3958 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770295044840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11094] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11094/stat : 11094 (java) S 11080 11082 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770293990904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11095] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11095/stat : 11095 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770292938504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11096] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11096/stat : 11096 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770291886992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11097] ppid=11080 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/11082/task/11097/stat : 11097 (java) S 11080 11082 3958 0 -1 4202560 8307 0 0 0 84 2 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770290833592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11098] ppid=11080 vsize=2966184 CPUtime=0.82 cores=1,3,5,7
/proc/11082/task/11098/stat : 11098 (java) S 11080 11082 3958 0 -1 4202560 6635 0 0 0 81 1 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770289780792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11099] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11099/stat : 11099 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770288728696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11100] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11100/stat : 11100 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770287676104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11103] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11103/stat : 11103 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770284517032 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11104] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11104/stat : 11104 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770283464232 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 2966184
[startup+2.10059 s]
/proc/loadavg: 4.03 3.92 3.36 3/218 11104
/proc/meminfo: memFree=30881804/32873648 swapFree=7628/7628
[pid=11082] ppid=11080 vsize=2966184 CPUtime=3.9 cores=1,3,5,7
/proc/11082/stat : 11082 (java) S 11080 11082 3958 0 -1 4202496 19207 0 1 0 382 8 0 0 20 0 20 0 338911594 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 140734899122656 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/11082/statm: 741546 41616 2274 9 0 732240 0
[pid=11082/tid=11084] ppid=11080 vsize=2966184 CPUtime=0.13 cores=1,3,5,7
/proc/11082/task/11084/stat : 11084 (java) S 11080 11082 3958 0 -1 4202560 2856 0 1 0 13 0 0 0 20 0 20 0 338911595 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770447996056 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11085] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11085/stat : 11085 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770383788840 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11086] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11086/stat : 11086 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770313558696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11087] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11087/stat : 11087 (java) S 11080 11082 3958 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770312506408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11088] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11088/stat : 11088 (java) S 11080 11082 3958 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770311453608 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11089] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11089/stat : 11089 (java) S 11080 11082 3958 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770310400296 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11090] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11090/stat : 11090 (java) S 11080 11082 3958 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770309347496 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11091] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11091/stat : 11091 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770308295208 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11082/tid=11092] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11092/stat : 11092 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911596 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770307242408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11093] ppid=11080 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/11082/task/11093/stat : 11093 (java) S 11080 11082 3958 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770295044840 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11094] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11094/stat : 11094 (java) S 11080 11082 3958 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770293990904 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11095] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11095/stat : 11095 (java) S 11080 11082 3958 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 338911597 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770292938504 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11096] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11096/stat : 11096 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770291886992 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11097] ppid=11080 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/11082/task/11097/stat : 11097 (java) S 11080 11082 3958 0 -1 4202560 8307 0 0 0 84 2 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770290833592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11098] ppid=11080 vsize=2966184 CPUtime=0.82 cores=1,3,5,7
/proc/11082/task/11098/stat : 11098 (java) S 11080 11082 3958 0 -1 4202560 6635 0 0 0 81 1 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770289780792 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11099] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11099/stat : 11099 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770288728696 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11082/tid=11100] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11100/stat : 11100 (java) S 11080 11082 3958 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 338911599 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770287676104 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11082/tid=11103] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11103/stat : 11103 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770284517032 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11082/tid=11104] ppid=11080 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/11082/task/11104/stat : 11104 (java) S 11080 11082 3958 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 338911610 3037372416 41616 33554432000 1073741824 1073778376 140734899131520 139770283464232 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.9
Current children cumulated vsize (KiB) 2966184
Child status: 10
Real time (s): 2.16825
CPU time (s): 3.90241
CPU user time (s): 3.79042
CPU system time (s): 0.111982
CPU usage (%): 179.979
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.79042
system time used= 0.111982
maximum resident set size= 170588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19221
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= 376
involuntary context switches= 80
runsolver used 0.003999 second user time and 0.024996 second system time
The end