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-3701596-1338101346/watcher-3701596-1338101346 -o /tmp/evaluation-result-3701596-1338101346/solver-3701596-1338101346 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701596-1338101346.opb 284144283 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 19183
/proc/meminfo: memFree=28417980/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[startup+0.052621 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19183
/proc/meminfo: memFree=28417980/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19183
/proc/meminfo: memFree=28417980/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19183
/proc/meminfo: memFree=28417980/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700302 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19183
/proc/meminfo: memFree=28417980/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/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/181 19185
/proc/meminfo: memFree=28343692/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=187144 CPUtime=1.49 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) R 19183 19183 16531 0 -1 4202496 19457 0 0 0 144 5 0 0 20 0 1 0 276258987 191635456 32698 33554432000 4194304 5992684 140734022366784 140734022362200 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/19184/statm: 46786 32698 159 440 0 46342 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 196292
[startup+3.10046 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19187
/proc/meminfo: memFree=28150656/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=130964 CPUtime=1.6 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 19931 0 0 0 146 14 0 0 20 0 1 0 276258987 134107136 30367 33554432000 4194304 5992684 140734022366784 140734022360816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19184/statm: 32741 30367 165 440 0 32297 0
[pid=19186] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19186/stat : 19186 (cp2_pre.sh) S 19184 19183 16531 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276259148 9367552 276 33554432000 4194304 5064252 140734631354672 140734631353376 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19186/statm: 2287 276 234 213 0 72 0
[pid=19187] ppid=19186 vsize=590912 CPUtime=1.47 cores=1,3,5,7
/proc/19187/stat : 19187 (coprocessor) R 19186 19183 16531 0 -1 4202496 41060 0 0 0 131 16 0 0 20 0 1 0 276259148 605093888 126992 33554432000 4194304 6586260 140736131322336 140736131318600 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19187/statm: 147728 126993 164 584 0 147140 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 740172
[startup+6.30048 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19187
/proc/meminfo: memFree=27519568/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=130964 CPUtime=1.6 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 19931 0 0 0 146 14 0 0 20 0 1 0 276258987 134107136 30367 33554432000 4194304 5992684 140734022366784 140734022360816 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19184/statm: 32741 30367 165 440 0 32297 0
[pid=19186] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19186/stat : 19186 (cp2_pre.sh) S 19184 19183 16531 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276259148 9367552 276 33554432000 4194304 5064252 140734631354672 140734631353376 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19186/statm: 2287 276 234 213 0 72 0
[pid=19187] ppid=19186 vsize=738444 CPUtime=4.67 cores=1,3,5,7
/proc/19187/stat : 19187 (coprocessor) R 19186 19183 16531 0 -1 4202496 74943 0 0 0 445 22 0 0 20 0 1 0 276259148 756166656 179266 33554432000 4194304 6586260 140736131322336 140736131318360 4753047 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/19187/statm: 184611 179266 180 584 0 184023 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 887704
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 19190
/proc/meminfo: memFree=27915208/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=130964 CPUtime=11.05 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 19938 82979 0 0 146 15 903 41 20 0 1 0 276258987 134107136 30367 33554432000 4194304 5992684 140734022366784 140734022361904 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19184/statm: 32741 30367 165 440 0 32297 0
[pid=19189] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19189/stat : 19189 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276260094 9367552 267 33554432000 4194304 5064252 140734001468496 140734001467408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19189/statm: 2287 267 226 213 0 72 0
[pid=19190] ppid=19189 vsize=373180 CPUtime=1.62 cores=1,3,5,7
/proc/19190/stat : 19190 (glucose) R 19189 19183 16531 0 -1 4202496 60274 0 0 0 148 14 0 0 20 0 1 0 276260094 382136320 82064 33554432000 4194304 5208918 140733952159200 140733951108696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19190/statm: 93295 82064 95 248 0 93044 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 522440
[startup+25.5005 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 19232
/proc/meminfo: memFree=27552904/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=130964 CPUtime=11.05 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 19938 82979 0 0 146 15 903 41 20 0 1 0 276258987 134107136 30367 33554432000 4194304 5992684 140734022366784 140734022361904 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/19184/statm: 32741 30367 165 440 0 32297 0
[pid=19189] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19189/stat : 19189 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276260094 9367552 267 33554432000 4194304 5064252 140734001468496 140734001467408 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19189/statm: 2287 267 226 213 0 72 0
[pid=19190] ppid=19189 vsize=374772 CPUtime=14.41 cores=1,3,5,7
/proc/19190/stat : 19190 (glucose) R 19189 19183 16531 0 -1 4202496 60687 0 0 0 1427 14 0 0 20 0 1 0 276260094 383766528 82477 33554432000 4194304 5208918 140733952159200 140733952157048 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19190/statm: 93693 82477 95 248 0 93442 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 524032
[startup+51.1005 s]
/proc/loadavg: 2.42 2.10 2.03 3/182 19287
/proc/meminfo: memFree=28338104/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=171860 CPUtime=41.53 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 24118 153573 0 0 245 374 3460 74 20 0 1 0 276258987 175984640 40601 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 42965 40601 175 440 0 42521 0
[pid=19246] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19246/stat : 19246 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276263231 9367552 267 33554432000 4194304 5064252 140733826603008 140733826601920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19246/statm: 2287 267 226 213 0 72 0
[pid=19247] ppid=19246 vsize=379808 CPUtime=8.64 cores=1,3,5,7
/proc/19247/stat : 19247 (glucose) R 19246 19183 16531 0 -1 4202496 61618 0 0 0 848 16 0 0 20 0 1 0 276263232 388923392 81481 33554432000 4194304 5208918 140736113991232 140736113989176 4229023 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19247/statm: 94952 81481 102 248 0 94701 0
Current children cumulated CPU time (s) 50.17
Current children cumulated vsize (KiB) 569964
[startup+102.301 s]
/proc/loadavg: 2.71 2.20 2.07 2/183 19299
/proc/meminfo: memFree=26014428/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=171860 CPUtime=41.53 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 24118 153573 0 0 245 374 3460 74 20 0 1 0 276258987 175984640 40601 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 42965 40601 175 440 0 42521 0
[pid=19246] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19246/stat : 19246 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276263231 9367552 267 33554432000 4194304 5064252 140733826603008 140733826601920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19246/statm: 2287 267 226 213 0 72 0
[pid=19247] ppid=19246 vsize=382348 CPUtime=59.84 cores=1,3,5,7
/proc/19247/stat : 19247 (glucose) R 19246 19183 16531 0 -1 4202496 62290 0 0 0 5968 16 0 0 20 0 1 0 276263232 391524352 83686 33554432000 4194304 5208918 140736113991232 140736113989192 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19247/statm: 95587 83686 103 248 0 95336 0
Current children cumulated CPU time (s) 101.37
Current children cumulated vsize (KiB) 572504
[startup+162.3 s]
/proc/loadavg: 2.55 2.25 2.09 3/183 19561
/proc/meminfo: memFree=28167412/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=171860 CPUtime=41.53 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 24118 153573 0 0 245 374 3460 74 20 0 1 0 276258987 175984640 40601 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 42965 40601 175 440 0 42521 0
[pid=19246] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19246/stat : 19246 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276263231 9367552 267 33554432000 4194304 5064252 140733826603008 140733826601920 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/19246/statm: 2287 267 226 213 0 72 0
[pid=19247] ppid=19246 vsize=383600 CPUtime=119.82 cores=1,3,5,7
/proc/19247/stat : 19247 (glucose) R 19246 19183 16531 0 -1 4202496 63076 0 0 0 11965 17 0 0 20 0 1 0 276263232 392806400 82988 33554432000 4194304 5208918 140736113991232 140736113989320 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/19247/statm: 95900 82988 104 248 0 95649 0
Current children cumulated CPU time (s) 161.35
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.15 2.08 2.07 3/183 21132
/proc/meminfo: memFree=28064088/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=392252 CPUtime=933.2 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 67381 0 0 0 93295 25 0 0 20 0 1 0 276301878 401666048 88219 33554432000 4194304 5208918 140737143534608 140737143530984 4205195 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98063 88219 104 248 0 97812 0
Current children cumulated CPU time (s) 1361.12
Current children cumulated vsize (KiB) 592408
[startup+1422.3 s]
/proc/loadavg: 2.15 2.09 2.07 3/183 21132
/proc/meminfo: memFree=28037716/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=423072 CPUtime=993.21 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 67959 0 0 0 99294 27 0 0 20 0 1 0 276301878 433225728 89299 33554432000 4194304 5208918 140737143534608 140737143532760 4205238 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 105768 89299 104 248 0 105517 0
Current children cumulated CPU time (s) 1421.13
Current children cumulated vsize (KiB) 623228
[startup+1482.3 s]
/proc/loadavg: 2.08 2.09 2.07 3/183 21132
/proc/meminfo: memFree=28057888/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=392252 CPUtime=1053.19 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 68389 0 0 0 105291 28 0 0 20 0 1 0 276301878 401666048 86683 33554432000 4194304 5208918 140737143534608 140737143532696 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98063 86683 104 248 0 97812 0
Current children cumulated CPU time (s) 1481.11
Current children cumulated vsize (KiB) 592408
[startup+1542.31 s]
/proc/loadavg: 2.16 2.10 2.08 3/183 21132
/proc/meminfo: memFree=28059952/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=392252 CPUtime=1113.19 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 68392 0 0 0 111291 28 0 0 20 0 1 0 276301878 401666048 88219 33554432000 4194304 5208918 140737143534608 140737143532696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98063 88219 104 248 0 97812 0
Current children cumulated CPU time (s) 1541.11
Current children cumulated vsize (KiB) 592408
[startup+1602.3 s]
/proc/loadavg: 2.10 2.09 2.08 3/183 21132
/proc/meminfo: memFree=28031592/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=423072 CPUtime=1173.17 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 68958 0 0 0 117289 28 0 0 20 0 1 0 276301878 433225728 89286 33554432000 4194304 5208918 140737143534608 140737143532760 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 105768 89286 104 248 0 105517 0
Current children cumulated CPU time (s) 1601.09
Current children cumulated vsize (KiB) 623228
[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 2.07 3/183 21133
/proc/meminfo: memFree=28054928/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=392252 CPUtime=1233.16 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 69590 0 0 0 123286 30 0 0 20 0 1 0 276301878 401666048 86856 33554432000 4194304 5208918 140737143534608 140737143532696 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98063 86856 104 248 0 97812 0
Current children cumulated CPU time (s) 1661.08
Current children cumulated vsize (KiB) 592408
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/183 21133
/proc/meminfo: memFree=28023092/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=392664 CPUtime=1293.15 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 69674 0 0 0 129285 30 0 0 20 0 1 0 276301878 402087936 87962 33554432000 4194304 5208918 140737143534608 140737143532456 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98166 87962 104 248 0 97915 0
Current children cumulated CPU time (s) 1721.07
Current children cumulated vsize (KiB) 592820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/183 21133
/proc/meminfo: memFree=28049392/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=393208 CPUtime=1353.14 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 70268 0 0 0 135283 31 0 0 20 0 1 0 276301878 402644992 86584 33554432000 4194304 5208918 140737143534608 140737143532456 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98302 86584 104 248 0 98051 0
Current children cumulated CPU time (s) 1781.06
Current children cumulated vsize (KiB) 593364
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/183 21133
/proc/meminfo: memFree=28041448/32873844 swapFree=7612/7612
[pid=19183] ppid=19181 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/19183/stat : 19183 (npSolver-pbo.sh) S 19181 19183 16531 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276258987 9367552 275 33554432000 4194304 5064252 140735981521408 140735981520320 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/19183/statm: 2287 275 233 213 0 72 0
[pid=19184] ppid=19183 vsize=181860 CPUtime=427.92 cores=1,3,5,7
/proc/19184/stat : 19184 (npSolver-pbo) S 19183 19183 16531 0 -1 4202496 28484 353245 0 0 281 377 41968 166 20 0 1 0 276258987 186224640 43101 33554432000 4194304 5992684 140734022366784 140734022359104 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 88 0 0
/proc/19184/statm: 45465 43101 175 440 0 45021 0
[pid=20946] ppid=19184 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20946/stat : 20946 (satsolver.sh) S 19184 19183 16531 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 276301878 9367552 267 33554432000 4194304 5064252 140733621780208 140733621779120 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20946/statm: 2287 267 226 213 0 72 0
[pid=20947] ppid=20946 vsize=393208 CPUtime=1372.15 cores=1,3,5,7
/proc/20947/stat : 20947 (glucose) R 20946 19183 16531 0 -1 4202496 70289 0 0 0 137184 31 0 0 20 0 1 0 276301878 402644992 87116 33554432000 4194304 5208918 140737143534608 140737143532456 4229072 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20947/statm: 98302 87116 104 248 0 98051 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 593364
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.32
CPU time (s): 1800.1
CPU user time (s): 1794.33
CPU system time (s): 5.77012
CPU usage (%): 99.9325
Max. virtual memory (cumulated for all children) (KiB): 977640
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.33
system time used= 5.77012
maximum resident set size= 845740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 778384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5687
involuntary context switches= 1896
runsolver used 3.62445 second user time and 10.0255 second system time
The end