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-3753635-1339188878/watcher-3753635-1339188878 -o /tmp/evaluation-result-3753635-1339188878/solver-3753635-1339188878 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3753635-1339188878.wbo 150818376 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.00 2.00 2.00 3/178 5878
/proc/meminfo: memFree=30783552/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[startup+0.0111611 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5878
/proc/meminfo: memFree=30783552/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100235 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5878
/proc/meminfo: memFree=30783552/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300127 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5878
/proc/meminfo: memFree=30783552/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700096 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5878
/proc/meminfo: memFree=30783552/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30883876/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=3088 CPUtime=0.2 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 1433 2714 0 0 1 0 19 0 20 0 1 0 385013251 3162112 365 33554432000 4194304 6006132 140736147425216 140736147419408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 772 365 158 443 0 325 0
[pid=5924] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5924/stat : 5924 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385013274 9367552 267 33554432000 4194304 5064252 140734021741200 140734021740112 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5924/statm: 2287 267 226 213 0 72 0
[pid=5925] ppid=5924 vsize=8548 CPUtime=1.25 cores=1,3,5,7
/proc/5925/stat : 5925 (glucose) R 5924 5878 16392 0 -1 4202496 2623 0 0 0 125 0 0 0 20 0 1 0 385013274 8753152 1660 33554432000 4194304 5208918 140733610272576 140733610270520 4229520 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5925/statm: 2137 1660 96 248 0 1886 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 29932
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30872868/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=3088 CPUtime=0.2 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 1433 2714 0 0 1 0 19 0 20 0 1 0 385013251 3162112 365 33554432000 4194304 6006132 140736147425216 140736147419408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 772 365 158 443 0 325 0
[pid=5924] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5924/stat : 5924 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385013274 9367552 267 33554432000 4194304 5064252 140734021741200 140734021740112 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5924/statm: 2287 267 226 213 0 72 0
[pid=5925] ppid=5924 vsize=10204 CPUtime=2.85 cores=1,3,5,7
/proc/5925/stat : 5925 (glucose) R 5924 5878 16392 0 -1 4202496 3318 0 0 0 285 0 0 0 20 0 1 0 385013274 10448896 1983 33554432000 4194304 5208918 140733610272576 140733610270520 4205195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5925/statm: 2551 1983 96 248 0 2300 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31588
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5931
/proc/meminfo: memFree=30869996/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=3088 CPUtime=0.2 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 1433 2714 0 0 1 0 19 0 20 0 1 0 385013251 3162112 365 33554432000 4194304 6006132 140736147425216 140736147419408 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5879/statm: 772 365 158 443 0 325 0
[pid=5924] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5924/stat : 5924 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385013274 9367552 267 33554432000 4194304 5064252 140734021741200 140734021740112 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5924/statm: 2287 267 226 213 0 72 0
[pid=5925] ppid=5924 vsize=17420 CPUtime=6.05 cores=1,3,5,7
/proc/5925/stat : 5925 (glucose) R 5924 5878 16392 0 -1 4202496 3931 0 0 0 604 1 0 0 20 0 1 0 385013274 17838080 3561 33554432000 4194304 5208918 140733610272576 140733610270520 4229493 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5925/statm: 4355 3561 96 248 0 4104 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 38804
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5945
/proc/meminfo: memFree=30820812/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=9.22 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2844 10220 0 0 6 2 912 2 20 0 1 0 385013251 11522048 2124 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2124 167 443 0 2366 0
[pid=5937] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5937/stat : 5937 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 385014175 9367552 266 33554432000 4194304 5064252 140735318297568 140735318296480 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5937/statm: 2287 266 226 213 0 72 0
[pid=5938] ppid=5937 vsize=33236 CPUtime=3.44 cores=1,3,5,7
/proc/5938/stat : 5938 (glucose) R 5937 5878 16392 0 -1 4202496 7831 0 0 0 343 1 0 0 20 0 1 0 385014175 34033664 7559 33554432000 4194304 5208918 140736750351600 140736750349544 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5938/statm: 8309 7559 96 248 0 8058 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 62784
[startup+25.5002 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30830156/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=12432 CPUtime=5.37 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 2779 0 0 0 537 0 0 0 20 0 1 0 385015262 12730368 2528 33554432000 4194304 5208918 140736606152768 140736606150712 4229692 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 3108 2528 96 248 0 2857 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 41980
Solver just ended. Dumping a history of the last processes samples
[startup+28.7002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30825504/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=15112 CPUtime=8.57 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 3580 0 0 0 857 0 0 0 20 0 1 0 385015262 15474688 3302 33554432000 4194304 5208918 140736606152768 140736606150632 4212881 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 3778 3302 102 248 0 3527 0
Current children cumulated CPU time (s) 28.66
Current children cumulated vsize (KiB) 44660
[startup+29.5002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30825504/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=17832 CPUtime=9.37 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 3715 0 0 0 937 0 0 0 20 0 1 0 385015262 18259968 3942 33554432000 4194304 5208918 140736606152768 140736606150632 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 4458 3942 102 248 0 4207 0
Current children cumulated CPU time (s) 29.46
Current children cumulated vsize (KiB) 47380
[startup+29.9003 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30816696/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=17832 CPUtime=9.77 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 3792 0 0 0 977 0 0 0 20 0 1 0 385015262 18259968 4012 33554432000 4194304 5208918 140736606152768 140736606150632 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 4458 4012 102 248 0 4207 0
Current children cumulated CPU time (s) 29.86
Current children cumulated vsize (KiB) 47380
[startup+30.3002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30816696/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=17832 CPUtime=10.17 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 3792 0 0 0 1017 0 0 0 20 0 1 0 385015262 18259968 4012 33554432000 4194304 5208918 140736606152768 140736606150632 4229692 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 4458 4012 102 248 0 4207 0
Current children cumulated CPU time (s) 30.26
Current children cumulated vsize (KiB) 47380
[startup+30.4002 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 5959
/proc/meminfo: memFree=30816696/32873648 swapFree=7628/7628
[pid=5878] ppid=5876 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5878/stat : 5878 (npSolver-wbo-It) S 5876 5878 16392 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385013251 9367552 275 33554432000 4194304 5064252 140733715005952 140733715004864 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5878/statm: 2287 275 233 213 0 72 0
[pid=5879] ppid=5878 vsize=11252 CPUtime=20.09 cores=1,3,5,7
/proc/5879/stat : 5879 (npSolver-wbo) S 5878 5878 16392 0 -1 4202496 2920 23169 0 0 6 2 1991 10 20 0 1 0 385013251 11522048 2125 33554432000 4194304 6006132 140736147425216 140736147416608 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5879/statm: 2813 2125 168 443 0 2366 0
[pid=5951] ppid=5879 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5951/stat : 5951 (satsolver.sh) S 5879 5878 16392 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385015262 9367552 266 33554432000 4194304 5064252 140733591293456 140733591292368 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/5951/statm: 2287 266 226 213 0 72 0
[pid=5952] ppid=5951 vsize=17832 CPUtime=10.27 cores=1,3,5,7
/proc/5952/stat : 5952 (glucose) R 5951 5878 16392 0 -1 4202496 3792 0 0 0 1027 0 0 0 20 0 1 0 385015262 18259968 4012 33554432000 4194304 5208918 140736606152768 140736606150632 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5952/statm: 4458 4012 102 248 0 4207 0
Current children cumulated CPU time (s) 30.36
Current children cumulated vsize (KiB) 47380
Child status: 0
Real time (s): 30.4827
CPU time (s): 30.4684
CPU user time (s): 30.3224
CPU system time (s): 0.145977
CPU usage (%): 99.9529
Max. virtual memory (cumulated for all children) (KiB): 74276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.3224
system time used= 0.145977
maximum resident set size= 43072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34124
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 177
involuntary context switches= 74
runsolver used 0.072988 second user time and 0.163975 second system time
The end