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-3700945-1338139570/watcher-3700945-1338139570 -o /tmp/evaluation-result-3700945-1338139570/solver-3700945-1338139570 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700945-1338139570.opb 712135089 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26254
/proc/meminfo: memFree=26844916/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[startup+0.0240831 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26254
/proc/meminfo: memFree=26844916/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26254
/proc/meminfo: memFree=26844916/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26254
/proc/meminfo: memFree=26844916/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26254
/proc/meminfo: memFree=26844916/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26258
/proc/meminfo: memFree=26619740/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=54660 CPUtime=0.56 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 8344 0 0 0 50 6 0 0 20 0 1 0 280082432 55971840 10560 33554432000 4194304 5992684 140733507339712 140733507333744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26255/statm: 13665 10560 172 440 0 13221 0
[pid=26257] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26257/stat : 26257 (cp2_pre.sh) S 26255 26254 23788 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 280082489 9367552 276 33554432000 4194304 5064252 140734519587120 140734519585824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26257/statm: 2287 276 234 213 0 72 0
[pid=26258] ppid=26257 vsize=223212 CPUtime=0.91 cores=1,3,5,7
/proc/26258/stat : 26258 (coprocessor) R 26257 26254 23788 0 -1 4202496 33508 0 0 0 86 5 0 0 20 0 1 0 280082489 228569088 50396 33554432000 4194304 6586260 140735978409600 140735978405864 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26258/statm: 55803 50397 166 584 0 55215 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 296168
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26258
/proc/meminfo: memFree=26547724/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=54660 CPUtime=0.56 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 8344 0 0 0 50 6 0 0 20 0 1 0 280082432 55971840 10560 33554432000 4194304 5992684 140733507339712 140733507333744 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26255/statm: 13665 10560 172 440 0 13221 0
[pid=26257] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26257/stat : 26257 (cp2_pre.sh) S 26255 26254 23788 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 280082489 9367552 276 33554432000 4194304 5064252 140734519587120 140734519585824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26257/statm: 2287 276 234 213 0 72 0
[pid=26258] ppid=26257 vsize=290940 CPUtime=2.52 cores=1,3,5,7
/proc/26258/stat : 26258 (coprocessor) R 26257 26254 23788 0 -1 4202496 45113 0 0 0 215 37 0 0 20 0 1 0 280082489 297922560 71288 33554432000 4194304 6586260 140735978409600 140735978405448 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26258/statm: 72735 71288 203 584 0 72147 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 363896
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26261
/proc/meminfo: memFree=26675236/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=54660 CPUtime=3.94 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 8351 46017 0 0 50 6 295 43 20 0 1 0 280082432 55971840 10560 33554432000 4194304 5992684 140733507339712 140733507334832 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26255/statm: 13665 10560 172 440 0 13221 0
[pid=26260] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26260/stat : 26260 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280082827 9367552 266 33554432000 4194304 5064252 140733245947168 140733245946080 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26260/statm: 2287 266 226 213 0 72 0
[pid=26261] ppid=26260 vsize=114880 CPUtime=2.33 cores=1,3,5,7
/proc/26261/stat : 26261 (glucose) R 26260 26254 23788 0 -1 4202496 22775 0 0 0 230 3 0 0 20 0 1 0 280082828 117637120 26348 33554432000 4194304 5208918 140737449213008 140737449210840 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26261/statm: 28720 26348 103 248 0 28469 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 187836
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 26268
/proc/meminfo: memFree=26157868/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=327248 CPUtime=10.84 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 21061 77607 0 0 286 150 594 54 20 0 1 0 280082432 335101952 50851 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/26255/statm: 81812 50851 188 440 0 81368 0
[pid=26267] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280083519 9367552 267 33554432000 4194304 5064252 140734507993184 140734507992096 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26267/statm: 2287 267 226 213 0 72 0
[pid=26268] ppid=26267 vsize=485916 CPUtime=1.81 cores=1,3,5,7
/proc/26268/stat : 26268 (glucose) R 26267 26254 23788 0 -1 4202496 67904 0 0 0 163 18 0 0 20 0 1 0 280083519 497577984 108947 33554432000 4194304 5208918 140733441725504 140733440674904 4237133 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26268/statm: 121479 108947 70 248 0 121228 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 831460
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/184 26269
/proc/meminfo: memFree=25998892/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=327248 CPUtime=10.84 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 21061 77607 0 0 286 150 594 54 20 0 1 0 280082432 335101952 50851 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/26255/statm: 81812 50851 188 440 0 81368 0
[pid=26267] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 280083519 9367552 267 33554432000 4194304 5064252 140734507993184 140734507992096 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26267/statm: 2287 267 226 213 0 72 0
[pid=26268] ppid=26267 vsize=538080 CPUtime=14.61 cores=1,3,5,7
/proc/26268/stat : 26268 (glucose) R 26267 26254 23788 0 -1 4202496 82163 0 0 0 1438 23 0 0 20 0 1 0 280083519 550993920 114047 33554432000 4194304 5208918 140733441725504 140733441723336 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26268/statm: 134520 114047 104 248 0 134269 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 883624
[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 26276
/proc/meminfo: memFree=26031548/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=326748 CPUtime=31.42 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 30973 170327 0 0 483 177 2345 137 20 0 1 0 280082432 334589952 47655 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 81687 47655 189 440 0 81243 0
[pid=26275] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280085600 9367552 265 33554432000 4194304 5064252 140734864900912 140734864899824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26275/statm: 2287 265 226 213 0 72 0
[pid=26276] ppid=26275 vsize=522160 CPUtime=19.41 cores=1,3,5,7
/proc/26276/stat : 26276 (glucose) R 26275 26254 23788 0 -1 4202496 74961 0 0 0 1921 20 0 0 20 0 1 0 280085600 534691840 110726 33554432000 4194304 5208918 140734963766016 140734963763688 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26276/statm: 130540 110726 104 248 0 130289 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 867204
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 26276
/proc/meminfo: memFree=26001500/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=326748 CPUtime=31.42 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 30973 170327 0 0 483 177 2345 137 20 0 1 0 280082432 334589952 47655 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 81687 47655 189 440 0 81243 0
[pid=26275] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 280085600 9367552 265 33554432000 4194304 5064252 140734864900912 140734864899824 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26275/statm: 2287 265 226 213 0 72 0
[pid=26276] ppid=26275 vsize=522972 CPUtime=70.6 cores=1,3,5,7
/proc/26276/stat : 26276 (glucose) R 26275 26254 23788 0 -1 4202496 75530 0 0 0 7038 22 0 0 20 0 1 0 280085600 535523328 111255 33554432000 4194304 5208918 140734963766016 140734963763768 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26276/statm: 130743 111255 104 248 0 130492 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 868016
[startup+162.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26277
/proc/meminfo: memFree=26113028/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=326748 CPUtime=31.42 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 30973 170327 0 0 483 177 2345 137 20 0 1 0 280082432 334589952 47655 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 81687 47655 189 440 0 81243 0
[pid=26275] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 26368
/proc/meminfo: memFree=26621396/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=347224 CPUtime=381.8 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 59698 0 0 0 38160 20 0 0 20 0 1 0 280186471 355557376 75522 33554432000 4194304 5208918 140735854976480 140735854974568 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 86806 75522 105 248 0 86555 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 598528
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 26371
/proc/meminfo: memFree=26718776/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=349012 CPUtime=441.8 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 60220 0 0 0 44159 21 0 0 20 0 1 0 280186471 357388288 77712 33554432000 4194304 5208918 140735854976480 140735854974312 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 87253 77712 105 248 0 87002 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 600316
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26371
/proc/meminfo: memFree=26538704/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=349012 CPUtime=501.77 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 60347 0 0 0 50156 21 0 0 20 0 1 0 280186471 357388288 79740 33554432000 4194304 5208918 140735854976480 140735854974312 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 87253 79740 105 248 0 87002 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 600316
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26371
/proc/meminfo: memFree=26653084/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=349012 CPUtime=561.76 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 61185 0 0 0 56154 22 0 0 20 0 1 0 280186471 357388288 76534 33554432000 4194304 5208918 140735854976480 140735854974568 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 87253 76534 105 248 0 87002 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 600316
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26372
/proc/meminfo: memFree=26781216/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=353788 CPUtime=621.75 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 61750 0 0 0 62153 22 0 0 20 0 1 0 280186471 362278912 78121 33554432000 4194304 5208918 140735854976480 140735854974312 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 88447 78121 105 248 0 88196 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 605092
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26372
/proc/meminfo: memFree=26575928/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=353788 CPUtime=681.75 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 61910 0 0 0 68152 23 0 0 20 0 1 0 280186471 362278912 81345 33554432000 4194304 5208918 140735854976480 140735854974312 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 88447 81345 105 248 0 88196 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 605092
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26372
/proc/meminfo: memFree=26744700/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=353788 CPUtime=741.73 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 63117 0 0 0 74148 25 0 0 20 0 1 0 280186471 362278912 78834 33554432000 4194304 5208918 140735854976480 140735854974568 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 88447 78834 105 248 0 88196 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 605092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26372
/proc/meminfo: memFree=26685560/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=353788 CPUtime=760.14 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 63118 0 0 0 75988 26 0 0 20 0 1 0 280186471 362278912 79346 33554432000 4194304 5208918 140735854976480 140735854974568 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 88447 79346 105 248 0 88196 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 605092
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 26372
/proc/meminfo: memFree=26685560/32873648 swapFree=7104/7104
[pid=26254] ppid=26252 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26254/stat : 26254 (npSolver-pbo.sh) S 26252 26254 23788 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 280082432 9367552 275 33554432000 4194304 5064252 140737451358736 140737451357648 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26254/statm: 2287 275 233 213 0 72 0
[pid=26255] ppid=26254 vsize=233008 CPUtime=1039.92 cores=1,3,5,7
/proc/26255/stat : 26255 (npSolver-pbo) S 26254 26254 23788 0 -1 4202496 62917 424209 0 0 900 230 102464 398 20 0 1 0 280082432 238600192 42108 33554432000 4194304 5992684 140733507339712 140733507332032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 23 0 0
/proc/26255/statm: 58252 42108 189 440 0 57808 0
[pid=26364] ppid=26255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26364/stat : 26364 (satsolver.sh) S 26255 26254 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 280186471 9367552 266 33554432000 4194304 5064252 140735830399968 140735830398880 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26364/statm: 2287 266 226 213 0 72 0
[pid=26365] ppid=26364 vsize=353788 CPUtime=760.14 cores=1,3,5,7
/proc/26365/stat : 26365 (glucose) R 26364 26254 23788 0 -1 4202496 63118 0 0 0 75988 26 0 0 20 0 1 0 280186471 362278912 79346 33554432000 4194304 5208918 140735854976480 140735854974568 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26365/statm: 88447 79346 105 248 0 88196 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 605092
Child status: 0
Real time (s): 1800.72
CPU time (s): 1800.1
CPU user time (s): 1793.54
CPU system time (s): 6.562
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 1103796
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.54
system time used= 6.562
maximum resident set size= 630624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551234
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1519128
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8727
involuntary context switches= 2120
runsolver used 7.16691 second user time and 18.5022 second system time
The end