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-3749259-1339170216/watcher-3749259-1339170216 -o /tmp/evaluation-result-3749259-1339170216/solver-3749259-1339170216 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749259-1339170216.opb 1547128424 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.93 1.98 1.99 3/175 22622
/proc/meminfo: memFree=31371012/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[startup+0.0225921 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 22622
/proc/meminfo: memFree=31371012/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 22622
/proc/meminfo: memFree=31371012/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300328 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 22622
/proc/meminfo: memFree=31371012/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700327 s]
/proc/loadavg: 1.93 1.98 1.99 3/175 22622
/proc/meminfo: memFree=31371012/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22624
/proc/meminfo: memFree=31192532/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=144244 CPUtime=1.49 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) R 22622 22622 22577 0 -1 4202496 22539 0 0 0 142 7 0 0 20 0 1 0 383147157 147705856 32192 33554432000 4194304 6004724 140734845803632 140734845799656 4968639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 36061 32192 130 442 0 35615 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 153392
[startup+3.10032 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 22624
/proc/meminfo: memFree=30913436/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=297336 CPUtime=3.09 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) R 22622 22622 22577 0 -1 4202496 50069 0 0 0 295 14 0 0 20 0 1 0 383147157 304472064 73920 33554432000 4194304 6004724 140734845803632 140734845800440 5055511 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 74334 73921 154 442 0 73888 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 306484
[startup+6.30032 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 22624
/proc/meminfo: memFree=30435860/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=756088 CPUtime=6.29 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) R 22622 22622 22577 0 -1 4202496 51837 0 0 0 603 26 0 0 20 0 1 0 383147157 774234112 131163 33554432000 4194304 6004724 140734845803632 140734845798232 4535882 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 189022 131163 154 442 0 188576 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 765236
[startup+12.7003 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 22624
/proc/meminfo: memFree=29443164/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=1280376 CPUtime=12.69 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) R 22622 22622 22577 0 -1 4202496 52838 0 0 0 1226 43 0 0 20 0 1 0 383147157 1311105024 250971 33554432000 4194304 6004724 140734845803632 140734845798232 4618006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 320094 250971 154 442 0 319648 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1289524
[startup+25.5005 s]
/proc/loadavg: 2.04 2.00 2.00 3/181 22628
/proc/meminfo: memFree=24788264/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=24.71 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57421 0 0 0 2167 304 0 0 20 0 1 0 383147157 2394058752 422754 33554432000 4194304 6004724 140734845803632 140734845798096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422754 163 442 0 584041 0
[pid=22627] ppid=22623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22627/stat : 22627 (cp2_pre.sh) S 22623 22622 22577 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383149629 9367552 277 33554432000 4194304 5064252 140735975430064 140735975428768 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22627/statm: 2287 277 234 213 0 72 0
[pid=22628] ppid=22627 vsize=88196 CPUtime=0.76 cores=1,3,5,7
/proc/22628/stat : 22628 (coprocessor) R 22627 22622 22577 0 -1 4202496 10522 0 0 0 72 4 0 0 20 0 1 0 383149630 90312704 21225 33554432000 4194304 6586260 140735886439424 140735886436168 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22628/statm: 22049 21225 138 584 0 21461 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2444440
[startup+51.1004 s]
/proc/loadavg: 2.44 2.10 2.03 3/180 22628
/proc/meminfo: memFree=20009604/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=24.71 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57421 0 0 0 2167 304 0 0 20 0 1 0 383147157 2394058752 422754 33554432000 4194304 6004724 140734845803632 140734845798096 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422754 163 442 0 584041 0
[pid=22627] ppid=22623 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22627/stat : 22627 (cp2_pre.sh) S 22623 22622 22577 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383149629 9367552 277 33554432000 4194304 5064252 140735975430064 140735975428768 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22627/statm: 2287 277 234 213 0 72 0
[pid=22628] ppid=22627 vsize=2787600 CPUtime=26.36 cores=1,3,5,7
/proc/22628/stat : 22628 (coprocessor) R 22627 22622 22577 0 -1 4202496 25431 0 0 0 2497 139 0 0 20 0 1 0 383149630 2854502400 588854 33554432000 4194304 6586260 140735886439424 140735886435176 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22628/statm: 696900 588854 158 584 0 696312 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 5143844
[startup+102.307 s]
/proc/loadavg: 3.24 2.37 2.13 3/179 22633
/proc/meminfo: memFree=20913780/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=1770140 CPUtime=6.64 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 185382 0 0 0 600 64 0 0 20 0 1 0 383156722 1812623360 379784 33554432000 4194304 5654031 140735138487520 140735137436872 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 442535 379784 108 357 0 442175 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 4117236
[startup+162.3 s]
/proc/loadavg: 2.56 2.34 2.13 3/179 22633
/proc/meminfo: memFree=19272180/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3897872 CPUtime=66.62 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 363620 0 0 0 6529 133 0 0 20 0 1 0 383156722 3991420928 788508 33554432000 4194304 5654031 140735138487520 140735138475336 4214603 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 974468 788508 141 357 0 974108 0
Current children cumulated CPU time (s) 162.01
Current children cumulated vsize (KiB) 6244968
[startup+222.3 s]
/proc/loadavg: 2.24 2.29 2.12 3/179 22633
/proc/meminfo: memFree=19269760/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3901372 CPUtime=126.61 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 368423 0 0 0 12526 135 0 0 20 0 1 0 383156722 3995004928 789883 33554432000 4194304 5654031 140735138487520 140735138485304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 975343 789883 141 357 0 974983 0
Current children cumulated CPU time (s) 222
Current children cumulated vsize (KiB) 6248468
[startup+282.3 s]
/proc/loadavg: 2.09 2.24 2.11 3/179 22633
/proc/meminfo: memFree=19264116/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=19212872/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917212 CPUtime=1266.44 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412242 0 0 0 126495 149 0 0 20 0 1 0 383156722 4011225088 795800 33554432000 4194304 5654031 140735138487520 140735138485336 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979303 795800 141 357 0 978943 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 6264308
[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22667
/proc/meminfo: memFree=19213120/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917212 CPUtime=1326.43 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412245 0 0 0 132494 149 0 0 20 0 1 0 383156722 4011225088 795803 33554432000 4194304 5654031 140735138487520 140735138485336 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979303 795803 141 357 0 978943 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 6264308
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22667
/proc/meminfo: memFree=19210080/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917212 CPUtime=1386.42 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412245 0 0 0 138493 149 0 0 20 0 1 0 383156722 4011225088 795803 33554432000 4194304 5654031 140735138487520 140735138485336 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979303 795803 141 357 0 978943 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 6264308
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22667
/proc/meminfo: memFree=19204992/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917476 CPUtime=1446.41 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412282 0 0 0 144492 149 0 0 20 0 1 0 383156722 4011495424 795840 33554432000 4194304 5654031 140735138487520 140735138485416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979369 795840 141 357 0 979009 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 6264572
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 22671
/proc/meminfo: memFree=19200020/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917476 CPUtime=1506.41 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412283 0 0 0 150492 149 0 0 20 0 1 0 383156722 4011495424 795841 33554432000 4194304 5654031 140735138487520 140735138485416 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979369 795841 141 357 0 979009 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 6264572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22671
/proc/meminfo: memFree=19196304/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917476 CPUtime=1566.4 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 412284 0 0 0 156491 149 0 0 20 0 1 0 383156722 4011495424 795842 33554432000 4194304 5654031 140735138487520 140735138485416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979369 795842 141 357 0 979009 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 6264572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22671
/proc/meminfo: memFree=19191216/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917716 CPUtime=1626.39 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 416281 0 0 0 162489 150 0 0 20 0 1 0 383156722 4011741184 795922 33554432000 4194304 5654031 140735138487520 140735138485592 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979429 795922 141 357 0 979069 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 6264812
[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22671
/proc/meminfo: memFree=19184700/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917980 CPUtime=1686.38 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 420256 0 0 0 168487 151 0 0 20 0 1 0 383156722 4012011520 796491 33554432000 4194304 5654031 140735138487520 140735138485304 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979495 796491 141 357 0 979135 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 6265076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 22672
/proc/meminfo: memFree=23790300/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917980 CPUtime=1704.68 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 420262 0 0 0 170317 151 0 0 20 0 1 0 383156722 4012011520 796497 33554432000 4194304 5654031 140735138487520 140735138485304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979495 796497 141 357 0 979135 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6265076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 2/175 22672
/proc/meminfo: memFree=23790300/32873852 swapFree=6864/6864
[pid=22622] ppid=22620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22622/stat : 22622 (npSolver-pbo-I.) S 22620 22622 22577 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 383147157 9367552 275 33554432000 4194304 5064252 140736785275120 140736785274032 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22622/statm: 2287 275 233 213 0 72 0
[pid=22623] ppid=22622 vsize=2337948 CPUtime=95.39 cores=1,3,5,7
/proc/22623/stat : 22623 (npSolver-pbo) S 22622 22622 22577 0 -1 4202496 57439 26334 0 0 2167 304 6627 441 20 0 1 0 383147157 2394058752 422758 33554432000 4194304 6004724 140734845803632 140734845789912 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/22623/statm: 584487 422758 167 442 0 584041 0
[pid=22633] ppid=22623 vsize=3917980 CPUtime=1704.68 cores=1,3,5,7
/proc/22633/stat : 22633 (glucosInc) R 22623 22622 22577 0 -1 4202496 420262 0 0 0 170317 151 0 0 20 0 1 0 383156722 4012011520 796497 33554432000 4194304 5654031 140735138487520 140735138485304 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22633/statm: 979495 796497 141 357 0 979135 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6265076
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22622 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=999
# CPU time returned by wait4() is 0.000999
# 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.62
CPU time (s): 1800.07
CPU user time (s): 1791.11
CPU system time (s): 8.96
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 6306336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 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= 1
runsolver used 4.18236 second user time and 11.1943 second system time
The end