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-3748234-1339122425/watcher-3748234-1339122425 -o /tmp/evaluation-result-3748234-1339122425/solver-3748234-1339122425 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748234-1339122425.opb 762541716 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 2.00 3/176 23978
/proc/meminfo: memFree=27051760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[startup+0.044411 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23978
/proc/meminfo: memFree=27051760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23978
/proc/meminfo: memFree=27051760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23978
/proc/meminfo: memFree=27051760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 23978
/proc/meminfo: memFree=27051760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23982
/proc/meminfo: memFree=26950252/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=0.69 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4790 0 0 0 63 6 0 0 20 0 1 0 378368390 36773888 7401 33554432000 4194304 6004724 140734459817008 140734459811472 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7401 163 442 0 8532 0
[pid=23981] ppid=23979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23981/stat : 23981 (cp2_pre.sh) S 23979 23978 21457 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 378368459 9367552 276 33554432000 4194304 5064252 140733373931632 140733373930336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23981/statm: 2287 276 234 213 0 72 0
[pid=23982] ppid=23981 vsize=234656 CPUtime=0.79 cores=0,2,4,6
/proc/23982/stat : 23982 (coprocessor) R 23981 23978 21457 0 -1 4202496 30312 0 0 0 73 6 0 0 20 0 1 0 378368459 240287744 52331 33554432000 4194304 6586260 140737368636416 140737368633176 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23982/statm: 58664 52332 166 584 0 58076 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 288864
[startup+3.10035 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23982
/proc/meminfo: memFree=26750656/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=0.69 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4790 0 0 0 63 6 0 0 20 0 1 0 378368390 36773888 7401 33554432000 4194304 6004724 140734459817008 140734459811472 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7401 163 442 0 8532 0
[pid=23981] ppid=23979 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23981/stat : 23981 (cp2_pre.sh) S 23979 23978 21457 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 378368459 9367552 276 33554432000 4194304 5064252 140733373931632 140733373930336 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/23981/statm: 2287 276 234 213 0 72 0
[pid=23982] ppid=23981 vsize=309236 CPUtime=2.39 cores=0,2,4,6
/proc/23982/stat : 23982 (coprocessor) R 23981 23978 21457 0 -1 4202496 44276 0 0 0 231 8 0 0 20 0 1 0 378368459 316657664 75493 33554432000 4194304 6586260 140737368636416 140737368631736 5599209 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/23982/statm: 77309 75493 192 584 0 76721 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 363444
[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26889684/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=128452 CPUtime=1.7 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 24928 0 0 0 164 6 0 0 20 0 1 0 378368849 131534848 28360 33554432000 4194304 5654031 140734618099792 140734618087608 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 32113 28360 141 357 0 31753 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 173512
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26875668/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=147536 CPUtime=8.1 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 27753 0 0 0 803 7 0 0 20 0 1 0 378368849 151076864 30662 33554432000 4194304 5654031 140734618099792 140734618087608 4976752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 36884 30662 142 357 0 36524 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 192596
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26833524/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=183568 CPUtime=20.9 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 31073 0 0 0 2081 9 0 0 20 0 1 0 378368849 187973632 39486 33554432000 4194304 5654031 140734618099792 140734618087608 4215837 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 45892 39486 142 357 0 45532 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 228628
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26844344/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=183568 CPUtime=46.49 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 32461 0 0 0 4638 11 0 0 20 0 1 0 378368849 187973632 41156 33554432000 4194304 5654031 140734618099792 140734618087608 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 45892 41156 142 357 0 45532 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 228628
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26782816/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=232888 CPUtime=97.69 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 35993 0 0 0 9754 15 0 0 20 0 1 0 378368849 238477312 50763 33554432000 4194304 5654031 140734618099792 140734618087608 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 58222 50763 142 357 0 57862 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 277948
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 23984
/proc/meminfo: memFree=26788216/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=236352 CPUtime=157.67 cores=0,2,4,6
/proc/23984/stat : 23984 (glucosInc) R 23979 23978 21457 0 -1 4202496 39593 0 0 0 15748 19 0 0 20 0 1 0 378368849 242024448 51732 33554432000 4194304 5654031 140734618099792 140734618087608 4217616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/23984/statm: 59088 51732 142 357 0 58728 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 281412
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 23987
/proc/meminfo: memFree=26763408/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=35912 CPUtime=4.55 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 4808 46313 0 0 63 6 370 16 20 0 1 0 378368390 36773888 7405 33554432000 4194304 6004724 140734459817008 140734459803288 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 8978 7405 167 442 0 8532 0
[pid=23984] ppid=23979 vsize=236820 CPUtime=217.66 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.00 3/179 24041
/proc/meminfo: memFree=27144424/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=306400 CPUtime=893.57 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 71099 0 0 0 89294 63 0 0 20 0 1 0 378409244 313753600 65218 33554432000 4194304 5654031 140736094255504 140736094243320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 76600 65218 142 357 0 76240 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 390012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 24041
/proc/meminfo: memFree=27124032/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=311668 CPUtime=953.56 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 73352 0 0 0 95291 65 0 0 20 0 1 0 378409244 319148032 69278 33554432000 4194304 5654031 140736094255504 140736094243320 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 77917 69278 142 357 0 77557 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 395280
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 24044
/proc/meminfo: memFree=27087912/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=318972 CPUtime=1013.56 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 76396 0 0 0 101285 71 0 0 20 0 1 0 378409244 326627328 68539 33554432000 4194304 5654031 140736094255504 140736094243320 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 79743 68539 142 357 0 79383 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 402584
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24045
/proc/meminfo: memFree=27031268/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=375344 CPUtime=1073.54 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 79215 0 0 0 107279 75 0 0 20 0 1 0 378409244 384352256 76677 33554432000 4194304 5654031 140736094255504 140736094243320 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 93836 76677 142 357 0 93476 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 458956
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24045
/proc/meminfo: memFree=27085640/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=377120 CPUtime=1133.54 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 80884 0 0 0 113275 79 0 0 20 0 1 0 378409244 386170880 80498 33554432000 4194304 5654031 140736094255504 140736094243320 4244199 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 94280 80498 142 357 0 93920 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 460732
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24045
/proc/meminfo: memFree=27066236/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=329552 CPUtime=1193.53 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 82710 0 0 0 119269 84 0 0 20 0 1 0 378409244 337461248 74906 33554432000 4194304 5654031 140736094255504 140736094243320 4218520 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 82388 74906 142 357 0 82028 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 413164
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24045
/proc/meminfo: memFree=27032760/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=379640 CPUtime=1253.52 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 84394 0 0 0 125265 87 0 0 20 0 1 0 378409244 388751360 78233 33554432000 4194304 5654031 140736094255504 140736094243320 4232968 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 94910 78233 142 357 0 94550 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 463252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24045
/proc/meminfo: memFree=27011996/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=332076 CPUtime=1313.5 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 85467 0 0 0 131261 89 0 0 20 0 1 0 378409244 340045824 74987 33554432000 4194304 5654031 140736094255504 140736094243320 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 83019 74987 142 357 0 82659 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 415688
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24045
/proc/meminfo: memFree=27071988/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=336976 CPUtime=1373.49 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 87514 0 0 0 137258 91 0 0 20 0 1 0 378409244 345063424 77652 33554432000 4194304 5654031 140736094255504 140736094243320 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 84244 77652 142 357 0 83884 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 420588
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24046
/proc/meminfo: memFree=26979140/32873852 swapFree=6860/6860
[pid=23978] ppid=23976 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23978/stat : 23978 (npSolver-pbo-I.) S 23976 23978 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378368390 9367552 275 33554432000 4194304 5064252 140737307748160 140737307747072 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23978/statm: 2287 275 233 213 0 72 0
[pid=23979] ppid=23978 vsize=74464 CPUtime=408.39 cores=0,2,4,6
/proc/23979/stat : 23979 (npSolver-pbo) S 23978 23978 21457 0 -1 4202496 10463 94226 0 0 103 136 40541 59 20 0 1 0 378368390 76251136 15648 33554432000 4194304 6004724 140734459817008 140734459801928 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23979/statm: 18616 15648 179 442 0 18170 0
[pid=23991] ppid=23979 vsize=387064 CPUtime=1391.7 cores=0,2,4,6
/proc/23991/stat : 23991 (glucosInc) R 23979 23978 21457 0 -1 4202496 87843 0 0 0 139078 92 0 0 20 0 1 0 378409244 396353536 81549 33554432000 4194304 5654031 140736094255504 140736094243320 4232810 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/23991/statm: 96766 81549 142 357 0 96406 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 470676
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 23978 and gives
# childrusage.ru_utime.tv_sec=406
# childrusage.ru_utime.tv_usec=451210
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=967700
# CPU time returned by wait4() is 408.419
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1797.22
CPU system time (s): 2.87
CPU usage (%): 99.9765
Max. virtual memory (cumulated for all children) (KiB): 550816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 406.451
system time used= 1.9677
maximum resident set size= 312640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 105064
page faults= 0
swaps= 0
block input operations= 8
block output operations= 221440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 831
involuntary context switches= 576
runsolver used 7.85181 second user time and 17.4583 second system time
The end