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-3754632-1339193847/watcher-3754632-1339193847 -o /tmp/evaluation-result-3754632-1339193847/solver-3754632-1339193847 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754632-1339193847.wbo 709863372 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.04 2.02 2.00 3/179 1952
/proc/meminfo: memFree=30904316/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[startup+0.0133391 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 1952
/proc/meminfo: memFree=30904316/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100265 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 1952
/proc/meminfo: memFree=30904316/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300119 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 1952
/proc/meminfo: memFree=30904316/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700113 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 1952
/proc/meminfo: memFree=30904316/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 1959
/proc/meminfo: memFree=30899456/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 1447 2703 0 0 2 0 14 0 20 0 1 0 385510414 3166208 378 33554432000 4194304 6006132 140733695616192 140733695610384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1953/statm: 773 378 158 443 0 326 0
[pid=1958] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1958/stat : 1958 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385510432 9367552 266 33554432000 4194304 5064252 140736047295504 140736047294416 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1958/statm: 2287 266 226 213 0 72 0
[pid=1959] ppid=1958 vsize=12776 CPUtime=1.3 cores=1,3,5,7
/proc/1959/stat : 1959 (glucose) R 1958 1952 32059 0 -1 4202496 2881 0 0 0 130 0 0 0 20 0 1 0 385510432 13082624 2255 33554432000 4194304 5208918 140735670944928 140735670942872 4229528 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/1959/statm: 3194 2255 96 248 0 2943 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 34164
[startup+3.10022 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 1966
/proc/meminfo: memFree=30902080/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 1447 2703 0 0 2 0 14 0 20 0 1 0 385510414 3166208 378 33554432000 4194304 6006132 140733695616192 140733695610384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1953/statm: 773 378 158 443 0 326 0
[pid=1958] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1958/stat : 1958 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385510432 9367552 266 33554432000 4194304 5064252 140736047295504 140736047294416 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1958/statm: 2287 266 226 213 0 72 0
[pid=1959] ppid=1958 vsize=17128 CPUtime=2.88 cores=1,3,5,7
/proc/1959/stat : 1959 (glucose) R 1958 1952 32059 0 -1 4202496 3679 0 0 0 288 0 0 0 20 0 1 0 385510432 17539072 3552 33554432000 4194304 5208918 140735670944928 140735670942872 4215298 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/1959/statm: 4282 3552 96 248 0 4031 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 38516
[startup+6.30022 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 1966
/proc/meminfo: memFree=30891540/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=3092 CPUtime=0.16 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 1447 2703 0 0 2 0 14 0 20 0 1 0 385510414 3166208 378 33554432000 4194304 6006132 140733695616192 140733695610384 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1953/statm: 773 378 158 443 0 326 0
[pid=1958] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1958/stat : 1958 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385510432 9367552 266 33554432000 4194304 5064252 140736047295504 140736047294416 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1958/statm: 2287 266 226 213 0 72 0
[pid=1959] ppid=1958 vsize=15496 CPUtime=6.07 cores=1,3,5,7
/proc/1959/stat : 1959 (glucose) R 1958 1952 32059 0 -1 4202496 4817 0 0 0 606 1 0 0 20 0 1 0 385510432 15867904 3345 33554432000 4194304 5208918 140735670944928 140735670942792 4229712 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/1959/statm: 3874 3345 96 248 0 3623 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 36884
[startup+12.7003 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 1973
/proc/meminfo: memFree=30863508/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=9.84 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 3067 10853 0 0 5 2 974 3 20 0 1 0 385510414 11493376 2348 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2348 167 443 0 2359 0
[pid=1972] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385511407 9367552 267 33554432000 4194304 5064252 140737189210320 140737189209232 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1972/statm: 2287 267 226 213 0 72 0
[pid=1973] ppid=1972 vsize=24896 CPUtime=2.75 cores=1,3,5,7
/proc/1973/stat : 1973 (glucose) R 1972 1952 32059 0 -1 4202496 6063 0 0 0 275 0 0 0 20 0 1 0 385511407 25493504 5618 33554432000 4194304 5208918 140736246675264 140736246673352 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1973/statm: 6224 5618 96 248 0 5973 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 54416
[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 2030
/proc/meminfo: memFree=30852876/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=9.84 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 3067 10853 0 0 5 2 974 3 20 0 1 0 385510414 11493376 2348 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2348 167 443 0 2359 0
[pid=1972] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1972/stat : 1972 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385511407 9367552 267 33554432000 4194304 5064252 140737189210320 140737189209232 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/1972/statm: 2287 267 226 213 0 72 0
[pid=1973] ppid=1972 vsize=43548 CPUtime=15.55 cores=1,3,5,7
/proc/1973/stat : 1973 (glucose) R 1972 1952 32059 0 -1 4202496 8234 0 0 0 1554 1 0 0 20 0 1 0 385511407 44593152 10296 33554432000 4194304 5208918 140736246675264 140736246673128 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1973/statm: 10887 10296 96 248 0 10636 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 73068
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 2037
/proc/meminfo: memFree=30846236/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=33.72 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 3966 23216 0 0 7 2 3352 11 20 0 1 0 385510414 11493376 2348 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2348 167 443 0 2359 0
[pid=2036] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2036/stat : 2036 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385513795 9367552 267 33554432000 4194304 5064252 140735801523696 140735801522608 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2036/statm: 2287 267 226 213 0 72 0
[pid=2037] ppid=2036 vsize=30384 CPUtime=17.27 cores=1,3,5,7
/proc/2037/stat : 2037 (glucose) R 2036 1952 32059 0 -1 4202496 6565 0 0 0 1726 1 0 0 20 0 1 0 385513796 31113216 7184 33554432000 4194304 5208918 140733903047200 140733903045064 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2037/statm: 7596 7184 96 248 0 7345 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 59904
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 2051
/proc/meminfo: memFree=30885944/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=56.63 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4398 32967 0 0 7 3 5638 15 20 0 1 0 385510414 11493376 2348 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2348 167 443 0 2359 0
[pid=2043] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2043/stat : 2043 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385516088 9367552 267 33554432000 4194304 5064252 140734408664576 140734408663488 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2043/statm: 2287 267 226 213 0 72 0
[pid=2044] ppid=2043 vsize=20256 CPUtime=7.14 cores=1,3,5,7
/proc/2044/stat : 2044 (glucose) R 2043 1952 32059 0 -1 4202496 5214 0 0 0 714 0 0 0 20 0 1 0 385516088 20742144 4562 33554432000 4194304 5208918 140733656960880 140733656958744 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2044/statm: 5064 4562 96 248 0 4813 0
Current children cumulated CPU time (s) 63.77
Current children cumulated vsize (KiB) 49776
[startup+76.7004 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 2051
/proc/meminfo: memFree=30863908/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=56.63 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4398 32967 0 0 7 3 5638 15 20 0 1 0 385510414 11493376 2348 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2348 167 443 0 2359 0
[pid=2043] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2043/stat : 2043 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385516088 9367552 267 33554432000 4194304 5064252 140734408664576 140734408663488 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2043/statm: 2287 267 226 213 0 72 0
[pid=2044] ppid=2043 vsize=29128 CPUtime=19.94 cores=1,3,5,7
/proc/2044/stat : 2044 (glucose) R 2043 1952 32059 0 -1 4202496 7566 0 0 0 1993 1 0 0 20 0 1 0 385516088 29827072 6770 33554432000 4194304 5208918 140733656960880 140733656958824 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2044/statm: 7282 6770 96 248 0 7031 0
Current children cumulated CPU time (s) 76.57
Current children cumulated vsize (KiB) 58648
[startup+79.9003 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 2058
/proc/meminfo: memFree=30883940/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=77.99 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4480 43514 0 0 7 3 7770 19 20 0 1 0 385510414 11493376 2350 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2350 169 443 0 2359 0
[pid=2057] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385518224 9367552 266 33554432000 4194304 5064252 140734526092192 140734526091104 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2057/statm: 2287 266 226 213 0 72 0
[pid=2058] ppid=2057 vsize=9400 CPUtime=1.79 cores=1,3,5,7
/proc/2058/stat : 2058 (glucose) R 2057 1952 32059 0 -1 4202496 2597 0 0 0 179 0 0 0 20 0 1 0 385518224 9625600 1836 33554432000 4194304 5208918 140734618774624 140734618772568 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 2350 1836 96 248 0 2099 0
Current children cumulated CPU time (s) 79.78
Current children cumulated vsize (KiB) 38920
[startup+83.1003 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 2058
/proc/meminfo: memFree=30876064/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=77.99 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4480 43514 0 0 7 3 7770 19 20 0 1 0 385510414 11493376 2350 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2350 169 443 0 2359 0
[pid=2057] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385518224 9367552 266 33554432000 4194304 5064252 140734526092192 140734526091104 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2057/statm: 2287 266 226 213 0 72 0
[pid=2058] ppid=2057 vsize=14972 CPUtime=4.98 cores=1,3,5,7
/proc/2058/stat : 2058 (glucose) R 2057 1952 32059 0 -1 4202496 3462 0 0 0 498 0 0 0 20 0 1 0 385518224 15331328 3178 33554432000 4194304 5208918 140734618774624 140734618772488 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 3743 3178 96 248 0 3492 0
Current children cumulated CPU time (s) 82.97
Current children cumulated vsize (KiB) 44492
[startup+84.7067 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 2058
/proc/meminfo: memFree=30875196/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=77.99 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4480 43514 0 0 7 3 7770 19 20 0 1 0 385510414 11493376 2350 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2350 169 443 0 2359 0
[pid=2057] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385518224 9367552 266 33554432000 4194304 5064252 140734526092192 140734526091104 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2057/statm: 2287 266 226 213 0 72 0
[pid=2058] ppid=2057 vsize=14972 CPUtime=6.59 cores=1,3,5,7
/proc/2058/stat : 2058 (glucose) R 2057 1952 32059 0 -1 4202496 3596 0 0 0 659 0 0 0 20 0 1 0 385518224 15331328 3308 33554432000 4194304 5208918 140734618774624 140734618772488 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 3743 3308 102 248 0 3492 0
Current children cumulated CPU time (s) 84.58
Current children cumulated vsize (KiB) 44492
[startup+85.5003 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 2058
/proc/meminfo: memFree=30875196/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=77.99 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4480 43514 0 0 7 3 7770 19 20 0 1 0 385510414 11493376 2350 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2350 169 443 0 2359 0
[pid=2057] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385518224 9367552 266 33554432000 4194304 5064252 140734526092192 140734526091104 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2057/statm: 2287 266 226 213 0 72 0
[pid=2058] ppid=2057 vsize=14972 CPUtime=7.38 cores=1,3,5,7
/proc/2058/stat : 2058 (glucose) R 2057 1952 32059 0 -1 4202496 3596 0 0 0 738 0 0 0 20 0 1 0 385518224 15331328 3308 33554432000 4194304 5208918 140734618774624 140734618772488 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 3743 3308 102 248 0 3492 0
Current children cumulated CPU time (s) 85.37
Current children cumulated vsize (KiB) 44492
[startup+85.7003 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 2058
/proc/meminfo: memFree=30875196/32873844 swapFree=7632/7632
[pid=1952] ppid=1950 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1952/stat : 1952 (npSolver-wbo-I.) S 1950 1952 32059 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 385510414 9367552 274 33554432000 4194304 5064252 140736406268992 140736406267904 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1952/statm: 2287 274 233 213 0 72 0
[pid=1953] ppid=1952 vsize=11224 CPUtime=77.99 cores=1,3,5,7
/proc/1953/stat : 1953 (npSolver-wbo) S 1952 1952 32059 0 -1 4202496 4480 43514 0 0 7 3 7770 19 20 0 1 0 385510414 11493376 2350 33554432000 4194304 6006132 140733695616192 140733695607600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1953/statm: 2806 2350 169 443 0 2359 0
[pid=2057] ppid=1953 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2057/stat : 2057 (satsolver.sh) S 1953 1952 32059 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385518224 9367552 266 33554432000 4194304 5064252 140734526092192 140734526091104 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2057/statm: 2287 266 226 213 0 72 0
[pid=2058] ppid=2057 vsize=14972 CPUtime=7.59 cores=1,3,5,7
/proc/2058/stat : 2058 (glucose) R 2057 1952 32059 0 -1 4202496 3596 0 0 0 759 0 0 0 20 0 1 0 385518224 15331328 3308 33554432000 4194304 5208918 140734618774624 140734618772488 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2058/statm: 3743 3308 102 248 0 3492 0
Current children cumulated CPU time (s) 85.58
Current children cumulated vsize (KiB) 44492
Child status: 0
Real time (s): 85.7498
CPU time (s): 85.657
CPU user time (s): 85.404
CPU system time (s): 0.252961
CPU usage (%): 99.8918
Max. virtual memory (cumulated for all children) (KiB): 80248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 85.404
system time used= 0.252961
maximum resident set size= 47804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 12712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269
involuntary context switches= 264
runsolver used 0.167974 second user time and 0.425935 second system time
The end