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-3753204-1339206755/watcher-3753204-1339206755 -o /tmp/evaluation-result-3753204-1339206755/solver-3753204-1339206755 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753204-1339206755.wbo 1544890018 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 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[startup+0.055775 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100308 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/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 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 22012
/proc/meminfo: memFree=29771840/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22026
/proc/meminfo: memFree=29714768/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=0.24 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 4192 6598 0 0 9 3 11 1 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22025] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22025/stat : 22025 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386804108 9367552 267 33554432000 4194304 5064252 140733623232640 140733623231552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22025/statm: 2287 267 226 213 0 72 0
[pid=22026] ppid=22025 vsize=40728 CPUtime=1.22 cores=1,3,5,7
/proc/22026/stat : 22026 (glucose) R 22025 22012 8900 0 -1 4202496 8996 0 0 0 120 2 0 0 20 0 1 0 386804108 41705472 9234 33554432000 4194304 5208918 140736849474464 140736849472872 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22026/statm: 10182 9234 95 248 0 9931 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 79048
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22026
/proc/meminfo: memFree=29713776/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=0.24 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 4192 6598 0 0 9 3 11 1 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22025] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22025/stat : 22025 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386804108 9367552 267 33554432000 4194304 5064252 140733623232640 140733623231552 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22025/statm: 2287 267 226 213 0 72 0
[pid=22026] ppid=22025 vsize=45280 CPUtime=2.82 cores=1,3,5,7
/proc/22026/stat : 22026 (glucose) R 22025 22012 8900 0 -1 4202496 9367 0 0 0 280 2 0 0 20 0 1 0 386804108 46366720 9604 33554432000 4194304 5208918 140736849474464 140736849472616 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22026/statm: 11320 9604 95 248 0 11069 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 83600
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22033
/proc/meminfo: memFree=29714704/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=4.38 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 6343 20510 0 0 16 4 408 10 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22032] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22032/stat : 22032 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386804522 9367552 266 33554432000 4194304 5064252 140734709109424 140734709108336 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22032/statm: 2287 266 226 213 0 72 0
[pid=22033] ppid=22032 vsize=40728 CPUtime=1.88 cores=1,3,5,7
/proc/22033/stat : 22033 (glucose) R 22032 22012 8900 0 -1 4202496 9230 0 0 0 187 1 0 0 20 0 1 0 386804523 41705472 9393 33554432000 4194304 5208918 140735040119056 140735040117464 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22033/statm: 10182 9393 95 248 0 9931 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 79048
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22040
/proc/meminfo: memFree=29706956/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=12.55 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 10645 48076 0 0 29 6 1192 28 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 29172
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22075
/proc/meminfo: memFree=29720500/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=24.93 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 17098 89510 0 0 50 9 2380 54 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22074] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22074/stat : 22074 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386806575 9367552 267 33554432000 4194304 5064252 140736383228496 140736383227408 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22074/statm: 2287 267 226 213 0 72 0
[pid=22075] ppid=22074 vsize=40728 CPUtime=0.54 cores=1,3,5,7
/proc/22075/stat : 22075 (glucose) R 22074 22012 8900 0 -1 4202496 8845 0 0 0 53 1 0 0 20 0 1 0 386806575 41705472 9078 33554432000 4194304 5208918 140734930483200 140736383227432 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22075/statm: 10182 9078 95 248 0 9931 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 79048
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 22125
/proc/meminfo: memFree=29723812/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=49.51 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 30004 173372 0 0 91 14 4742 104 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22124] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22124/stat : 22124 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386809035 9367552 266 33554432000 4194304 5064252 140734695272256 140734695271168 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22124/statm: 2287 266 226 213 0 72 0
[pid=22125] ppid=22124 vsize=40728 CPUtime=1.55 cores=1,3,5,7
/proc/22125/stat : 22125 (glucose) R 22124 22012 8900 0 -1 4202496 8710 0 0 0 153 2 0 0 20 0 1 0 386809035 41705472 9433 33554432000 4194304 5208918 140736019156288 140736019154696 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22125/statm: 10182 9433 95 248 0 9931 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 79048
[startup+102.306 s]
/proc/loadavg: 1.96 1.98 1.91 3/181 22216
/proc/meminfo: memFree=29708636/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=98.9 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 55816 339576 0 0 173 25 9478 214 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22215] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22215/stat : 22215 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386813973 9367552 267 33554432000 4194304 5064252 140737010878304 140737010877216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22215/statm: 2287 267 226 213 0 72 0
[pid=22216] ppid=22215 vsize=45284 CPUtime=3.37 cores=1,3,5,7
/proc/22216/stat : 22216 (glucose) R 22215 22012 8900 0 -1 4202496 9493 0 0 0 336 1 0 0 20 0 1 0 386813973 46370816 9727 33554432000 4194304 5208918 140735659436752 140735659434904 4211792 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22216/statm: 11321 9727 95 248 0 11070 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 83604
[startup+162.3 s]
/proc/loadavg: 1.98 1.98 1.91 3/181 22342
/proc/meminfo: memFree=29724348/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=160.45 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 88081 548415 0 0 276 38 15383 348 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=22341] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22341/stat : 22341 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386820128 9367552 266 33554432000 4194304 5064252 140737046842592 140737046841504 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22341/statm: 2287 266 226 213 0 72 0
[pid=22342] ppid=22341 vsize=40732 CPUtime=1.81 cores=1,3,5,7
/proc/22342/stat : 22342 (glucose) R 22341 22012 8900 0 -1 4202496 8612 0 0 0 180 1 0 0 20 0 1 0 386820128 41709568 9378 33554432000 4194304 5208918 140735457832272 140735457830680 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22342/statm: 10183 9378 95 248 0 9932 0
Current children cumulated CPU time (s) 162.26
################
# More data... #
################
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1361.55 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 714022 4585663 0 0 2237 299 130689 2930 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 1361.55
Current children cumulated vsize (KiB) 29172
[startup+1422.3 s]
/proc/loadavg: 2.20 2.06 1.95 3/181 24828
/proc/meminfo: memFree=29705584/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1419.14 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 744136 4780744 0 0 2334 311 136216 3053 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=24827] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24827/stat : 24827 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386946043 9367552 267 33554432000 4194304 5064252 140734651983152 140734651982064 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24827/statm: 2287 267 226 213 0 72 0
[pid=24828] ppid=24827 vsize=45280 CPUtime=2.67 cores=1,3,5,7
/proc/24828/stat : 24828 (glucose) R 24827 22012 8900 0 -1 4202496 8819 0 0 0 266 1 0 0 20 0 1 0 386946043 46366720 9583 33554432000 4194304 5208918 140737021522368 140737021520216 4211561 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24828/statm: 11320 9583 95 248 0 11069 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 83600
[startup+1482.3 s]
/proc/loadavg: 2.25 2.09 1.96 3/181 24947
/proc/meminfo: memFree=29705716/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1480.14 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 776401 4988180 0 0 2435 325 142071 3183 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=24946] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24946/stat : 24946 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386952142 9367552 267 33554432000 4194304 5064252 140734052719888 140734052718800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24946/statm: 2287 267 226 213 0 72 0
[pid=24947] ppid=24946 vsize=40732 CPUtime=1.68 cores=1,3,5,7
/proc/24947/stat : 24947 (glucose) R 24946 22012 8900 0 -1 4202496 8783 0 0 0 166 2 0 0 20 0 1 0 386952142 41709568 9511 33554432000 4194304 5208918 140734508790192 140734508788600 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24947/statm: 10183 9511 95 248 0 9932 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 79052
[startup+1542.31 s]
/proc/loadavg: 2.19 2.10 1.97 3/181 25069
/proc/meminfo: memFree=29757016/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1541.66 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 806523 5191321 0 0 2528 339 147993 3306 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168287776 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25067] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25067/stat : 25067 (cp2_post.sh) S 22013 22012 8900 0 -1 4202496 610 225 0 0 0 0 0 0 20 0 1 0 386958295 9367552 265 33554432000 4194304 5064252 140736464646608 140736464644896 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25067/statm: 2287 265 225 213 0 72 0
[pid=25069] ppid=25067 vsize=8924 CPUtime=0.15 cores=1,3,5,7
/proc/25069/stat : 25069 (coprocessor) R 25067 22012 8900 0 -1 4202496 1752 0 0 0 11 4 0 0 20 0 1 0 386958296 9138176 1583 33554432000 4194304 6586260 140735223140832 140735223137848 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25069/statm: 2231 1583 145 584 0 1643 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 47244
[startup+1602.3 s]
/proc/loadavg: 2.07 2.08 1.97 3/181 25186
/proc/meminfo: memFree=29713076/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1599.87 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 838780 5387672 0 0 2629 352 153576 3430 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25185] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25185/stat : 25185 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386964118 9367552 267 33554432000 4194304 5064252 140733628009680 140733628008592 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25185/statm: 2287 267 226 213 0 72 0
[pid=25186] ppid=25185 vsize=40732 CPUtime=1.91 cores=1,3,5,7
/proc/25186/stat : 25186 (glucose) R 25185 22012 8900 0 -1 4202496 9237 0 0 0 190 1 0 0 20 0 1 0 386964119 41709568 9401 33554432000 4194304 5208918 140733340552272 140733340550680 4211553 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25186/statm: 10183 9401 95 248 0 9932 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 79052
[startup+1662.3 s]
/proc/loadavg: 2.02 2.06 1.97 3/182 25304
/proc/meminfo: memFree=29739224/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1661.7 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 871045 5593437 0 0 2730 366 159510 3564 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 29172
[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 1.98 3/181 25420
/proc/meminfo: memFree=29709752/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1719.58 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 901159 5786975 0 0 2825 377 165062 3694 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25419] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25419/stat : 25419 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 386976103 9367552 267 33554432000 4194304 5064252 140737456219120 140737456218032 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25419/statm: 2287 267 226 213 0 72 0
[pid=25420] ppid=25419 vsize=40732 CPUtime=2.06 cores=1,3,5,7
/proc/25420/stat : 25420 (glucose) R 25419 22012 8900 0 -1 4202496 9209 0 0 0 204 2 0 0 20 0 1 0 386976104 41709568 9431 33554432000 4194304 5208918 140735814796480 140735814794888 4211656 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25420/statm: 10183 9431 95 248 0 9932 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 79052
[startup+1782.3 s]
/proc/loadavg: 2.09 2.08 1.99 3/181 25584
/proc/meminfo: memFree=29676940/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1777.81 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 931273 5985010 0 0 2920 390 170653 3818 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25583] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25583/stat : 25583 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386981932 9367552 267 33554432000 4194304 5064252 140737442776928 140737442775840 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25583/statm: 2287 267 226 213 0 72 0
[pid=25584] ppid=25583 vsize=45984 CPUtime=3.77 cores=1,3,5,7
/proc/25584/stat : 25584 (glucose) R 25583 22012 8900 0 -1 4202496 9644 0 0 0 375 2 0 0 20 0 1 0 386981932 47087616 10331 33554432000 4194304 5208918 140733222372784 140733222370936 4205261 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/25584/statm: 11496 10331 103 248 0 11245 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (KiB) 84304
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.81 s]
/proc/loadavg: 2.13 2.09 2.00 3/181 25619
/proc/meminfo: memFree=29678520/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1798.47 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 942028 6054757 0 0 2953 394 172637 3863 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25618] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25618/stat : 25618 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386984000 9367552 266 33554432000 4194304 5064252 140734910999728 140734910998640 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25618/statm: 2287 266 226 213 0 72 0
[pid=25619] ppid=25618 vsize=40728 CPUtime=1.61 cores=1,3,5,7
/proc/25619/stat : 25619 (glucose) R 25618 22012 8900 0 -1 4202496 9142 0 0 0 160 1 0 0 20 0 1 0 386984000 41705472 9321 33554432000 4194304 5208918 140736768053536 140736768051944 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25619/statm: 10182 9321 95 248 0 9931 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 79048
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.81 s]
/proc/loadavg: 2.13 2.09 2.00 3/181 25619
/proc/meminfo: memFree=29678520/32873844 swapFree=7120/7120
[pid=22012] ppid=22010 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22012/stat : 22012 (npSolver-wbo-It) S 22010 22012 8900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 386804081 9367552 275 33554432000 4194304 5064252 140733557305904 140733557304816 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22012/statm: 2287 275 233 213 0 72 0
[pid=22013] ppid=22012 vsize=20024 CPUtime=1798.47 cores=1,3,5,7
/proc/22013/stat : 22013 (npSolver-wbo) S 22012 22012 8900 0 -1 4202496 942028 6054757 0 0 2953 394 172637 3863 20 0 1 0 386804081 20504576 3961 33554432000 4194304 6006132 140737168296928 140737168288288 5187998 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22013/statm: 5006 3961 177 443 0 4559 0
[pid=25618] ppid=22013 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25618/stat : 25618 (satsolver.sh) S 22013 22012 8900 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386984000 9367552 266 33554432000 4194304 5064252 140734910999728 140734910998640 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25618/statm: 2287 266 226 213 0 72 0
[pid=25619] ppid=25618 vsize=40728 CPUtime=1.61 cores=1,3,5,7
/proc/25619/stat : 25619 (glucose) R 25618 22012 8900 0 -1 4202496 9142 0 0 0 160 1 0 0 20 0 1 0 386984000 41705472 9321 33554432000 4194304 5208918 140736768053536 140736768051944 4211570 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/25619/statm: 10182 9321 95 248 0 9931 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 79048
Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.12
CPU user time (s): 1757.52
CPU system time (s): 42.6025
CPU usage (%): 99.9614
Max. virtual memory (cumulated for all children) (KiB): 84304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1757.52
system time used= 42.6025
maximum resident set size= 42080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7006917
page faults= 0
swaps= 0
block input operations= 8
block output operations= 5155976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 103938
involuntary context switches= 10770
runsolver used 3.18751 second user time and 7.92879 second system time
The end