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-3714330-1338188421/watcher-3714330-1338188421 -o /tmp/evaluation-result-3714330-1338188421/solver-3714330-1338188421 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714330-1338188421.wbo 324405099 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.12 2.31 2.20 3/180 27112
/proc/meminfo: memFree=30807396/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[startup+0.0463129 s]
/proc/loadavg: 2.12 2.31 2.20 3/180 27112
/proc/meminfo: memFree=30807396/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 2.12 2.31 2.20 3/180 27112
/proc/meminfo: memFree=30807396/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300282 s]
/proc/loadavg: 2.12 2.31 2.20 3/180 27112
/proc/meminfo: memFree=30807396/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700315 s]
/proc/loadavg: 2.12 2.31 2.20 3/180 27112
/proc/meminfo: memFree=30807396/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.12 2.31 2.20 3/184 27116
/proc/meminfo: memFree=30706176/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=19220 CPUtime=0.54 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 4834 0 0 0 51 3 0 0 20 0 1 0 284966648 19681280 3608 33554432000 4194304 5990268 140734770023440 140734770016592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 4805 3608 153 439 0 4362 0
[pid=27115] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27115/stat : 27115 (cp2_pre.sh) S 27113 27112 21914 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284966703 9367552 276 33554432000 4194304 5064252 140733947194592 140733947193296 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27115/statm: 2287 276 234 213 0 72 0
[pid=27116] ppid=27115 vsize=98580 CPUtime=0.93 cores=1,3,5,7
/proc/27116/stat : 27116 (coprocessor) R 27115 27112 21914 0 -1 4202496 19169 0 0 0 90 3 0 0 20 0 1 0 284966703 100945920 23718 33554432000 4194304 6586260 140733485316064 140733485311928 5599298 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27116/statm: 24645 23718 192 584 0 24057 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 136096
[startup+3.10036 s]
/proc/loadavg: 2.12 2.31 2.20 3/184 27116
/proc/meminfo: memFree=30691524/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=19220 CPUtime=0.54 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 4834 0 0 0 51 3 0 0 20 0 1 0 284966648 19681280 3608 33554432000 4194304 5990268 140734770023440 140734770016592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 4805 3608 153 439 0 4362 0
[pid=27115] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27115/stat : 27115 (cp2_pre.sh) S 27113 27112 21914 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284966703 9367552 276 33554432000 4194304 5064252 140733947194592 140733947193296 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27115/statm: 2287 276 234 213 0 72 0
[pid=27116] ppid=27115 vsize=117080 CPUtime=2.53 cores=1,3,5,7
/proc/27116/stat : 27116 (coprocessor) R 27115 27112 21914 0 -1 4202496 21651 0 0 0 231 22 0 0 20 0 1 0 284966703 119889920 28171 33554432000 4194304 6586260 140733485316064 140733485311608 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/27116/statm: 29270 28171 202 584 0 28682 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 154596
[startup+6.30046 s]
/proc/loadavg: 2.11 2.30 2.20 3/183 27126
/proc/meminfo: memFree=30593652/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=148928 CPUtime=1.15 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 29814 0 0 0 107 8 0 0 20 0 1 0 284967162 152502272 34870 33554432000 4194304 5208918 140736573109904 140736573107752 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 37232 34870 96 248 0 36981 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 267252
[startup+12.7003 s]
/proc/loadavg: 2.10 2.29 2.20 3/184 27127
/proc/meminfo: memFree=30522428/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=149456 CPUtime=7.55 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 29977 0 0 0 747 8 0 0 20 0 1 0 284967162 153042944 35544 33554432000 4194304 5208918 140736573109904 140736573107752 4211176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 37364 35544 104 248 0 37113 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 267780
[startup+25.5005 s]
/proc/loadavg: 2.08 2.28 2.19 3/184 27127
/proc/meminfo: memFree=30520948/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=151420 CPUtime=20.35 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 30385 0 0 0 2027 8 0 0 20 0 1 0 284967162 155054080 35952 33554432000 4194304 5208918 140736573109904 140736573107736 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 37855 35952 105 248 0 37604 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 269744
[startup+51.1004 s]
/proc/loadavg: 2.05 2.26 2.19 3/184 27150
/proc/meminfo: memFree=30505472/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=151420 CPUtime=45.94 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 30406 0 0 0 4586 8 0 0 20 0 1 0 284967162 155054080 35969 33554432000 4194304 5208918 140736573109904 140736573106280 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 37855 35969 105 248 0 37604 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 269744
[startup+102.307 s]
/proc/loadavg: 2.02 2.21 2.18 3/183 27157
/proc/meminfo: memFree=30503020/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=151552 CPUtime=97.13 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 30749 0 0 0 9705 8 0 0 20 0 1 0 284967162 155189248 36283 33554432000 4194304 5208918 140736573109904 140736573107752 4211027 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 37888 36283 105 248 0 37637 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 269876
[startup+162.3 s]
/proc/loadavg: 2.01 2.17 2.16 3/183 27157
/proc/meminfo: memFree=30495904/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/183 27450
/proc/meminfo: memFree=30101732/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=182476 CPUtime=1356.92 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35125 0 0 0 135676 16 0 0 20 0 1 0 284967162 186855424 43414 33554432000 4194304 5208918 140736573109904 140736573107656 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 45619 43414 105 248 0 45368 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 300800
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.04 3/183 27450
/proc/meminfo: memFree=30098380/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=182636 CPUtime=1416.92 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35164 0 0 0 141676 16 0 0 20 0 1 0 284967162 187019264 44010 33554432000 4194304 5208918 140736573109904 140736573107656 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 45659 44010 105 248 0 45408 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 300960
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/183 27450
/proc/meminfo: memFree=30090872/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=213900 CPUtime=1476.91 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35402 0 0 0 147674 17 0 0 20 0 1 0 284967162 219033600 45270 33554432000 4194304 5208918 140736573109904 140736573107752 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 53475 45270 105 248 0 53224 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 332224
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 27450
/proc/meminfo: memFree=30086784/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=214044 CPUtime=1536.9 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35427 0 0 0 153673 17 0 0 20 0 1 0 284967162 219181056 46317 33554432000 4194304 5208918 140736573109904 140736573107656 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 53511 46317 105 248 0 53260 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 332368
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 27451
/proc/meminfo: memFree=30083488/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=214184 CPUtime=1596.89 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35465 0 0 0 159672 17 0 0 20 0 1 0 284967162 219324416 46866 33554432000 4194304 5208918 140736573109904 140736573107656 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 53546 46866 105 248 0 53295 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 332508
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 27451
/proc/meminfo: memFree=30076780/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=214352 CPUtime=1656.88 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35530 0 0 0 165671 17 0 0 20 0 1 0 284967162 219496448 47953 33554432000 4194304 5208918 140736573109904 140736573107656 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 53588 47953 105 248 0 53337 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 332676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 27451
/proc/meminfo: memFree=30097648/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=183716 CPUtime=1716.87 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35601 0 0 0 171669 18 0 0 20 0 1 0 284967162 188125184 42299 33554432000 4194304 5208918 140736573109904 140736573107992 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 45929 42299 105 248 0 45678 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 302040
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27454
/proc/meminfo: memFree=30092288/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=183888 CPUtime=1776.86 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35640 0 0 0 177668 18 0 0 20 0 1 0 284967162 188301312 42849 33554432000 4194304 5208918 140736573109904 140736573107656 4211851 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 45972 42849 105 248 0 45721 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 302212
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 27454
/proc/meminfo: memFree=30090504/32873844 swapFree=7900/7900
[pid=27112] ppid=27110 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27112/stat : 27112 (npSolver-wbo-I.) S 27110 27112 21914 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284966648 9367552 275 33554432000 4194304 5064252 140733550919056 140733550917968 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27112/statm: 2287 275 233 213 0 72 0
[pid=27113] ppid=27112 vsize=100028 CPUtime=4.92 cores=1,3,5,7
/proc/27113/stat : 27113 (npSolver-wbo) S 27112 27112 21914 0 -1 4202496 11056 37068 0 0 127 33 288 44 20 0 1 0 284966648 102428672 19827 33554432000 4194304 5990268 140734770023440 140734770014880 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27113/statm: 25007 19827 166 439 0 24564 0
[pid=27125] ppid=27113 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27125/stat : 27125 (satsolver.sh) S 27113 27112 21914 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284967161 9367552 267 33554432000 4194304 5064252 140734502834688 140734502833600 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/27125/statm: 2287 267 226 213 0 72 0
[pid=27126] ppid=27125 vsize=184132 CPUtime=1795.17 cores=1,3,5,7
/proc/27126/stat : 27126 (glucose) R 27125 27112 21914 0 -1 4202496 35647 0 0 0 179499 18 0 0 20 0 1 0 284967162 188551168 43367 33554432000 4194304 5208918 140736573109904 140736573107656 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27126/statm: 46033 43367 105 248 0 45782 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 302456
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.13
CPU user time (s): 1799.14
CPU system time (s): 0.986849
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 382180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.14
system time used= 0.986849
maximum resident set size= 230788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 313
involuntary context switches= 1871
runsolver used 3.01054 second user time and 7.73082 second system time
The end