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-3714297-1338183473/watcher-3714297-1338183473 -o /tmp/evaluation-result-3714297-1338183473/solver-3714297-1338183473 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714297-1338183473.wbo 1253673561 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: 1.92 2.00 1.99 3/177 17093
/proc/meminfo: memFree=29909824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[startup+0.070905 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 17093
/proc/meminfo: memFree=29909824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100294 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 17093
/proc/meminfo: memFree=29909824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 17093
/proc/meminfo: memFree=29909824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 1.92 2.00 1.99 3/177 17093
/proc/meminfo: memFree=29909824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 17097
/proc/meminfo: memFree=29765840/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=27152 CPUtime=0.76 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 5627 0 0 0 74 2 0 0 20 0 1 0 284475893 27803648 4987 33554432000 4194304 5990268 140737010853920 140737010847072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 6788 4987 156 439 0 6345 0
[pid=17096] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17096/stat : 17096 (cp2_pre.sh) S 17094 17093 14387 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284475970 9367552 276 33554432000 4194304 5064252 140735390626480 140735390625184 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17096/statm: 2287 276 234 213 0 72 0
[pid=17097] ppid=17096 vsize=158424 CPUtime=0.71 cores=0,2,4,6
/proc/17097/stat : 17097 (coprocessor) R 17096 17093 14387 0 -1 4202496 27214 0 0 0 66 5 0 0 20 0 1 0 284475970 162226176 37920 33554432000 4194304 6586260 140734609177152 140735390625208 4770732 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 39606 37920 175 584 0 39018 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 203872
[startup+3.1004 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 17097
/proc/meminfo: memFree=29695572/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=27152 CPUtime=0.76 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 5627 0 0 0 74 2 0 0 20 0 1 0 284475893 27803648 4987 33554432000 4194304 5990268 140737010853920 140737010847072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 6788 4987 156 439 0 6345 0
[pid=17096] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17096/stat : 17096 (cp2_pre.sh) S 17094 17093 14387 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284475970 9367552 276 33554432000 4194304 5064252 140735390626480 140735390625184 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17096/statm: 2287 276 234 213 0 72 0
[pid=17097] ppid=17096 vsize=184064 CPUtime=2.31 cores=0,2,4,6
/proc/17097/stat : 17097 (coprocessor) R 17096 17093 14387 0 -1 4202496 30831 0 0 0 225 6 0 0 20 0 1 0 284475970 188481536 44603 33554432000 4194304 6586260 140734609177152 140734609172472 4676681 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 46016 44603 191 584 0 45428 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 229512
[startup+6.3004 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 17097
/proc/meminfo: memFree=29701824/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=27152 CPUtime=0.76 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 5627 0 0 0 74 2 0 0 20 0 1 0 284475893 27803648 4987 33554432000 4194304 5990268 140737010853920 140737010847072 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 6788 4987 156 439 0 6345 0
[pid=17096] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17096/stat : 17096 (cp2_pre.sh) S 17094 17093 14387 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284475970 9367552 276 33554432000 4194304 5064252 140735390626480 140735390625184 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17096/statm: 2287 276 234 213 0 72 0
[pid=17097] ppid=17096 vsize=184064 CPUtime=5.51 cores=0,2,4,6
/proc/17097/stat : 17097 (coprocessor) R 17096 17093 14387 0 -1 4202496 30849 0 0 0 545 6 0 0 20 0 1 0 284475970 188481536 44621 33554432000 4194304 6586260 140734609177152 140734609172472 4689878 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17097/statm: 46016 44621 191 584 0 45428 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 229512
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 17107
/proc/meminfo: memFree=29751264/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=11.28 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 8694 56242 0 0 88 30 940 70 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17106] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17106/stat : 17106 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284477023 9367552 267 33554432000 4194304 5064252 140736672545328 140736672544240 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17106/statm: 2287 267 226 213 0 72 0
[pid=17107] ppid=17106 vsize=96548 CPUtime=1.13 cores=0,2,4,6
/proc/17107/stat : 17107 (glucose) R 17106 17093 14387 0 -1 4202496 19817 0 0 0 109 4 0 0 20 0 1 0 284477023 98865152 21388 33554432000 4194304 5208918 140735413087040 140735413085000 4229344 0 0 4096 0 0 0 0 17 0 0 0 24 0 0
/proc/17107/statm: 24137 21388 103 248 0 23886 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 162036
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.99 3/181 17128
/proc/meminfo: memFree=29774852/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=23.14 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 14689 134133 0 0 97 31 2083 103 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17127] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17127/stat : 17127 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284478235 9367552 265 33554432000 4194304 5064252 140735007568688 140735007567600 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17127/statm: 2287 265 226 213 0 72 0
[pid=17128] ppid=17127 vsize=59420 CPUtime=2.06 cores=0,2,4,6
/proc/17128/stat : 17128 (glucose) R 17127 17093 14387 0 -1 4202496 12545 0 0 0 204 2 0 0 20 0 1 0 284478236 60846080 13295 33554432000 4194304 5208918 140735192663648 140735192661608 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17128/statm: 14855 13295 104 248 0 14604 0
Current children cumulated CPU time (s) 25.2
Current children cumulated vsize (KiB) 124908
[startup+51.1004 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 17163
/proc/meminfo: memFree=29780412/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=59044 CPUtime=2.36 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 12769 0 0 0 235 1 0 0 20 0 1 0 284480765 60461056 12568 33554432000 4194304 5208918 140734867496768 140734867494616 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 14761 12568 104 248 0 14510 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 124532
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 17163
/proc/meminfo: memFree=29732488/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=82976 CPUtime=53.56 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 15244 0 0 0 5353 3 0 0 20 0 1 0 284480765 84967424 18595 33554432000 4194304 5208918 140734867496768 140734867493144 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 20744 18595 105 248 0 20493 0
Current children cumulated CPU time (s) 102
Current children cumulated vsize (KiB) 148464
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17166
/proc/meminfo: memFree=29709828/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17176
/proc/meminfo: memFree=29419720/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1313.35 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 25102 0 0 0 131321 14 0 0 20 0 1 0 284480765 250363904 57171 33554432000 4194304 5208918 140734867496768 140734867494856 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 57171 105 248 0 60873 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 309984
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17199
/proc/meminfo: memFree=29415628/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1373.36 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 25749 0 0 0 137320 16 0 0 20 0 1 0 284480765 250363904 56147 33554432000 4194304 5208918 140734867496768 140734867493144 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 56147 105 248 0 60873 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 309984
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17199
/proc/meminfo: memFree=29390952/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1433.34 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 25755 0 0 0 143318 16 0 0 20 0 1 0 284480765 250363904 59219 33554432000 4194304 5208918 140734867496768 140734867493144 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 59219 105 248 0 60873 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 309984
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17199
/proc/meminfo: memFree=29429820/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1493.34 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 26706 0 0 0 149316 18 0 0 20 0 1 0 284480765 250363904 58195 33554432000 4194304 5208918 140734867496768 140734867493144 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 58195 105 248 0 60873 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 309984
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17199
/proc/meminfo: memFree=29417724/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1553.31 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 27668 0 0 0 155312 19 0 0 20 0 1 0 284480765 250363904 57171 33554432000 4194304 5208918 140734867496768 140734867492584 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 57171 105 248 0 60873 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 309984
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17199
/proc/meminfo: memFree=29395372/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=275316 CPUtime=1613.31 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 28281 0 0 0 161311 20 0 0 20 0 1 0 284480765 281923584 60822 33554432000 4194304 5208918 140734867496768 140734867493144 4229288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 68829 60822 105 248 0 68578 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 340804
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17200
/proc/meminfo: memFree=29390844/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1673.3 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 28721 0 0 0 167309 21 0 0 20 0 1 0 284480765 250363904 59299 33554432000 4194304 5208918 140734867496768 140734867493080 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 59299 105 248 0 60873 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 309984
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17200
/proc/meminfo: memFree=29387684/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1733.29 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 29596 0 0 0 173306 23 0 0 20 0 1 0 284480765 250363904 58195 33554432000 4194304 5208918 140734867496768 140734867493080 4229344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 58195 105 248 0 60873 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 309984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.94 1.98 1.99 3/181 17280
/proc/meminfo: memFree=29629760/32873844 swapFree=7112/7112
[pid=17093] ppid=17091 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17093/stat : 17093 (npSolver-wbo-I.) S 17091 17093 14387 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 284475893 9367552 274 33554432000 4194304 5064252 140736361979888 140736361978800 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17093/statm: 2287 274 233 213 0 72 0
[pid=17094] ppid=17093 vsize=47192 CPUtime=48.44 cores=0,2,4,6
/proc/17094/stat : 17094 (npSolver-wbo) S 17093 17093 14387 0 -1 4202496 21986 246642 0 0 106 32 4562 144 20 0 1 0 284475893 48324608 9331 33554432000 4194304 5990268 140737010853920 140737010845360 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17094/statm: 11798 9331 164 439 0 11355 0
[pid=17162] ppid=17094 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17162/stat : 17162 (satsolver.sh) S 17094 17093 14387 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284480764 9367552 267 33554432000 4194304 5064252 140734861515040 140734861513952 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17162/statm: 2287 267 226 213 0 72 0
[pid=17163] ppid=17162 vsize=244496 CPUtime=1751.6 cores=0,2,4,6
/proc/17163/stat : 17163 (glucose) R 17162 17093 14387 0 -1 4202496 29598 0 0 0 175137 23 0 0 20 0 1 0 284480765 250363904 59219 33554432000 4194304 5208918 140734867496768 140734867493144 4229010 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17163/statm: 61124 59219 105 248 0 60873 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 309984
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.08
CPU user time (s): 1798.07
CPU system time (s): 2.01069
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 390124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.07
system time used= 2.01069
maximum resident set size= 287440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299216
page faults= 0
swaps= 0
block input operations= 0
block output operations= 221704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5168
involuntary context switches= 2028
runsolver used 2.93355 second user time and 7.84981 second system time
The end