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-3755155-1339195335/watcher-3755155-1339195335 -o /tmp/evaluation-result-3755155-1339195335/solver-3755155-1339195335 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755155-1339195335.wbo 44476125 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29134
/proc/meminfo: memFree=28240040/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (runsolver) D 29132 29134 23680 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 385662041 12095488 50 33554432000 4194304 5436572 140736043829344 140736043825640 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/29134/statm: 2953 50 31 304 0 2645 0
[startup+0.082486 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29134
/proc/meminfo: memFree=28240040/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29134
/proc/meminfo: memFree=28240040/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300252 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29134
/proc/meminfo: memFree=28240040/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700235 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29134
/proc/meminfo: memFree=28240040/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28220912/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=7924 CPUtime=1.36 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 1854 0 0 0 136 0 0 0 20 0 1 0 385662055 8114176 1420 33554432000 4194304 5208918 140733836519216 140733836517080 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 1981 1420 102 248 0 1730 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 43224
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28218556/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=13940 CPUtime=2.96 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 2417 0 0 0 296 0 0 0 20 0 1 0 385662055 14274560 2997 33554432000 4194304 5208918 140733836519216 140733836517160 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 3485 2997 102 248 0 3234 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 49240
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28213104/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=13940 CPUtime=6.16 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 2446 0 0 0 616 0 0 0 20 0 1 0 385662055 14274560 3026 33554432000 4194304 5208918 140733836519216 140733836517160 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 3485 3026 103 248 0 3234 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 49240
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28210012/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=16660 CPUtime=12.55 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 3154 0 0 0 1255 0 0 0 20 0 1 0 385662055 17059840 3703 33554432000 4194304 5208918 140733836519216 140733836517080 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 4165 3703 103 248 0 3914 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51960
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28206120/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=21164 CPUtime=25.35 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 3930 0 0 0 2535 0 0 0 20 0 1 0 385662055 21671936 4801 33554432000 4194304 5208918 140733836519216 140733836517160 4229517 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 5291 4801 103 248 0 5040 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 56464
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193896/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=50.94 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4539 0 0 0 5094 0 0 0 20 0 1 0 385662055 33386496 7693 33554432000 4194304 5208918 140733836519216 140733836517160 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7693 103 248 0 7900 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 67904
Solver just ended. Dumping a history of the last processes samples
[startup+76.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193648/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=76.54 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4541 0 0 0 7654 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 76.66
Current children cumulated vsize (KiB) 67904
[startup+83.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193400/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=82.94 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4541 0 0 0 8294 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 83.06
Current children cumulated vsize (KiB) 67904
[startup+89.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193144/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=89.34 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 8934 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229712 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 89.46
Current children cumulated vsize (KiB) 67904
[startup+92.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193144/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=92.53 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 9253 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4222736 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 92.65
Current children cumulated vsize (KiB) 67904
[startup+93.5067 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193144/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=93.34 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 9334 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 93.46
Current children cumulated vsize (KiB) 67904
[startup+94.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193144/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=94.13 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 9413 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229704 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 94.25
Current children cumulated vsize (KiB) 67904
[startup+94.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193080/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=94.53 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 9453 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 94.65
Current children cumulated vsize (KiB) 67904
[startup+94.8004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29155
/proc/meminfo: memFree=28193080/32873844 swapFree=7372/7372
[pid=29134] ppid=29132 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29134/stat : 29134 (npSolver-wbo.sh) S 29132 29134 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385662041 9367552 275 33554432000 4194304 5064252 140733240957088 140733240956000 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29134/statm: 2287 275 233 213 0 72 0
[pid=29136] ppid=29134 vsize=17004 CPUtime=0.12 cores=0,2,4,6
/proc/29136/stat : 29136 (npSolver-wbo) S 29134 29134 23680 0 -1 4202496 5626 9477 0 0 3 2 4 3 20 0 1 0 385662042 17412096 3828 33554432000 4194304 6006132 140735075404640 140735075396048 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29136/statm: 4251 3828 175 443 0 3804 0
[pid=29154] ppid=29136 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29154/stat : 29154 (satsolver.sh) S 29136 29134 23680 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 385662055 9367552 266 33554432000 4194304 5064252 140735864761280 140735864760192 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29154/statm: 2287 266 226 213 0 72 0
[pid=29155] ppid=29154 vsize=32604 CPUtime=94.63 cores=0,2,4,6
/proc/29155/stat : 29155 (glucose) R 29154 29134 23680 0 -1 4202496 4544 0 0 0 9463 0 0 0 20 0 1 0 385662055 33386496 7695 33554432000 4194304 5208918 140733836519216 140733836517160 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29155/statm: 8151 7695 103 248 0 7900 0
Current children cumulated CPU time (s) 94.75
Current children cumulated vsize (KiB) 67904
Child status: 0
Real time (s): 94.892
CPU time (s): 94.8686
CPU user time (s): 94.7946
CPU system time (s): 0.073988
CPU usage (%): 99.9754
Max. virtual memory (cumulated for all children) (KiB): 67960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.7946
system time used= 0.073988
maximum resident set size= 30784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23445
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 136
runsolver used 0.149977 second user time and 0.387941 second system time
The end