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-3702975-1338071077/watcher-3702975-1338071077 -o /tmp/evaluation-result-3702975-1338071077/solver-3702975-1338071077 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702975-1338071077.opb 888384473 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 16300
/proc/meminfo: memFree=31243824/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[startup+0.072511 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 16300
/proc/meminfo: memFree=31243824/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100356 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 16300
/proc/meminfo: memFree=31243824/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 16300
/proc/meminfo: memFree=31243824/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700144 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 16300
/proc/meminfo: memFree=31243824/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.92 3/182 16304
/proc/meminfo: memFree=31070264/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=0.46 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 9996 0 0 0 42 4 0 0 20 0 1 0 273232552 40783872 9487 33554432000 4194304 5992684 140736830656016 140736830650464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9487 164 440 0 9513 0
[pid=16303] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16303/stat : 16303 (cp2_pre.sh) S 16301 16300 28504 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273232599 9367552 277 33554432000 4194304 5064252 140735768580512 140735768579216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16303/statm: 2287 277 234 213 0 72 0
[pid=16304] ppid=16303 vsize=148764 CPUtime=1.01 cores=0,2,4,6
/proc/16304/stat : 16304 (coprocessor) R 16303 16300 28504 0 -1 4202496 25317 0 0 0 97 4 0 0 20 0 1 0 273232599 152334336 33264 33554432000 4194304 6586260 140736845870032 140736845866296 4498512 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/16304/statm: 37191 33264 170 584 0 36603 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 206888
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.92 3/182 16304
/proc/meminfo: memFree=31014676/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=0.46 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 9996 0 0 0 42 4 0 0 20 0 1 0 273232552 40783872 9487 33554432000 4194304 5992684 140736830656016 140736830650464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9487 164 440 0 9513 0
[pid=16303] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16303/stat : 16303 (cp2_pre.sh) S 16301 16300 28504 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273232599 9367552 277 33554432000 4194304 5064252 140735768580512 140735768579216 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16303/statm: 2287 277 234 213 0 72 0
[pid=16304] ppid=16303 vsize=180488 CPUtime=2.61 cores=0,2,4,6
/proc/16304/stat : 16304 (coprocessor) R 16303 16300 28504 0 -1 4202496 31535 0 0 0 252 9 0 0 20 0 1 0 273232599 184819712 44093 33554432000 4194304 6586260 140736845870032 140736845865784 5598553 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/16304/statm: 45122 44093 198 584 0 44534 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 238612
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 16306
/proc/meminfo: memFree=31111076/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=3.29 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 10012 32440 0 0 42 4 272 11 20 0 1 0 273232552 40783872 9489 33554432000 4194304 5992684 140736830656016 140736830642280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9489 166 440 0 9513 0
[pid=16306] ppid=16301 vsize=87328 CPUtime=2.97 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) R 16301 16300 28504 0 -1 4202496 17956 0 0 0 293 4 0 0 20 0 1 0 273232883 89423872 19728 33554432000 4194304 5654031 140736005301888 140736005299672 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/16306/statm: 21832 19728 140 357 0 21472 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 136304
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 16306
/proc/meminfo: memFree=31111736/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=3.29 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 10012 32440 0 0 42 4 272 11 20 0 1 0 273232552 40783872 9489 33554432000 4194304 5992684 140736830656016 140736830642280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9489 166 440 0 9513 0
[pid=16306] ppid=16301 vsize=87600 CPUtime=9.37 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) R 16301 16300 28504 0 -1 4202496 18010 0 0 0 933 4 0 0 20 0 1 0 273232883 89702400 19782 33554432000 4194304 5654031 140736005301888 140736005299784 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 21900 19782 140 357 0 21540 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 136576
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 16306
/proc/meminfo: memFree=31094988/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=3.29 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 10012 32440 0 0 42 4 272 11 20 0 1 0 273232552 40783872 9489 33554432000 4194304 5992684 140736830656016 140736830642280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9489 166 440 0 9513 0
[pid=16306] ppid=16301 vsize=87780 CPUtime=22.17 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) R 16301 16300 28504 0 -1 4202496 18062 0 0 0 2213 4 0 0 20 0 1 0 273232883 89886720 20345 33554432000 4194304 5654031 140736005301888 140736005299784 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 21945 20345 140 357 0 21585 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 136756
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/181 16306
/proc/meminfo: memFree=31089592/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=39828 CPUtime=3.29 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 10012 32440 0 0 42 4 272 11 20 0 1 0 273232552 40783872 9489 33554432000 4194304 5992684 140736830656016 140736830642280 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 9957 9489 166 440 0 9513 0
[pid=16306] ppid=16301 vsize=100784 CPUtime=47.76 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) R 16301 16300 28504 0 -1 4202496 18630 0 0 0 4772 4 0 0 20 0 1 0 273232883 103202816 20909 33554432000 4194304 5654031 140736005301888 140736005299672 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25196 20909 140 357 0 24836 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 149760
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 16309
/proc/meminfo: memFree=30981924/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21238 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21238 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=117816 CPUtime=49.6 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 20325 0 0 0 4955 5 0 0 20 0 1 0 273237819 120643584 22166 33554432000 4194304 5208918 140735516869824 140735516867768 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 29454 22166 96 248 0 29203 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 279524
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 16310
/proc/meminfo: memFree=30954332/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=118440 CPUtime=109.57 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 20709 0 0 0 10951 6 0 0 20 0 1 0 273237819 121282560 28793 33554432000 4194304 5208918 140735516869824 140735516867688 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 29610 28793 96 248 0 29359 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
Current children cumulated vsize (KiB) 292300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16364
/proc/meminfo: memFree=30843320/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=210732 CPUtime=1429.34 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 32199 0 0 0 142900 34 0 0 20 0 1 0 273237819 215789568 45355 33554432000 4194304 5208918 140735516869824 140735516867976 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 52683 45355 96 248 0 52432 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 372440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/184 16367
/proc/meminfo: memFree=30890740/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=130592 CPUtime=1489.32 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 32220 0 0 0 148897 35 0 0 20 0 1 0 273237819 133726208 31831 33554432000 4194304 5208918 140735516869824 140735516867912 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 32648 31831 96 248 0 32397 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 292300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16367
/proc/meminfo: memFree=30839240/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=210732 CPUtime=1549.31 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 32971 0 0 0 154895 36 0 0 20 0 1 0 273237819 215789568 45355 33554432000 4194304 5208918 140735516869824 140735516867976 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 52683 45355 96 248 0 52432 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 372440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16368
/proc/meminfo: memFree=30893184/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=130592 CPUtime=1609.3 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 33061 0 0 0 160893 37 0 0 20 0 1 0 273237819 133726208 31831 33554432000 4194304 5208918 140735516869824 140735516867912 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 32648 31831 96 248 0 32397 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 292300
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16368
/proc/meminfo: memFree=30839132/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=210732 CPUtime=1669.29 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 33814 0 0 0 166891 38 0 0 20 0 1 0 273237819 215789568 45355 33554432000 4194304 5208918 140735516869824 140735516867976 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 52683 45355 96 248 0 52432 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 372440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16368
/proc/meminfo: memFree=30800952/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=260820 CPUtime=1729.28 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 34656 0 0 0 172888 40 0 0 20 0 1 0 273237819 267079680 54872 33554432000 4194304 5208918 140735516869824 140735516867976 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 65205 54872 96 248 0 64954 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 422528
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 1.95 3/183 16368
/proc/meminfo: memFree=30858092/32873844 swapFree=6600/6600
[pid=16300] ppid=16298 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16300/stat : 16300 (npSolver-pbo-It) S 16298 16300 28504 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273232551 9367552 274 33554432000 4194304 5064252 140733746785552 140733746784464 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16300/statm: 2287 274 233 213 0 72 0
[pid=16301] ppid=16300 vsize=42120 CPUtime=4.51 cores=0,2,4,6
/proc/16301/stat : 16301 (npSolver-pbo) S 16300 16300 28504 0 -1 4202496 11912 32956 0 0 67 98 272 14 20 0 1 0 273232552 43130880 10117 33554432000 4194304 5992684 140736830656016 140736830648304 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16301/statm: 10530 10117 189 440 0 10086 0
[pid=16306] ppid=16301 vsize=101292 CPUtime=48.13 cores=0,2,4,6
/proc/16306/stat : 16306 (glucosInc) S 16301 16300 28504 0 -1 4202496 18815 0 0 0 4809 4 0 0 20 0 1 0 273232883 103723008 21559 33554432000 4194304 5654031 140736005301888 140736005300200 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16306/statm: 25323 21559 146 357 0 24963 0
[pid=16308] ppid=16301 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16308/stat : 16308 (satsolver.sh) S 16301 16300 28504 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273237819 9367552 266 33554432000 4194304 5064252 140734784475824 140734784474736 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/16308/statm: 2287 266 226 213 0 72 0
[pid=16309] ppid=16308 vsize=179912 CPUtime=1747.38 cores=0,2,4,6
/proc/16309/stat : 16309 (glucose) R 16308 16300 28504 0 -1 4202496 34822 0 0 0 174697 41 0 0 20 0 1 0 273237819 184229888 40680 33554432000 4194304 5208918 140735516869824 140735516867816 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16309/statm: 44978 40680 96 248 0 44727 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 341620
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16300 and gives
# childrusage.ru_utime.tv_sec=1750
# childrusage.ru_utime.tv_usec=368903
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=553763
# CPU time returned by wait4() is 1751.92
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.45
CPU system time (s): 1.57
CPU usage (%): 99.9782
Max. virtual memory (cumulated for all children) (KiB): 422528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1750.37
system time used= 1.55376
maximum resident set size= 227680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80680
page faults= 0
swaps= 0
block input operations= 0
block output operations= 123160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 560
involuntary context switches= 2251
runsolver used 4.55431 second user time and 17.5123 second system time
The end