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-3699239-1338119844/watcher-3699239-1338119844 -o /tmp/evaluation-result-3699239-1338119844/solver-3699239-1338119844 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699239-1338119844.opb 445017054 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: 1.01 1.16 1.53 3/169 12336
/proc/meminfo: memFree=31542032/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[startup+0.066438 s]
/proc/loadavg: 1.01 1.16 1.53 3/169 12336
/proc/meminfo: memFree=31542032/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 1.01 1.16 1.53 3/169 12336
/proc/meminfo: memFree=31542032/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300316 s]
/proc/loadavg: 1.01 1.16 1.53 3/169 12336
/proc/meminfo: memFree=31542032/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700308 s]
/proc/loadavg: 1.01 1.16 1.53 3/169 12336
/proc/meminfo: memFree=31542032/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/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: 1.01 1.16 1.53 3/177 12348
/proc/meminfo: memFree=31372088/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=123216 CPUtime=1.48 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) R 12336 12336 12301 0 -1 4202496 29984 0 0 0 143 5 0 0 20 0 1 0 278112825 126173184 29990 33554432000 4194304 5992684 140734296219408 140734296215464 4227664 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 30804 29990 165 440 0 30360 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 132364
[startup+3.10035 s]
/proc/loadavg: 1.01 1.16 1.53 3/177 12348
/proc/meminfo: memFree=31002088/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=252848 CPUtime=3.08 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) R 12336 12336 12301 0 -1 4202496 60851 0 0 0 298 10 0 0 20 0 1 0 278112825 258916352 61364 33554432000 4194304 5992684 140734296219408 140734296214712 4229149 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 63212 61364 165 440 0 62768 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 261996
[startup+6.30037 s]
/proc/loadavg: 1.25 1.21 1.55 3/181 12352
/proc/meminfo: memFree=30206572/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=339572 CPUtime=5.82 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 83422 16744 0 1 423 18 134 7 20 0 1 0 278112825 347721728 83584 33554432000 4194304 5992684 140734296219408 140734296205672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 84893 83584 175 440 0 84449 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 348720
[startup+12.7003 s]
/proc/loadavg: 1.31 1.22 1.55 3/179 12356
/proc/meminfo: memFree=30620688/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=339572 CPUtime=5.82 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 83422 16744 0 1 423 18 134 7 20 0 1 0 278112825 347721728 83584 33554432000 4194304 5992684 140734296219408 140734296205672 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 84893 83584 175 440 0 84449 0
[pid=12354] ppid=12337 vsize=47188 CPUtime=6.77 cores=1,3,5,7
/proc/12354/stat : 12354 (glucosInc) R 12337 12336 12301 0 -1 4202496 10166 0 0 0 675 2 0 0 20 0 1 0 278113416 48320512 10346 33554432000 4194304 5654031 140737477366768 140737477354584 4215091 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12354/statm: 11797 10346 142 357 0 11437 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 395908
[startup+25.5005 s]
/proc/loadavg: 1.46 1.26 1.55 3/179 12356
/proc/meminfo: memFree=30515808/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=341248 CPUtime=5.88 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) R 12336 12336 12301 0 -1 4202496 83848 16744 0 1 424 23 134 7 20 0 1 0 278112825 349437952 83980 33554432000 4194304 5992684 140734296219408 140734296205672 5179696 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85312 83980 181 440 0 84868 0
[pid=12354] ppid=12337 vsize=58688 CPUtime=19.51 cores=1,3,5,7
/proc/12354/stat : 12354 (glucosInc) S 12337 12336 12301 0 -1 4202496 11415 0 0 0 1948 3 0 0 20 0 1 0 278113416 60096512 13517 33554432000 4194304 5654031 140737477366768 140737477365080 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12354/statm: 14672 13517 148 357 0 14312 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 409084
[startup+51.1005 s]
/proc/loadavg: 1.99 1.40 1.59 3/179 12362
/proc/meminfo: memFree=29239000/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=360240 CPUtime=26.7 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 88679 29198 0 1 482 91 2083 14 20 0 1 0 278112825 368885760 88732 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 90060 88732 185 440 0 89616 0
[pid=12360] ppid=12337 vsize=130672 CPUtime=24.29 cores=1,3,5,7
/proc/12360/stat : 12360 (glucosInc) R 12337 12336 12301 0 -1 4202496 27207 0 0 0 2421 8 0 0 20 0 1 0 278115504 133808128 29134 33554432000 4194304 5654031 140733329228880 140733329226904 4232700 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12360/statm: 32668 29134 141 357 0 32308 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 500060
[startup+102.3 s]
/proc/loadavg: 1.99 1.49 1.61 3/179 12362
/proc/meminfo: memFree=29188928/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=360240 CPUtime=26.7 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 88679 29198 0 1 482 91 2083 14 20 0 1 0 278112825 368885760 88732 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 90060 88732 185 440 0 89616 0
[pid=12360] ppid=12337 vsize=162508 CPUtime=75.48 cores=1,3,5,7
/proc/12360/stat : 12360 (glucosInc) R 12337 12336 12301 0 -1 4202496 29215 0 0 0 7537 11 0 0 20 0 1 0 278115504 166408192 38503 33554432000 4194304 5654031 140733329228880 140733329216696 4216202 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12360/statm: 40627 38503 141 357 0 40267 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 531896
[startup+162.3 s]
/proc/loadavg: 2.07 1.59 1.64 3/180 12365
/proc/meminfo: memFree=29142168/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=360240 CPUtime=26.7 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 88679 29198 0 1 482 91 2083 14 20 0 1 0 278112825 368885760 88732 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 90060 88732 185 440 0 89616 0
[pid=12360] ppid=12337 vsize=211828 CPUtime=135.47 cores=1,3,5,7
/proc/12360/stat : 12360 (glucosInc) R 12337 12336 12301 0 -1 4202496 29517 0 0 0 13533 14 0 0 20 0 1 0 278115504 216911872 47249 33554432000 4194304 5654031 140733329228880 140733329216696 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12360/statm: 52957 47249 141 357 0 52597 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 581216
[startup+222.307 s]
/proc/loadavg: 2.02 1.67 1.66 3/180 12389
/proc/meminfo: memFree=29133124/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=360240 CPUtime=26.7 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 88679 29198 0 1 482 91 2083 14 20 0 1 0 278112825 368885760 88732 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 90060 88732 185 440 0 89616 0
[pid=12360] ppid=12337 vsize=211828 CPUtime=195.47 cores=1,3,5,7
/proc/12360/stat : 12360 (glucosInc) R 12337 12336 12301 0 -1 4202496 29896 0 0 0 19529 18 0 0 20 0 1 0 278115504 216911872 47814 33554432000 4194304 5654031 140733329228880 140733329216696 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12360/statm: 52957 47814 141 357 0 52597 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 581216
[startup+282.3 s]
/proc/loadavg: 2.07 1.74 1.68 3/179 12389
/proc/meminfo: memFree=29122960/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=360240 CPUtime=26.7 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 88679 29198 0 1 482 91 2083 14 20 0 1 0 278112825 368885760 88732 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 90060 88732 185 440 0 89616 0
[pid=12360] ppid=12337 vsize=211828 CPUtime=255.45 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29025444/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=283.47 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 93309 60321 0 1 535 100 27673 39 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12391] ppid=12337 vsize=263592 CPUtime=1018.49 cores=1,3,5,7
/proc/12391/stat : 12391 (glucosInc) R 12337 12336 12301 0 -1 4202496 47705 0 0 0 101794 55 0 0 20 0 1 0 278141185 269918208 59311 33554432000 4194304 5654031 140734784204080 140734784191896 4232997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12391/statm: 65898 59311 141 357 0 65538 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 616268
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.86 3/180 12402
/proc/meminfo: memFree=29100416/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=132004 CPUtime=26.72 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 27851 0 0 0 2663 9 0 0 20 0 1 0 278246380 135172096 30371 33554432000 4194304 5654031 140736005631632 140736005619448 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12399/statm: 33001 30371 141 357 0 32641 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 484680
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.87 3/179 12402
/proc/meminfo: memFree=29102264/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=164076 CPUtime=86.72 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 30946 0 0 0 8658 14 0 0 20 0 1 0 278246380 168013824 39410 33554432000 4194304 5654031 140736005631632 140736005619448 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 41019 39410 141 357 0 40659 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 516752
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 12403
/proc/meminfo: memFree=29064844/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=146.71 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 32058 0 0 0 14653 18 0 0 20 0 1 0 278246380 218517504 47295 33554432000 4194304 5654031 140736005631632 140736005619448 4232932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 47295 141 357 0 52989 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 566072
[startup+1542.31 s]
/proc/loadavg: 2.00 1.97 1.88 3/179 12403
/proc/meminfo: memFree=28990436/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=206.7 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 32741 0 0 0 20650 20 0 0 20 0 1 0 278246380 218517504 48325 33554432000 4194304 5654031 140736005631632 140736005619448 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 48325 141 357 0 52989 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 566072
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 12403
/proc/meminfo: memFree=29040524/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=266.69 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 33503 0 0 0 26646 23 0 0 20 0 1 0 278246380 218517504 48367 33554432000 4194304 5654031 140736005631632 140736005619448 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 48367 141 357 0 52989 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 566072
[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.89 3/179 12403
/proc/meminfo: memFree=28986908/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=326.68 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 34086 0 0 0 32643 25 0 0 20 0 1 0 278246380 218517504 49903 33554432000 4194304 5654031 140736005631632 140736005619448 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 49903 141 357 0 52989 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 566072
[startup+1722.3 s]
/proc/loadavg: 2.03 1.99 1.90 3/179 12403
/proc/meminfo: memFree=29013344/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=386.67 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 34722 0 0 0 38640 27 0 0 20 0 1 0 278246380 218517504 51439 33554432000 4194304 5654031 140736005631632 140736005619448 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 51439 141 357 0 52989 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 566072
[startup+1782.3 s]
/proc/loadavg: 2.08 2.00 1.91 3/179 12404
/proc/meminfo: memFree=28977656/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=446.66 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 36543 0 0 0 44637 29 0 0 20 0 1 0 278246380 218517504 51549 33554432000 4194304 5654031 140736005631632 140736005619448 4215932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 51549 141 357 0 52989 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 566072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.06 2.00 1.91 3/179 12404
/proc/meminfo: memFree=29039284/32873844 swapFree=6088/6088
[pid=12336] ppid=12334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12336/stat : 12336 (npSolver-pbo-I.) S 12334 12336 12301 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278112825 9367552 275 33554432000 4194304 5064252 140736611243936 140736611242848 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12336/statm: 2287 275 233 213 0 72 0
[pid=12337] ppid=12336 vsize=343528 CPUtime=1335.21 cores=1,3,5,7
/proc/12337/stat : 12337 (npSolver-pbo) S 12336 12336 12301 0 -1 4202496 97942 110423 0 1 588 109 132725 99 20 0 1 0 278112825 351772672 84586 33554432000 4194304 5992684 140734296219408 140734296204312 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12337/statm: 85882 84586 185 440 0 85438 0
[pid=12399] ppid=12337 vsize=213396 CPUtime=464.86 cores=1,3,5,7
/proc/12399/stat : 12399 (glucosInc) R 12337 12336 12301 0 -1 4202496 37150 0 0 0 46455 31 0 0 20 0 1 0 278246380 218517504 51397 33554432000 4194304 5654031 140736005631632 140736005619448 4232767 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12399/statm: 53349 51397 141 357 0 52989 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 566072
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12336 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1797.68
CPU system time (s): 2.39
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 746496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2
runsolver used 4.48132 second user time and 10.0025 second system time
The end