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-3702359-1338088459/watcher-3702359-1338088459 -o /tmp/evaluation-result-3702359-1338088459/solver-3702359-1338088459 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702359-1338088459.opb 2067397926 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: 0.84 0.92 1.28 3/178 28550
/proc/meminfo: memFree=31838844/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[startup+0.103982 s]
/proc/loadavg: 0.84 0.92 1.28 3/178 28550
/proc/meminfo: memFree=31838844/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200269 s]
/proc/loadavg: 0.84 0.92 1.28 3/178 28550
/proc/meminfo: memFree=31838844/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 0.84 0.92 1.28 3/178 28550
/proc/meminfo: memFree=31838844/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/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: 0.84 0.92 1.28 3/178 28550
/proc/meminfo: memFree=31838844/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50047 s]
/proc/loadavg: 0.85 0.92 1.28 3/184 28581
/proc/meminfo: memFree=31710424/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=94416 CPUtime=1 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 10655 0 0 0 78 22 0 0 20 0 1 0 274912972 96681984 15697 33554432000 4194304 5992684 140734160562992 140734160557440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28551/statm: 23604 15697 167 440 0 23160 0
[pid=28580] ppid=28551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28580/stat : 28580 (cp2_pre.sh) S 28551 28550 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274913073 9367552 277 33554432000 4194304 5064252 140734393416128 140734393414832 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28580/statm: 2287 277 234 213 0 72 0
[pid=28581] ppid=28580 vsize=134196 CPUtime=0.48 cores=1,3,5,7
/proc/28581/stat : 28581 (coprocessor) R 28580 28550 28501 0 -1 4202496 12650 0 0 0 44 4 0 0 20 0 1 0 274913073 137416704 26554 33554432000 4194304 6586260 140734841436832 140734393414856 4532581 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28581/statm: 33549 26554 154 584 0 32961 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 246908
[startup+3.10048 s]
/proc/loadavg: 0.85 0.92 1.28 3/184 28609
/proc/meminfo: memFree=31465100/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=94416 CPUtime=1 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 10655 0 0 0 78 22 0 0 20 0 1 0 274912972 96681984 15697 33554432000 4194304 5992684 140734160562992 140734160557440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28551/statm: 23604 15697 167 440 0 23160 0
[pid=28580] ppid=28551 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28580/stat : 28580 (cp2_pre.sh) S 28551 28550 28501 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274913073 9367552 277 33554432000 4194304 5064252 140734393416128 140734393414832 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/28580/statm: 2287 277 234 213 0 72 0
[pid=28581] ppid=28580 vsize=332300 CPUtime=2.08 cores=1,3,5,7
/proc/28581/stat : 28581 (coprocessor) R 28580 28550 28501 0 -1 4202496 46345 0 0 0 198 10 0 0 20 0 1 0 274913073 340275200 75579 33554432000 4194304 6586260 140734841436832 140734841433096 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/28581/statm: 83075 75579 166 584 0 82487 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 445012
[startup+6.30033 s]
/proc/loadavg: 0.95 0.94 1.28 3/182 28695
/proc/meminfo: memFree=31336120/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=94416 CPUtime=5.99 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 10672 54182 0 0 78 22 477 22 20 0 1 0 274912972 96681984 15699 33554432000 4194304 5992684 140734160562992 140734160549256 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28551/statm: 23604 15699 169 440 0 23160 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 103564
[startup+12.7004 s]
/proc/loadavg: 1.03 0.96 1.29 3/180 28859
/proc/meminfo: memFree=31528052/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=310628 CPUtime=12.67 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) R 28550 28550 28501 0 -1 4202496 38850 129923 0 0 348 260 604 55 20 0 1 0 274912972 318083072 69491 33554432000 4194304 5992684 140734160562992 140734160555704 5044375 0 0 4096 0 0 0 0 17 3 0 0 1 0 0
/proc/28551/statm: 77657 69491 201 440 0 77213 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 319776
[startup+25.5004 s]
/proc/loadavg: 1.32 1.03 1.30 3/181 29176
/proc/meminfo: memFree=30136988/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1017888 CPUtime=3.98 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 112311 0 0 0 361 37 0 0 20 0 1 0 274915122 1042317312 215739 33554432000 4194304 5654031 140734625201216 140734624150568 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/29085/statm: 254472 215739 109 357 0 254112 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 1161624
[startup+51.1006 s]
/proc/loadavg: 1.40 1.07 1.31 3/183 29811
/proc/meminfo: memFree=29400672/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1933920 CPUtime=29.57 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 214816 0 0 0 2876 81 0 0 20 0 1 0 274915122 1980334080 393227 33554432000 4194304 5654031 140734625201216 140734625189032 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 483480 393227 141 357 0 483120 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 2077656
[startup+102.3 s]
/proc/loadavg: 1.56 1.16 1.33 4/184 31134
/proc/meminfo: memFree=29401152/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1933920 CPUtime=80.77 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 214816 0 0 0 7996 81 0 0 20 0 1 0 274915122 1980334080 393227 33554432000 4194304 5654031 140734625201216 140734625189032 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 483480 393227 141 357 0 483120 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 2077656
[startup+162.3 s]
/proc/loadavg: 1.80 1.30 1.36 3/183 32695
/proc/meminfo: memFree=29409212/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1933920 CPUtime=140.76 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 214833 0 0 0 13994 82 0 0 20 0 1 0 274915122 1980334080 393240 33554432000 4194304 5654031 140734625201216 140734625189032 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 483480 393240 141 357 0 483120 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 2077656
[startup+222.307 s]
/proc/loadavg: 1.84 1.41 1.39 3/181 1884
/proc/meminfo: memFree=29422612/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1933920 CPUtime=200.76 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 214833 0 0 0 19994 82 0 0 20 0 1 0 274915122 1980334080 393240 33554432000 4194304 5654031 140734625201216 140734625189032 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 483480 393240 141 357 0 483120 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 2077656
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29346292/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1340.56 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218355 0 0 0 133972 84 0 0 20 0 1 0 274915122 2031480832 407812 33554432000 4194304 5654031 140734625201216 140734625189032 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 407812 142 357 0 495607 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2127604
[startup+1422.3 s]
/proc/loadavg: 1.92 1.91 1.75 3/181 422
/proc/meminfo: memFree=29359176/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1400.56 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218363 0 0 0 139972 84 0 0 20 0 1 0 274915122 2031480832 407820 33554432000 4194304 5654031 140734625201216 140734625189032 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 407820 142 357 0 495607 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2127604
[startup+1482.3 s]
/proc/loadavg: 1.97 1.92 1.76 3/182 2010
/proc/meminfo: memFree=29330876/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1460.55 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218363 0 0 0 145971 84 0 0 20 0 1 0 274915122 2031480832 407820 33554432000 4194304 5654031 140734625201216 140734625189032 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 407820 142 357 0 495607 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 2127604
[startup+1542.31 s]
/proc/loadavg: 2.11 1.95 1.78 3/184 3596
/proc/meminfo: memFree=29331156/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1520.54 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218363 0 0 0 151970 84 0 0 20 0 1 0 274915122 2031480832 407820 33554432000 4194304 5654031 140734625201216 140734625189032 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 407820 142 357 0 495607 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 2127604
[startup+1602.3 s]
/proc/loadavg: 1.97 1.94 1.79 3/181 5155
/proc/meminfo: memFree=29359572/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1580.53 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218363 0 0 0 157969 84 0 0 20 0 1 0 274915122 2031480832 407820 33554432000 4194304 5654031 140734625201216 140734625189032 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 407820 142 357 0 495607 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 2127604
[startup+1662.3 s]
/proc/loadavg: 1.94 1.93 1.79 3/183 6742
/proc/meminfo: memFree=29343004/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1640.52 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218364 0 0 0 163968 84 0 0 20 0 1 0 274915122 2031480832 408332 33554432000 4194304 5654031 140734625201216 140734625189032 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 408332 142 357 0 495607 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 2127604
[startup+1722.3 s]
/proc/loadavg: 1.98 1.94 1.81 3/183 8296
/proc/meminfo: memFree=29342332/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1700.51 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218366 0 0 0 169967 84 0 0 20 0 1 0 274915122 2031480832 408332 33554432000 4194304 5654031 140734625201216 140734625189032 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 408332 142 357 0 495607 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 2127604
[startup+1782.3 s]
/proc/loadavg: 1.95 1.94 1.81 3/184 9855
/proc/meminfo: memFree=29328344/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1760.5 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218366 0 0 0 175966 84 0 0 20 0 1 0 274915122 2031480832 408332 33554432000 4194304 5654031 140734625201216 140734625189032 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 408332 142 357 0 495607 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 2127604
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.96 1.94 1.82 3/184 10325
/proc/meminfo: memFree=29328708/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1778.6 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218366 0 0 0 177776 84 0 0 20 0 1 0 274915122 2031480832 408332 33554432000 4194304 5654031 140734625201216 140734625189032 4208648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 408332 142 357 0 495607 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2127604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 1.96 1.94 1.82 3/184 10325
/proc/meminfo: memFree=29328708/32873844 swapFree=6872/6872
[pid=28550] ppid=28548 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28550/stat : 28550 (npSolver-pbo-It) S 28548 28550 28501 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274912972 9367552 275 33554432000 4194304 5064252 140736255444400 140736255443312 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28550/statm: 2287 275 233 213 0 72 0
[pid=28551] ppid=28550 vsize=134588 CPUtime=21.44 cores=1,3,5,7
/proc/28551/stat : 28551 (npSolver-pbo) S 28550 28550 28501 0 -1 4202496 42140 130439 0 0 1086 392 604 62 20 0 1 0 274912972 137818112 25807 33554432000 4194304 5992684 140734160562992 140734160548824 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 4 0 0
/proc/28551/statm: 33647 25807 202 440 0 33203 0
[pid=29085] ppid=28551 vsize=1983868 CPUtime=1778.6 cores=1,3,5,7
/proc/29085/stat : 29085 (glucosInc) R 28551 28550 28501 0 -1 4202496 218366 0 0 0 177776 84 0 0 20 0 1 0 274915122 2031480832 408332 33554432000 4194304 5654031 140734625201216 140734625189032 4208648 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29085/statm: 495967 408332 142 357 0 495607 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2127604
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28550 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.001998
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.04
CPU user time (s): 1794.66
CPU system time (s): 5.38
CPU usage (%): 99.9791
Max. virtual memory (cumulated for all children) (KiB): 2597380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
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= 1
runsolver used 4.33234 second user time and 11.0713 second system time
The end