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-3698177-1338069817/watcher-3698177-1338069817 -o /tmp/evaluation-result-3698177-1338069817/solver-3698177-1338069817 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698177-1338069817.opb 969756935 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.99 1.99 2.07 3/178 5244
/proc/meminfo: memFree=31196216/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[startup+0.0278159 s]
/proc/loadavg: 1.99 1.99 2.07 3/178 5244
/proc/meminfo: memFree=31196216/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100254 s]
/proc/loadavg: 1.99 1.99 2.07 3/178 5244
/proc/meminfo: memFree=31196216/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 1.99 1.99 2.07 3/178 5244
/proc/meminfo: memFree=31196216/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 1.99 1.99 2.07 3/178 5244
/proc/meminfo: memFree=31196216/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 1.99 1.99 2.07 3/180 5246
/proc/meminfo: memFree=31130680/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=1.08 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16235 0 0 0 99 9 0 0 20 0 1 0 273110262 73736192 17400 33554432000 4194304 5992684 140735146315568 140735146310016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5245/statm: 18002 17400 164 440 0 17558 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 81156
[startup+3.10042 s]
/proc/loadavg: 1.99 1.99 2.07 3/182 5248
/proc/meminfo: memFree=30861168/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=1.08 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16235 0 0 0 99 9 0 0 20 0 1 0 273110262 73736192 17400 33554432000 4194304 5992684 140735146315568 140735146310016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5245/statm: 18002 17400 164 440 0 17558 0
[pid=5247] ppid=5245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5247/stat : 5247 (cp2_pre.sh) S 5245 5244 2929 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273110372 9367552 277 33554432000 4194304 5064252 140736388520208 140736388518912 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5247/statm: 2287 277 234 213 0 72 0
[pid=5248] ppid=5247 vsize=291020 CPUtime=1.97 cores=1,3,5,7
/proc/5248/stat : 5248 (coprocessor) R 5247 5244 2929 0 -1 4202496 37145 0 0 0 188 9 0 0 20 0 1 0 273110372 298004480 65296 33554432000 4194304 6586260 140734807204048 140734807200312 5511711 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/5248/statm: 72755 65296 166 584 0 72167 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 381324
[startup+6.30044 s]
/proc/loadavg: 1.99 1.99 2.06 3/182 5248
/proc/meminfo: memFree=30741012/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=1.08 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16235 0 0 0 99 9 0 0 20 0 1 0 273110262 73736192 17400 33554432000 4194304 5992684 140735146315568 140735146310016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5245/statm: 18002 17400 164 440 0 17558 0
[pid=5247] ppid=5245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5247/stat : 5247 (cp2_pre.sh) S 5245 5244 2929 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273110372 9367552 277 33554432000 4194304 5064252 140736388520208 140736388518912 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5247/statm: 2287 277 234 213 0 72 0
[pid=5248] ppid=5247 vsize=357532 CPUtime=5.17 cores=1,3,5,7
/proc/5248/stat : 5248 (coprocessor) R 5247 5244 2929 0 -1 4202496 47894 0 0 0 504 13 0 0 20 0 1 0 273110372 366112768 87798 33554432000 4194304 6586260 140734807204048 140734807199304 4683293 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/5248/statm: 89383 87798 191 584 0 88795 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 447836
[startup+12.7004 s]
/proc/loadavg: 1.99 1.99 2.06 3/182 5248
/proc/meminfo: memFree=30741516/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=1.08 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16235 0 0 0 99 9 0 0 20 0 1 0 273110262 73736192 17400 33554432000 4194304 5992684 140735146315568 140735146310016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5245/statm: 18002 17400 164 440 0 17558 0
[pid=5247] ppid=5245 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5247/stat : 5247 (cp2_pre.sh) S 5245 5244 2929 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273110372 9367552 277 33554432000 4194304 5064252 140736388520208 140736388518912 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5247/statm: 2287 277 234 213 0 72 0
[pid=5248] ppid=5247 vsize=357532 CPUtime=11.57 cores=1,3,5,7
/proc/5248/stat : 5248 (coprocessor) R 5247 5244 2929 0 -1 4202496 47916 0 0 0 1144 13 0 0 20 0 1 0 273110372 366112768 87820 33554432000 4194304 6586260 140734807204048 140734807199304 4683456 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/5248/statm: 89383 87820 191 584 0 88795 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 447836
[startup+25.5004 s]
/proc/loadavg: 2.07 2.00 2.07 3/181 5250
/proc/meminfo: memFree=30938956/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=173752 CPUtime=5.92 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 31606 0 0 0 585 7 0 0 20 0 1 0 273112218 177922048 38504 33554432000 4194304 5654031 140734330894384 140734330892168 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 43438 38504 140 357 0 43078 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 254908
[startup+51.1004 s]
/proc/loadavg: 2.10 2.02 2.07 3/181 5250
/proc/meminfo: memFree=30934800/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=193380 CPUtime=31.52 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 32258 0 0 0 3144 8 0 0 20 0 1 0 273112218 198021120 39154 33554432000 4194304 5654031 140734330894384 140734330892168 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 48345 39154 140 357 0 47985 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 274536
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.07 3/181 5251
/proc/meminfo: memFree=30925740/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=193784 CPUtime=82.72 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 32411 0 0 0 8264 8 0 0 20 0 1 0 273112218 198434816 40329 33554432000 4194304 5654031 140734330894384 140734330892280 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 48446 40329 140 357 0 48086 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 274940
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.07 3/181 5251
/proc/meminfo: memFree=30917176/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=194252 CPUtime=142.7 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 32497 0 0 0 14262 8 0 0 20 0 1 0 273112218 198914048 41437 33554432000 4194304 5654031 140734330894384 140734330891992 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 48563 41437 140 357 0 48203 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 275408
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.06 3/181 5251
/proc/meminfo: memFree=30908860/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=194252 CPUtime=202.69 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 5304
/proc/meminfo: memFree=31075632/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=226948 CPUtime=1282.49 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 36600 0 0 0 128231 18 0 0 20 0 1 0 273112218 232394752 46423 33554432000 4194304 5654031 140734330894384 140734330892472 4208619 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56737 46423 141 357 0 56377 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 308104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5306
/proc/meminfo: memFree=31073840/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=196128 CPUtime=1342.48 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 36928 0 0 0 134229 19 0 0 20 0 1 0 273112218 200835072 44313 33554432000 4194304 5654031 140734330894384 140734330892408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 49032 44313 141 357 0 48672 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 277284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5306
/proc/meminfo: memFree=31071480/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=196128 CPUtime=1402.47 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 36929 0 0 0 140228 19 0 0 20 0 1 0 273112218 200835072 44825 33554432000 4194304 5654031 140734330894384 140734330892408 4232916 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 49032 44825 141 357 0 48672 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 277284
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5306
/proc/meminfo: memFree=31060136/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=227140 CPUtime=1462.45 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 37541 0 0 0 146226 19 0 0 20 0 1 0 273112218 232591360 45943 33554432000 4194304 5654031 140734330894384 140734330892472 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56785 45943 141 357 0 56425 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 308296
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5306
/proc/meminfo: memFree=31061284/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=227140 CPUtime=1522.44 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 37569 0 0 0 152225 19 0 0 20 0 1 0 273112218 232591360 46482 33554432000 4194304 5654031 140734330894384 140734330892472 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56785 46482 141 357 0 56425 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 308296
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5309
/proc/meminfo: memFree=31062344/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=196892 CPUtime=1582.44 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 37979 0 0 0 158223 21 0 0 20 0 1 0 273112218 201617408 44520 33554432000 4194304 5654031 140734330894384 140734330892408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 49223 44520 141 357 0 48863 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 278048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5310
/proc/meminfo: memFree=31054348/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=196892 CPUtime=1642.43 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 38207 0 0 0 164222 21 0 0 20 0 1 0 273112218 201617408 45257 33554432000 4194304 5654031 140734330894384 140734330892408 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 49223 45257 141 357 0 48863 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 278048
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 5310
/proc/meminfo: memFree=31055712/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=227712 CPUtime=1702.42 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 38566 0 0 0 170220 22 0 0 20 0 1 0 273112218 233177088 46635 33554432000 4194304 5654031 140734330894384 140734330892472 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56928 46635 141 357 0 56568 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 308868
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 5310
/proc/meminfo: memFree=31057324/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=227712 CPUtime=1762.41 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 38567 0 0 0 176219 22 0 0 20 0 1 0 273112218 233177088 47147 33554432000 4194304 5654031 140734330894384 140734330892472 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56928 47147 141 357 0 56568 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 308868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 5310
/proc/meminfo: memFree=31053228/32873844 swapFree=7108/7108
[pid=5244] ppid=5242 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5244/stat : 5244 (npSolver-pbo-It) S 5242 5244 2929 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273110262 9367552 275 33554432000 4194304 5064252 140737099055168 140737099054080 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5244/statm: 2287 275 233 213 0 72 0
[pid=5245] ppid=5244 vsize=72008 CPUtime=19.51 cores=1,3,5,7
/proc/5245/stat : 5245 (npSolver-pbo) S 5244 5244 2929 0 -1 4202496 16251 49318 0 0 99 9 1822 21 20 0 1 0 273110262 73736192 17402 33554432000 4194304 5992684 140735146315568 140735146301832 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5245/statm: 18002 17402 166 440 0 17558 0
[pid=5250] ppid=5245 vsize=227900 CPUtime=1780.51 cores=1,3,5,7
/proc/5250/stat : 5250 (glucosInc) R 5245 5244 2929 0 -1 4202496 38603 0 0 0 178029 22 0 0 20 0 1 0 273112218 233369600 47694 33554432000 4194304 5654031 140734330894384 140734330892168 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5250/statm: 56975 47694 141 357 0 56615 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 309056
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5244 and gives
# childrusage.ru_utime.tv_sec=19
# childrusage.ru_utime.tv_usec=220078
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=320951
# CPU time returned by wait4() is 19.541
# 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): 1800.42
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52
CPU usage (%): 99.978
Max. virtual memory (cumulated for all children) (KiB): 447840
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.2201
system time used= 0.320951
maximum resident set size= 363484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65944
page faults= 0
swaps= 0
block input operations= 8
block output operations= 125448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 61
runsolver used 2.92355 second user time and 7.35988 second system time
The end