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-3747276-1339101800/watcher-3747276-1339101800 -o /tmp/evaluation-result-3747276-1339101800/solver-3747276-1339101800 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747276-1339101800.opb 1810375019 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.91 3/178 10340
/proc/meminfo: memFree=22984580/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (runsolver) D 10338 10340 9637 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 376304374 12095488 51 33554432000 4194304 5436572 140736724316368 140736724312664 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/10340/statm: 2953 51 31 304 0 2645 0
[startup+0.022762 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10340
/proc/meminfo: memFree=22984580/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100218 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10340
/proc/meminfo: memFree=22984580/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300211 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10340
/proc/meminfo: memFree=22984580/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 10340
/proc/meminfo: memFree=22984580/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 10342
/proc/meminfo: memFree=22900772/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=129760 CPUtime=1.48 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 16096 0 0 0 145 3 0 0 20 0 1 0 376304375 132874240 29677 33554432000 4194304 6004724 140733694059920 140733694054520 4582601 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 32440 29677 154 442 0 31994 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 138908
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 10342
/proc/meminfo: memFree=22824376/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=326368 CPUtime=3.08 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 17267 0 0 0 301 7 0 0 20 0 1 0 376304375 334200832 56813 33554432000 4194304 6004724 140733694059920 140733694054520 4534742 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 81592 56813 154 442 0 81146 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 335516
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 10342
/proc/meminfo: memFree=22590176/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=588512 CPUtime=6.28 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 18019 0 0 0 614 14 0 0 20 0 1 0 376304375 602636288 114669 33554432000 4194304 6004724 140733694059920 140733694054520 4582623 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 147128 114669 154 442 0 146682 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 597660
[startup+12.7003 s]
/proc/loadavg: 1.92 1.98 1.90 3/180 10527
/proc/meminfo: memFree=22440852/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=1112800 CPUtime=12.68 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 19010 0 0 0 1238 30 0 0 20 0 1 0 376304375 1139507200 229357 33554432000 4194304 6004724 140733694059920 140733694054520 4534728 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 278200 229357 154 442 0 277754 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1121948
[startup+25.5003 s]
/proc/loadavg: 1.87 1.97 1.90 3/180 10573
/proc/meminfo: memFree=21470176/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=2161376 CPUtime=25.48 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 20484 0 0 0 2488 60 0 0 20 0 1 0 376304375 2213249024 459757 33554432000 4194304 6004724 140733694059920 140733694054520 4579893 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 540344 459757 154 442 0 539898 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2170524
[startup+51.1003 s]
/proc/loadavg: 1.91 1.97 1.90 3/180 10573
/proc/meminfo: memFree=14524168/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=7532860 CPUtime=51.06 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) R 10340 10340 9637 0 -1 4202496 24630 0 0 0 4548 558 0 0 20 0 1 0 376304375 7713648640 1656199 33554432000 4194304 6004724 140733694059920 140733694055792 5193835 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1883215 1656199 157 442 0 1882769 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 7542008
[startup+102.307 s]
/proc/loadavg: 2.79 2.19 1.98 3/182 10575
/proc/meminfo: memFree=11561052/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=52.64 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24637 0 0 0 4548 716 0 0 20 0 1 0 376304375 4348731392 834692 33554432000 4194304 6004724 140733694059920 140733694054384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834692 163 442 0 1061256 0
[pid=10574] ppid=10342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10574/stat : 10574 (cp2_pre.sh) S 10342 10340 9637 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376309642 9367552 277 33554432000 4194304 5064252 140733696381184 140733696379888 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10574/statm: 2287 277 234 213 0 72 0
[pid=10575] ppid=10574 vsize=5533268 CPUtime=49.38 cores=0,2,4,6
/proc/10575/stat : 10575 (coprocessor) R 10574 10340 9637 0 -1 4202496 29741 0 0 0 4705 233 0 0 20 0 1 0 376309642 5666066432 1172575 33554432000 4194304 6586260 140736259630608 140736259626360 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 21 0 0
/proc/10575/statm: 1383317 1172575 158 584 0 1382729 0
Current children cumulated CPU time (s) 102.02
Current children cumulated vsize (KiB) 9798372
[startup+162.3 s]
/proc/loadavg: 2.71 2.26 2.01 3/183 10663
/proc/meminfo: memFree=5814140/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=52.64 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24637 0 0 0 4548 716 0 0 20 0 1 0 376304375 4348731392 834692 33554432000 4194304 6004724 140733694059920 140733694054384 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834692 163 442 0 1061256 0
[pid=10574] ppid=10342 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10574/stat : 10574 (cp2_pre.sh) S 10342 10340 9637 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 376309642 9367552 277 33554432000 4194304 5064252 140733696381184 140733696379888 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10574/statm: 2287 277 234 213 0 72 0
[pid=10575] ppid=10574 vsize=5533268 CPUtime=108.74 cores=0,2,4,6
/proc/10575/stat : 10575 (coprocessor) R 10574 10340 9637 0 -1 4202496 29741 0 0 0 10299 575 0 0 20 0 1 0 376309642 5666066432 1172575 33554432000 4194304 6586260 140736259630608 140736259626360 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 84 0 0
/proc/10575/statm: 1383317 1172575 158 584 0 1382729 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 9798372
[startup+222.3 s]
/proc/loadavg: 3.32 2.54 2.12 3/181 10667
/proc/meminfo: memFree=10508948/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=1849512 CPUtime=7.44 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 198429 0 0 0 679 65 0 0 20 0 1 0 376325859 1893900288 417581 33554432000 4194304 5654031 140736445549152 140736444498504 4877259 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 462378 417581 108 357 0 462018 0
Current children cumulated CPU time (s) 219.15
Current children cumulated vsize (KiB) 6105468
[startup+282.3 s]
/proc/loadavg: 2.48 2.44 2.11 3/181 10667
/proc/meminfo: memFree=5405688/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7267188 CPUtime=67.43 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 712842 0 0 0 6485 258 0 0 20 0 1 0 376325859 7441600512 1668735 33554432000 4194304 5654031 140736445549152 140736445546936 4232434 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1816797 1668735 141 357 0 1816437 0
Current children cumulated CPU time (s) 279.14
################
# More data... #
################
/proc/meminfo: memFree=5153212/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7321984 CPUtime=1087.28 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 760269 0 0 0 108447 281 0 0 20 0 1 0 376325859 7497711616 1689828 33554432000 4194304 5654031 140736445549152 140736445546936 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1830496 1689828 141 357 0 1830136 0
Current children cumulated CPU time (s) 1298.99
Current children cumulated vsize (KiB) 11577940
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/181 10701
/proc/meminfo: memFree=5145832/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7322800 CPUtime=1147.26 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 760460 0 0 0 114445 281 0 0 20 0 1 0 376325859 7498547200 1690019 33554432000 4194304 5654031 140736445549152 140736445536968 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1830700 1690019 141 357 0 1830340 0
Current children cumulated CPU time (s) 1358.97
Current children cumulated vsize (KiB) 11578756
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.01 3/181 10701
/proc/meminfo: memFree=5138796/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7324100 CPUtime=1207.27 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 764709 0 0 0 120443 284 0 0 20 0 1 0 376325859 7499878400 1690848 33554432000 4194304 5654031 140736445549152 140736445536968 4232803 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1831025 1690848 141 357 0 1830665 0
Current children cumulated CPU time (s) 1418.98
Current children cumulated vsize (KiB) 11580056
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 10701
/proc/meminfo: memFree=5129836/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7324756 CPUtime=1267.25 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 764875 0 0 0 126441 284 0 0 20 0 1 0 376325859 7500550144 1691525 33554432000 4194304 5654031 140736445549152 140736445536968 4232625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1831189 1691525 141 357 0 1830829 0
Current children cumulated CPU time (s) 1478.96
Current children cumulated vsize (KiB) 11580712
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 10701
/proc/meminfo: memFree=5125648/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7325020 CPUtime=1327.25 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 764954 0 0 0 132440 285 0 0 20 0 1 0 376325859 7500820480 1692115 33554432000 4194304 5654031 140736445549152 140736445546840 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1831255 1692115 141 357 0 1830895 0
Current children cumulated CPU time (s) 1538.96
Current children cumulated vsize (KiB) 11580976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 10704
/proc/meminfo: memFree=5121972/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7325236 CPUtime=1387.24 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 768931 0 0 0 138436 288 0 0 20 0 1 0 376325859 7501041664 1692162 33554432000 4194304 5654031 140736445549152 140736445546936 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1831309 1692162 141 357 0 1830949 0
Current children cumulated CPU time (s) 1598.95
Current children cumulated vsize (KiB) 11581192
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 10704
/proc/meminfo: memFree=5115868/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7326444 CPUtime=1447.22 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 769343 0 0 0 144434 288 0 0 20 0 1 0 376325859 7502278656 1693085 33554432000 4194304 5654031 140736445549152 140736445536968 4232386 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1831611 1693085 141 357 0 1831251 0
Current children cumulated CPU time (s) 1658.93
Current children cumulated vsize (KiB) 11582400
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10705
/proc/meminfo: memFree=5103160/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7328000 CPUtime=1507.21 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 773685 0 0 0 150431 290 0 0 20 0 1 0 376325859 7503872000 1694007 33554432000 4194304 5654031 140736445549152 140736445547224 4232963 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1832000 1694007 141 357 0 1831640 0
Current children cumulated CPU time (s) 1718.92
Current children cumulated vsize (KiB) 11583956
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10705
/proc/meminfo: memFree=5098916/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7328792 CPUtime=1567.2 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 773878 0 0 0 156430 290 0 0 20 0 1 0 376325859 7504683008 1694711 33554432000 4194304 5654031 140736445549152 140736445536968 4214616 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1832198 1694711 141 357 0 1831838 0
Current children cumulated CPU time (s) 1778.91
Current children cumulated vsize (KiB) 11584748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 10705
/proc/meminfo: memFree=5096252/32873844 swapFree=7628/7628
[pid=10340] ppid=10338 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10340/stat : 10340 (npSolver-pbo-It) S 10338 10340 9637 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376304374 9367552 275 33554432000 4194304 5064252 140736665630064 140736665628976 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10340/statm: 2287 275 233 213 0 72 0
[pid=10342] ppid=10340 vsize=4246808 CPUtime=211.71 cores=0,2,4,6
/proc/10342/stat : 10342 (npSolver-pbo) S 10340 10340 9637 0 -1 4202496 24656 30644 0 0 4548 716 14955 952 20 0 1 0 376304375 4348731392 834697 33554432000 4194304 6004724 140733694059920 140733694046200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/10342/statm: 1061702 834697 167 442 0 1061256 0
[pid=10667] ppid=10342 vsize=7329052 CPUtime=1588.31 cores=0,2,4,6
/proc/10667/stat : 10667 (glucosInc) R 10342 10340 9637 0 -1 4202496 773935 0 0 0 158540 291 0 0 20 0 1 0 376325859 7504949248 1694768 33554432000 4194304 5654031 140736445549152 140736445536968 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10667/statm: 1832263 1694768 141 357 0 1831903 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 11585008
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 10340 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=0
# CPU time returned by wait4() is 0.000999
# 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): 1803.42
CPU time (s): 1800.02
CPU user time (s): 1780.43
CPU system time (s): 19.59
CPU usage (%): 99.8117
Max. virtual memory (cumulated for all children) (KiB): 11646244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
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= 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= 2
runsolver used 3.73243 second user time and 10.2124 second system time
The end