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-3702973-1338312573/watcher-3702973-1338312573 -o /tmp/evaluation-result-3702973-1338312573/solver-3702973-1338312573 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702973-1338312573.opb 1726289999 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 1.99 1.80 3/177 4290
/proc/meminfo: memFree=30704032/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[startup+0.0617831 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 4290
/proc/meminfo: memFree=30704032/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100329 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 4290
/proc/meminfo: memFree=30704032/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 4290
/proc/meminfo: memFree=30704032/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700148 s]
/proc/loadavg: 2.00 1.99 1.80 3/177 4290
/proc/meminfo: memFree=30704032/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 1.99 1.80 3/181 4294
/proc/meminfo: memFree=30481016/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=38812 CPUtime=0.44 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 10060 0 0 0 41 3 0 0 20 0 1 0 297385889 39743488 9122 33554432000 4194304 5992684 140735122070912 140735122065360 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 9703 9122 164 440 0 9259 0
[pid=4293] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4293/stat : 4293 (cp2_pre.sh) S 4291 4290 4077 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 297385934 9367552 277 33554432000 4194304 5064252 140735454058800 140735454057504 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4293/statm: 2287 277 234 213 0 72 0
[pid=4294] ppid=4293 vsize=141228 CPUtime=1.03 cores=0,2,4,6
/proc/4294/stat : 4294 (coprocessor) R 4293 4290 4077 0 -1 4202496 25012 0 0 0 99 4 0 0 20 0 1 0 297385935 144617472 33981 33554432000 4194304 6586260 140736689130896 140736689127048 4775781 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/4294/statm: 35307 33981 175 584 0 34719 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 198336
[startup+3.10027 s]
/proc/loadavg: 2.00 1.99 1.80 3/183 4296
/proc/meminfo: memFree=30299456/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=38812 CPUtime=2.83 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 10076 30176 0 0 41 3 229 10 20 0 1 0 297385889 39743488 9124 33554432000 4194304 5992684 140735122070912 140735122057176 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 9703 9124 166 440 0 9259 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 47960
[startup+6.3003 s]
/proc/loadavg: 2.00 1.99 1.80 3/182 4298
/proc/meminfo: memFree=29905120/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=38812 CPUtime=2.83 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 10076 30176 0 0 41 3 229 10 20 0 1 0 297385889 39743488 9124 33554432000 4194304 5992684 140735122070912 140735122057176 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 9703 9124 166 440 0 9259 0
[pid=4298] ppid=4291 vsize=84812 CPUtime=3.43 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) R 4291 4290 4077 0 -1 4202496 17065 0 0 0 341 2 0 0 20 0 1 0 297386175 86847488 18872 33554432000 4194304 5654031 140734178582752 140734178580536 4215097 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21203 18872 131 357 0 20843 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 132772
[startup+12.7004 s]
/proc/loadavg: 2.07 2.00 1.81 3/183 4303
/proc/meminfo: memFree=30022504/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19378 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19378 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=84992 CPUtime=3.04 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 16462 0 0 0 301 3 0 0 20 0 1 0 297386854 87031808 18889 33554432000 4194304 5208918 140734276012736 140734276010584 4213165 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4301/statm: 21248 18889 95 248 0 20997 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 230448
[startup+25.5005 s]
/proc/loadavg: 2.06 2.00 1.81 3/183 4303
/proc/meminfo: memFree=30013516/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19378 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19378 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=96800 CPUtime=15.83 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 17352 0 0 0 1580 3 0 0 20 0 1 0 297386854 99123200 19781 33554432000 4194304 5208918 140734276012736 140734276010888 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4301/statm: 24200 19781 96 248 0 23949 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 242256
[startup+51.1005 s]
/proc/loadavg: 2.04 2.00 1.82 3/184 4306
/proc/meminfo: memFree=29920100/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19378 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19378 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=115728 CPUtime=41.43 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 18621 0 0 0 4138 5 0 0 20 0 1 0 297386854 118505472 26527 33554432000 4194304 5208918 140734276012736 140734276010680 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4301/statm: 28932 26527 96 248 0 28681 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 261184
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 1.82 3/185 4309
/proc/meminfo: memFree=29541180/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19378 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19378 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=183724 CPUtime=92.63 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 20087 0 0 0 9256 7 0 0 20 0 1 0 297386854 188133376 41385 33554432000 4194304 5208918 140734276012736 140734276010728 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4301/statm: 45931 41385 96 248 0 45680 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 329180
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/185 4310
/proc/meminfo: memFree=29564100/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
################
# More data... #
################
Current children cumulated vsize (KiB) 279860
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 4328
/proc/meminfo: memFree=29417196/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=214544 CPUtime=1532.38 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 36459 0 0 0 153197 41 0 0 20 0 1 0 297386854 219693056 45278 33554432000 4194304 5208918 140734276012736 140734276010888 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 53636 45278 96 248 0 53385 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 360000
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 4328
/proc/meminfo: memFree=29541080/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=134404 CPUtime=1592.37 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 36471 0 0 0 159195 42 0 0 20 0 1 0 297386854 137629696 32088 33554432000 4194304 5208918 140734276012736 140734276010824 4229296 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 33601 32088 96 248 0 33350 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 279860
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 4329
/proc/meminfo: memFree=29460680/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=214544 CPUtime=1652.36 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 37083 0 0 0 165193 43 0 0 20 0 1 0 297386854 219693056 44452 33554432000 4194304 5208918 140734276012736 140734276010728 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 53636 44452 96 248 0 53385 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 360000
[startup+1722.3 s]
/proc/loadavg: 2.11 2.03 1.92 3/185 4336
/proc/meminfo: memFree=29479104/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=134404 CPUtime=1712.35 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 37412 0 0 0 171191 44 0 0 20 0 1 0 297386854 137629696 32088 33554432000 4194304 5208918 140734276012736 140734276010824 4229328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 33601 32088 96 248 0 33350 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 279860
[startup+1782.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/185 4336
/proc/meminfo: memFree=29496844/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=183724 CPUtime=1772.33 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 37782 0 0 0 177189 44 0 0 20 0 1 0 297386854 188133376 44211 33554432000 4194304 5208918 140734276012736 140734276010728 4229107 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 45931 44211 96 248 0 45680 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 329180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.03 2.02 1.92 4/185 4336
/proc/meminfo: memFree=29513872/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=214544 CPUtime=1790.44 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 38345 0 0 0 178999 45 0 0 20 0 1 0 297386854 219693056 46302 33554432000 4194304 5208918 140734276012736 140734276010888 4212856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 53636 46302 96 248 0 53385 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 360000
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.03 2.02 1.92 4/185 4336
/proc/meminfo: memFree=29513872/32873844 swapFree=7372/7372
[pid=4290] ppid=4288 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4290/stat : 4290 (npSolver-pbo-It) S 4288 4290 4077 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 297385889 9367552 274 33554432000 4194304 5064252 140735776317536 140735776316448 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4290/statm: 2287 274 233 213 0 72 0
[pid=4291] ppid=4290 vsize=40888 CPUtime=4.01 cores=0,2,4,6
/proc/4291/stat : 4291 (npSolver-pbo) S 4290 4290 4077 0 -1 4202496 11913 30691 0 0 64 96 229 12 20 0 1 0 297385889 41869312 9770 33554432000 4194304 5992684 140735122070912 140735122063200 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/4291/statm: 10222 9770 189 440 0 9778 0
[pid=4298] ppid=4291 vsize=86272 CPUtime=5.6 cores=0,2,4,6
/proc/4298/stat : 4298 (glucosInc) S 4291 4290 4077 0 -1 4202496 17571 0 0 0 557 3 0 0 20 0 1 0 297386175 88342528 19531 33554432000 4194304 5654031 140734178582752 140734178581064 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/4298/statm: 21568 19531 146 357 0 21208 0
[pid=4300] ppid=4291 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4300/stat : 4300 (satsolver.sh) S 4291 4290 4077 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 297386854 9367552 266 33554432000 4194304 5064252 140735193056144 140735193055056 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4300/statm: 2287 266 226 213 0 72 0
[pid=4301] ppid=4300 vsize=214544 CPUtime=1790.44 cores=0,2,4,6
/proc/4301/stat : 4301 (glucose) R 4300 4290 4077 0 -1 4202496 38345 0 0 0 178999 45 0 0 20 0 1 0 297386854 219693056 46302 33554432000 4194304 5208918 140734276012736 140734276010888 4212856 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4301/statm: 53636 46302 96 248 0 53385 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 360000
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4290 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=946552
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=102832
# CPU time returned by wait4() is 4.04938
# while last known CPU time is 1800.05
#
# 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.05
CPU user time (s): 1798.49
CPU system time (s): 1.56
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 360000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.94655
system time used= 1.10283
maximum resident set size= 167264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43581
page faults= 0
swaps= 0
block input operations= 0
block output operations= 116416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 466
involuntary context switches= 24
runsolver used 6.38503 second user time and 19.748 second system time
The end