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-3755133-1339195180/watcher-3755133-1339195180 -o /tmp/evaluation-result-3755133-1339195180/solver-3755133-1339195180 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755133-1339195180.wbo 262735615 HOME HOME
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.09 2.05 2.01 3/179 10322
/proc/meminfo: memFree=29893908/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[startup+0.047136 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 10322
/proc/meminfo: memFree=29893908/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 10322
/proc/meminfo: memFree=29893908/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 10322
/proc/meminfo: memFree=29893908/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70023 s]
/proc/loadavg: 2.09 2.05 2.01 3/179 10322
/proc/meminfo: memFree=29893908/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10326
/proc/meminfo: memFree=29856992/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=76668 CPUtime=1.48 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) R 10322 10322 24896 0 -1 4202496 10208 12397 0 0 52 12 81 3 20 0 1 0 385642437 78508032 16276 33554432000 4194304 6006132 140734380033536 140734380025576 4619114 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10323/statm: 19167 16276 177 443 0 18720 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85816
[startup+3.10035 s]
/proc/loadavg: 2.09 2.05 2.01 3/181 10334
/proc/meminfo: memFree=29785380/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 184120
heavy processes:
[startup+6.30044 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 10336
/proc/meminfo: memFree=29511976/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=211648 CPUtime=3.55 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 37666 0 0 0 343 12 0 0 20 0 1 0 385642711 216727552 46859 33554432000 4194304 5208918 140736834942192 140736834940152 4205231 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 52912 46859 104 248 0 52661 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 404916
[startup+12.7005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 10336
/proc/meminfo: memFree=29510556/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=212192 CPUtime=9.95 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 37807 0 0 0 983 12 0 0 20 0 1 0 385642711 217284608 47511 33554432000 4194304 5208918 140736834942192 140736834940152 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 53048 47511 104 248 0 52797 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 405460
[startup+25.5005 s]
/proc/loadavg: 2.06 2.04 2.00 3/184 10339
/proc/meminfo: memFree=29509268/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=214988 CPUtime=22.74 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 38265 0 0 0 2262 12 0 0 20 0 1 0 385642711 220147712 47969 33554432000 4194304 5208918 140736834942192 140736834940024 4229556 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 53747 47969 104 248 0 53496 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 408256
[startup+51.1005 s]
/proc/loadavg: 2.10 2.05 2.01 3/184 10339
/proc/meminfo: memFree=29509432/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=214988 CPUtime=48.34 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 38269 0 0 0 4822 12 0 0 20 0 1 0 385642711 220147712 47973 33554432000 4194304 5208918 140736834942192 140736834940024 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 53747 47973 104 248 0 53496 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 408256
[startup+102.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 10340
/proc/meminfo: memFree=29507020/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=214988 CPUtime=99.53 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 38275 0 0 0 9941 12 0 0 20 0 1 0 385642711 220147712 48490 33554432000 4194304 5208918 140736834942192 140736834940024 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 53747 48490 104 248 0 53496 0
Current children cumulated CPU time (s) 101.94
Current children cumulated vsize (KiB) 408256
[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 10340
/proc/meminfo: memFree=29505340/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=174972 CPUtime=2.41 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 11961 12397 0 0 129 28 81 3 20 0 1 0 385642437 179171328 29077 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 43743 29077 178 443 0 43296 0
[pid=10335] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10335/stat : 10335 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385642711 9367552 266 33554432000 4194304 5064252 140736385326464 140736385325376 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10335/statm: 2287 266 226 213 0 72 0
[pid=10336] ppid=10335 vsize=214988 CPUtime=159.52 cores=1,3,5,7
/proc/10336/stat : 10336 (glucose) R 10335 10322 24896 0 -1 4202496 38275 0 0 0 15940 12 0 0 20 0 1 0 385642711 220147712 48490 33554432000 4194304 5208918 140736834942192 140736834940024 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10336/statm: 53747 48490 104 248 0 53496 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 408256
[startup+222.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 10340
/proc/meminfo: memFree=29504100/32873844 swapFree=7644/7644
################
# More data... #
################
/proc/10323/statm: 23265 20916 178 443 0 22818 0
[pid=10465] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10465/stat : 10465 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385730406 9367552 266 33554432000 4194304 5064252 140737032469584 140737032468496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10465/statm: 2287 266 226 213 0 72 0
[pid=10466] ppid=10465 vsize=179808 CPUtime=542.53 cores=1,3,5,7
/proc/10466/stat : 10466 (glucose) R 10465 10322 24896 0 -1 4202496 34176 0 0 0 54242 11 0 0 20 0 1 0 385730406 184123392 38989 33554432000 4194304 5208918 140736205127392 140736205125144 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10466/statm: 44952 38989 104 248 0 44701 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 291164
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10494
/proc/meminfo: memFree=28603384/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=93060 CPUtime=879.2 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 17201 58544 0 0 214 40 87621 45 20 0 1 0 385642437 95293440 20916 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 23265 20916 178 443 0 22818 0
[pid=10465] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10465/stat : 10465 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385730406 9367552 266 33554432000 4194304 5064252 140737032469584 140737032468496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10465/statm: 2287 266 226 213 0 72 0
[pid=10466] ppid=10465 vsize=180348 CPUtime=602.52 cores=1,3,5,7
/proc/10466/stat : 10466 (glucose) R 10465 10322 24896 0 -1 4202496 34313 0 0 0 60241 11 0 0 20 0 1 0 385730406 184676352 39637 33554432000 4194304 5208918 140736205127392 140736205125240 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10466/statm: 45087 39637 104 248 0 44836 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 291704
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10494
/proc/meminfo: memFree=28595076/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=93060 CPUtime=879.2 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 17201 58544 0 0 214 40 87621 45 20 0 1 0 385642437 95293440 20916 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 23265 20916 178 443 0 22818 0
[pid=10465] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10465/stat : 10465 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385730406 9367552 266 33554432000 4194304 5064252 140737032469584 140737032468496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10465/statm: 2287 266 226 213 0 72 0
[pid=10466] ppid=10465 vsize=181708 CPUtime=662.5 cores=1,3,5,7
/proc/10466/stat : 10466 (glucose) R 10465 10322 24896 0 -1 4202496 34598 0 0 0 66239 11 0 0 20 0 1 0 385730406 186068992 39922 33554432000 4194304 5208918 140736205127392 140736205125352 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10466/statm: 45427 39922 104 248 0 45176 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 293064
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10494
/proc/meminfo: memFree=28591424/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=93060 CPUtime=879.2 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 17201 58544 0 0 214 40 87621 45 20 0 1 0 385642437 95293440 20916 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 23265 20916 178 443 0 22818 0
[pid=10465] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10465/stat : 10465 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385730406 9367552 266 33554432000 4194304 5064252 140737032469584 140737032468496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10465/statm: 2287 266 226 213 0 72 0
[pid=10466] ppid=10465 vsize=182236 CPUtime=722.49 cores=1,3,5,7
/proc/10466/stat : 10466 (glucose) R 10465 10322 24896 0 -1 4202496 34784 0 0 0 72238 11 0 0 20 0 1 0 385730406 186609664 40108 33554432000 4194304 5208918 140736205127392 140736205125240 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10466/statm: 45559 40108 104 248 0 45308 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 293592
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 10495
/proc/meminfo: memFree=28592972/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=93060 CPUtime=879.2 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 17201 58544 0 0 214 40 87621 45 20 0 1 0 385642437 95293440 20916 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 23265 20916 178 443 0 22818 0
[pid=10465] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10465/stat : 10465 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385730406 9367552 266 33554432000 4194304 5064252 140737032469584 140737032468496 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10465/statm: 2287 266 226 213 0 72 0
[pid=10466] ppid=10465 vsize=184108 CPUtime=782.48 cores=1,3,5,7
/proc/10466/stat : 10466 (glucose) R 10465 10322 24896 0 -1 4202496 35620 0 0 0 78236 12 0 0 20 0 1 0 385730406 188526592 39084 33554432000 4194304 5208918 140736205127392 140736205125240 4607488 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10466/statm: 46027 39084 106 248 0 45776 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 295464
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 10502
/proc/meminfo: memFree=28740856/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=50408 CPUtime=1662.51 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4202496 21785 100716 0 0 230 43 165895 83 20 0 1 0 385642437 51617792 11057 33554432000 4194304 6006132 140734380033536 140734380024944 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 12602 11057 180 443 0 12155 0
[pid=10501] ppid=10323 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10501/stat : 10501 (satsolver.sh) S 10323 10322 24896 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385808747 9367552 267 33554432000 4194304 5064252 140733476431824 140733476430736 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10501/statm: 2287 267 226 213 0 72 0
[pid=10502] ppid=10501 vsize=105536 CPUtime=59.16 cores=1,3,5,7
/proc/10502/stat : 10502 (glucose) R 10501 10322 24896 0 -1 4202496 20245 0 0 0 5912 4 0 0 20 0 1 0 385808748 108068864 22878 33554432000 4194304 5208918 140734401966880 140734401964776 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10502/statm: 26384 22878 103 248 0 26133 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 174240
[startup+1782.3 s]
/proc/loadavg: 2.82 2.19 2.06 2/183 10516
/proc/meminfo: memFree=17461064/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=4856080 CPUtime=1762.22 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4204032 1508609 150929 0 0 528 708 174843 143 20 0 1 0 385642437 4972625920 993125 33554432000 4194304 6006132 140734380033536 140734367531336 4580448 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 30 0 0
/proc/10323/statm: 1214020 993125 186 443 0 1213573 0
Current children cumulated CPU time (s) 1762.22
Current children cumulated vsize (KiB) 4865228
[startup+1842.3 s]
/proc/loadavg: 4.18 2.68 2.23 2/183 10519
/proc/meminfo: memFree=16618572/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=4856080 CPUtime=1762.65 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4204032 1508610 150929 0 0 528 751 174843 143 20 0 1 0 385642437 4972625920 993126 33554432000 4194304 6006132 140734380033536 140734367531336 4580448 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 1214020 993126 187 443 0 1213573 0
Current children cumulated CPU time (s) 1762.65
Current children cumulated vsize (KiB) 4865228
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1900 s]
/proc/loadavg: 4.64 3.09 2.40 2/182 10519
/proc/meminfo: memFree=16618772/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=4856080 CPUtime=1762.65 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4204032 1508610 150929 0 0 528 751 174843 143 20 0 1 0 385642437 4972625920 993126 33554432000 4194304 6006132 140734380033536 140734367531336 4580448 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 1214020 993126 187 443 0 1213573 0
Current children cumulated CPU time (s) 1762.65
Current children cumulated vsize (KiB) 4865228
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1900 s]
/proc/loadavg: 4.64 3.09 2.40 2/182 10519
/proc/meminfo: memFree=16618772/32873844 swapFree=7644/7644
[pid=10322] ppid=10320 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10322/stat : 10322 (npSolver-wbo.sh) S 10320 10322 24896 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385642437 9367552 275 33554432000 4194304 5064252 140735812618816 140735812617728 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10322/statm: 2287 275 233 213 0 72 0
[pid=10323] ppid=10322 vsize=4856080 CPUtime=1762.65 cores=1,3,5,7
/proc/10323/stat : 10323 (npSolver-wbo) S 10322 10322 24896 0 -1 4204032 1508610 150929 0 0 528 751 174843 143 20 0 1 0 385642437 4972625920 993126 33554432000 4194304 6006132 140734380033536 140734367531336 4580448 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 30 0 0
/proc/10323/statm: 1214020 993126 187 443 0 1213573 0
Current children cumulated CPU time (s) 1762.65
Current children cumulated vsize (KiB) 4865228
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10322 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1762.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1900.01
CPU time (s): 1762.65
CPU user time (s): 1753.71
CPU system time (s): 8.94
CPU usage (%): 92.7705
Max. virtual memory (cumulated for all children) (KiB): 4865228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.79227 second user time and 12.0722 second system time
The end