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-3753259-1339208171/watcher-3753259-1339208171 -o /tmp/evaluation-result-3753259-1339208171/solver-3753259-1339208171 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753259-1339208171.wbo 2025099197 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.02 1.87 3/179 30481
/proc/meminfo: memFree=31151372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[startup+0.021388 s]
/proc/loadavg: 2.09 2.02 1.87 3/179 30481
/proc/meminfo: memFree=31151372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 2.09 2.02 1.87 3/179 30481
/proc/meminfo: memFree=31151372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 2.09 2.02 1.87 3/179 30481
/proc/meminfo: memFree=31151372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700206 s]
/proc/loadavg: 2.09 2.02 1.87 3/179 30481
/proc/meminfo: memFree=31151372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 30502
/proc/meminfo: memFree=31154996/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 1953 2181 0 0 2 0 14 0 20 0 1 0 386943952 3162112 375 33554432000 4194304 6006132 140734941224912 140734941219104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30482/statm: 772 375 158 443 0 325 0
[pid=30490] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386943969 9367552 267 33554432000 4194304 5064252 140733429533040 140733429531952 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30490/statm: 2287 267 226 213 0 72 0
[pid=30491] ppid=30490 vsize=12808 CPUtime=1.31 cores=1,3,5,7
/proc/30491/stat : 30491 (glucose) R 30490 30481 7481 0 -1 4202496 2891 0 0 0 131 0 0 0 20 0 1 0 386943970 13115392 2241 33554432000 4194304 5208918 140735398957744 140735398955688 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30491/statm: 3202 2241 96 248 0 2951 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34192
[startup+3.10034 s]
/proc/loadavg: 2.09 2.02 1.87 3/183 30516
/proc/meminfo: memFree=31138880/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 1953 2181 0 0 2 0 14 0 20 0 1 0 386943952 3162112 375 33554432000 4194304 6006132 140734941224912 140734941219104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30482/statm: 772 375 158 443 0 325 0
[pid=30490] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386943969 9367552 267 33554432000 4194304 5064252 140733429533040 140733429531952 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30490/statm: 2287 267 226 213 0 72 0
[pid=30491] ppid=30490 vsize=12808 CPUtime=2.91 cores=1,3,5,7
/proc/30491/stat : 30491 (glucose) R 30490 30481 7481 0 -1 4202496 3440 0 0 0 291 0 0 0 20 0 1 0 386943970 13115392 2782 33554432000 4194304 5208918 140735398957744 140735398955688 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30491/statm: 3202 2782 96 248 0 2951 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 34192
[startup+6.30034 s]
/proc/loadavg: 2.16 2.03 1.88 3/184 30561
/proc/meminfo: memFree=31175988/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=3088 CPUtime=0.16 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 1953 2181 0 0 2 0 14 0 20 0 1 0 386943952 3162112 375 33554432000 4194304 6006132 140734941224912 140734941219104 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/30482/statm: 772 375 158 443 0 325 0
[pid=30490] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30490/stat : 30490 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386943969 9367552 267 33554432000 4194304 5064252 140733429533040 140733429531952 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30490/statm: 2287 267 226 213 0 72 0
[pid=30491] ppid=30490 vsize=22604 CPUtime=6.1 cores=1,3,5,7
/proc/30491/stat : 30491 (glucose) R 30490 30481 7481 0 -1 4202496 4339 0 0 0 610 0 0 0 20 0 1 0 386943970 23146496 5192 33554432000 4194304 5208918 140735398957744 140735398955736 4229479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30491/statm: 5651 5192 96 248 0 5400 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 43988
[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 1.88 3/183 30656
/proc/meminfo: memFree=31132564/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=9.35 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 2528 9639 0 0 3 1 930 1 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=30620] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386944895 9367552 267 33554432000 4194304 5064252 140735272629904 140735272628816 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30620/statm: 2287 267 226 213 0 72 0
[pid=30621] ppid=30620 vsize=17424 CPUtime=3.26 cores=1,3,5,7
/proc/30621/stat : 30621 (glucose) R 30620 30481 7481 0 -1 4202496 4218 0 0 0 326 0 0 0 20 0 1 0 386944895 17842176 3822 33554432000 4194304 5208918 140733581614752 140733581612696 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30621/statm: 4356 3822 96 248 0 4105 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 40732
[startup+25.5003 s]
/proc/loadavg: 2.11 2.03 1.88 3/183 30825
/proc/meminfo: memFree=31248412/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=9.35 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 2528 9639 0 0 3 1 930 1 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=30620] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30620/stat : 30620 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386944895 9367552 267 33554432000 4194304 5064252 140735272629904 140735272628816 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30620/statm: 2287 267 226 213 0 72 0
[pid=30621] ppid=30620 vsize=28920 CPUtime=16.06 cores=1,3,5,7
/proc/30621/stat : 30621 (glucose) R 30620 30481 7481 0 -1 4202496 5838 0 0 0 1605 1 0 0 20 0 1 0 386944895 29614080 6710 33554432000 4194304 5208918 140733581614752 140733581612616 4229410 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30621/statm: 7230 6710 96 248 0 6979 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 52228
[startup+51.1003 s]
/proc/loadavg: 2.14 2.04 1.89 3/183 30846
/proc/meminfo: memFree=31239732/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=43.07 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 3648 26503 0 0 5 2 4291 9 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=30838] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30838/stat : 30838 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386948267 9367552 267 33554432000 4194304 5064252 140736960028768 140736960027680 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30838/statm: 2287 267 226 213 0 72 0
[pid=30839] ppid=30838 vsize=24500 CPUtime=7.94 cores=1,3,5,7
/proc/30839/stat : 30839 (glucose) R 30838 30481 7481 0 -1 4202496 5429 0 0 0 793 1 0 0 20 0 1 0 386948267 25088000 5609 33554432000 4194304 5208918 140736516658448 140736516656392 4215296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30839/statm: 6125 5609 96 248 0 5874 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 47808
[startup+102.307 s]
/proc/loadavg: 2.06 2.03 1.89 3/183 30874
/proc/meminfo: memFree=31252328/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=93.03 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 5328 52880 0 0 9 2 9271 21 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=30866] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30866/stat : 30866 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 386953264 9367552 266 33554432000 4194304 5064252 140733729710864 140733729709776 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30866/statm: 2287 266 226 213 0 72 0
[pid=30867] ppid=30866 vsize=24496 CPUtime=9.17 cores=1,3,5,7
/proc/30867/stat : 30867 (glucose) R 30866 30481 7481 0 -1 4202496 5191 0 0 0 916 1 0 0 20 0 1 0 386953264 25083904 5616 33554432000 4194304 5208918 140736978177904 140736978175848 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30867/statm: 6124 5616 96 248 0 5873 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 47804
[startup+162.3 s]
/proc/loadavg: 2.12 2.05 1.91 3/183 30909
/proc/meminfo: memFree=31263148/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=159.87 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 7568 89111 0 0 13 3 15935 36 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=30901] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/31527/statm: 2287 267 226 213 0 72 0
[pid=31528] ppid=31527 vsize=24500 CPUtime=6.3 cores=1,3,5,7
/proc/31528/stat : 31528 (glucose) R 31527 30481 7481 0 -1 4202496 4738 0 0 0 630 0 0 0 20 0 1 0 387073551 25088000 5507 33554432000 4194304 5208918 140735306302704 140735306300648 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31528/statm: 6125 5507 96 248 0 5874 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 47808
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/183 31556
/proc/meminfo: memFree=31222272/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1345.41 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 47328 727011 0 0 93 14 134127 307 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31555] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31555/stat : 31555 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387078530 9367552 266 33554432000 4194304 5064252 140733455905232 140733455904144 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31555/statm: 2287 266 226 213 0 72 0
[pid=31556] ppid=31555 vsize=28916 CPUtime=16.5 cores=1,3,5,7
/proc/31556/stat : 31556 (glucose) R 31555 30481 7481 0 -1 4202496 5947 0 0 0 1649 1 0 0 20 0 1 0 387078530 29609984 6707 33554432000 4194304 5208918 140735815650064 140735815647928 4229517 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31556/statm: 7229 6707 96 248 0 6978 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 52224
[startup+1422.31 s]
/proc/loadavg: 2.14 2.04 1.99 3/184 31592
/proc/meminfo: memFree=31217840/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1412.28 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 49568 763282 0 0 97 16 140791 324 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31591] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31591/stat : 31591 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387085217 9367552 267 33554432000 4194304 5064252 140734670887024 140734670885936 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31591/statm: 2287 267 226 213 0 72 0
[pid=31592] ppid=31591 vsize=28916 CPUtime=9.64 cores=1,3,5,7
/proc/31592/stat : 31592 (glucose) R 31591 30481 7481 0 -1 4202496 5597 0 0 0 963 1 0 0 20 0 1 0 387085217 29609984 6501 33554432000 4194304 5208918 140735889557776 140735889555640 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31592/statm: 7229 6501 96 248 0 6978 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 52224
[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/184 31629
/proc/meminfo: memFree=31229500/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1478.38 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 51808 799588 0 0 102 16 147384 336 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31628] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31628/stat : 31628 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387091830 9367552 267 33554432000 4194304 5064252 140733799173824 140733799172736 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31628/statm: 2287 267 226 213 0 72 0
[pid=31629] ppid=31628 vsize=24500 CPUtime=3.5 cores=1,3,5,7
/proc/31629/stat : 31629 (glucose) R 31628 30481 7481 0 -1 4202496 4073 0 0 0 350 0 0 0 20 0 1 0 387091830 25088000 5426 33554432000 4194304 5208918 140735257686000 140735257683992 4229720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31629/statm: 6125 5426 96 248 0 5874 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 47808
[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/183 31658
/proc/meminfo: memFree=31217372/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1528.33 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 53488 826611 0 0 105 17 152363 348 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31657] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31657/stat : 31657 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387096825 9367552 267 33554432000 4194304 5064252 140733390434528 140733390433440 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31657/statm: 2287 267 226 213 0 72 0
[pid=31658] ppid=31657 vsize=28916 CPUtime=13.55 cores=1,3,5,7
/proc/31658/stat : 31658 (glucose) R 31657 30481 7481 0 -1 4202496 5684 0 0 0 1354 1 0 0 20 0 1 0 387096826 29609984 6707 33554432000 4194304 5208918 140736547060208 140736547058072 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31658/statm: 7229 6707 96 248 0 6978 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 52224
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 1.99 3/183 31693
/proc/meminfo: memFree=31224640/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1595.2 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 55728 861280 0 0 110 17 159030 363 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31692] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31692/stat : 31692 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387103514 9367552 267 33554432000 4194304 5064252 140735144668864 140735144667776 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31692/statm: 2287 267 226 213 0 72 0
[pid=31693] ppid=31692 vsize=24504 CPUtime=6.67 cores=1,3,5,7
/proc/31693/stat : 31693 (glucose) R 31692 30481 7481 0 -1 4202496 4235 0 0 0 666 1 0 0 20 0 1 0 387103514 25092096 5385 33554432000 4194304 5208918 140736165307856 140736165305800 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31693/statm: 6126 5385 96 248 0 5875 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 47812
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 31721
/proc/meminfo: memFree=31216988/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1661.7 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 57968 896129 0 0 114 18 165662 376 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 14160
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 31756
/proc/meminfo: memFree=31219400/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1711.72 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 59648 922847 0 0 118 18 170650 386 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31755] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31755/stat : 31755 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387115176 9367552 266 33554432000 4194304 5064252 140736892271696 140736892270608 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31755/statm: 2287 266 226 213 0 72 0
[pid=31756] ppid=31755 vsize=28920 CPUtime=10.04 cores=1,3,5,7
/proc/31756/stat : 31756 (glucose) R 31755 30481 7481 0 -1 4202496 5787 0 0 0 1004 0 0 0 20 0 1 0 387115177 29614080 6651 33554432000 4194304 5208918 140734094284720 140734094282584 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31756/statm: 7230 6651 96 248 0 6979 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 52228
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 31791
/proc/meminfo: memFree=31230924/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1778.64 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 61888 957852 0 0 122 19 177321 402 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31790] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31790/stat : 31790 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387121869 9367552 266 33554432000 4194304 5064252 140735756607424 140735756606336 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31790/statm: 2287 266 226 213 0 72 0
[pid=31791] ppid=31790 vsize=17424 CPUtime=3.12 cores=1,3,5,7
/proc/31791/stat : 31791 (glucose) R 31790 30481 7481 0 -1 4202496 3864 0 0 0 312 0 0 0 20 0 1 0 387121869 17842176 3798 33554432000 4194304 5208918 140734335168336 140734335166280 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31791/statm: 4356 3798 96 248 0 4105 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 40732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 31799
/proc/meminfo: memFree=31224764/32873648 swapFree=7376/7376
[pid=30481] ppid=30479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30481/stat : 30481 (npSolver-wbo-It) S 30479 30481 7481 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 386943952 9367552 274 33554432000 4194304 5064252 140736545148160 140736545147072 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30481/statm: 2287 274 233 213 0 72 0
[pid=30482] ppid=30481 vsize=5012 CPUtime=1795.5 cores=1,3,5,7
/proc/30482/stat : 30482 (npSolver-wbo) S 30481 30481 7481 0 -1 4202496 62448 966637 0 0 123 19 179002 406 20 0 1 0 386943952 5132288 816 33554432000 4194304 6006132 140734941224912 140734941216272 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30482/statm: 1253 816 177 443 0 806 0
[pid=31798] ppid=30482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31798/stat : 31798 (satsolver.sh) S 30482 30481 7481 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387123555 9367552 266 33554432000 4194304 5064252 140734784584784 140734784583696 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2287 266 226 213 0 72 0
[pid=31799] ppid=31798 vsize=17428 CPUtime=4.57 cores=1,3,5,7
/proc/31799/stat : 31799 (glucose) R 31798 30481 7481 0 -1 4202496 4944 0 0 0 456 1 0 0 20 0 1 0 387123555 17846272 3848 33554432000 4194304 5208918 140733223425104 140733223423192 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/31799/statm: 4357 3848 96 248 0 4106 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 40736
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1795.83
CPU system time (s): 4.27535
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 52232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.83
system time used= 4.27535
maximum resident set size= 29864
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1035016
page faults= 0
swaps= 0
block input operations= 0
block output operations= 253920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5254
involuntary context switches= 3371
runsolver used 3.3175 second user time and 9.48056 second system time
The end