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-3700219-1338074975/watcher-3700219-1338074975 -o /tmp/evaluation-result-3700219-1338074975/solver-3700219-1338074975 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700219-1338074975.opb 1672604392 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: 2.16 2.06 2.01 2/180 14689
/proc/meminfo: memFree=31643168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[startup+0.082987 s]
/proc/loadavg: 2.16 2.06 2.01 2/180 14689
/proc/meminfo: memFree=31643168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100248 s]
/proc/loadavg: 2.16 2.06 2.01 2/180 14689
/proc/meminfo: memFree=31643168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.16 2.06 2.01 2/180 14689
/proc/meminfo: memFree=31643168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.16 2.06 2.01 2/180 14689
/proc/meminfo: memFree=31643168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50037 s]
/proc/loadavg: 2.16 2.06 2.01 3/182 14691
/proc/meminfo: memFree=31612488/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=102684 CPUtime=1.48 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) R 14689 14689 8474 0 -1 4202496 7661 0 0 0 146 2 0 0 20 0 1 0 273622813 105148416 17327 33554432000 4194304 5992684 140733535600704 140733535595816 4948331 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 25671 17327 157 440 0 25227 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 111832
[startup+3.10043 s]
/proc/loadavg: 2.16 2.06 2.01 3/184 14693
/proc/meminfo: memFree=31457764/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107456 CPUtime=1.65 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 8740 0 0 0 155 10 0 0 20 0 1 0 273622813 110034944 20050 33554432000 4194304 5992684 140733535600704 140733535595152 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26864 20050 164 440 0 26420 0
[pid=14692] ppid=14690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14692/stat : 14692 (cp2_pre.sh) S 14690 14689 8474 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273622979 9367552 277 33554432000 4194304 5064252 140734578062848 140734578061552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14692/statm: 2287 277 234 213 0 72 0
[pid=14693] ppid=14692 vsize=220156 CPUtime=1.43 cores=1,3,5,7
/proc/14693/stat : 14693 (coprocessor) R 14692 14689 8474 0 -1 4202496 34639 0 0 0 136 7 0 0 20 0 1 0 273622979 225439744 49477 33554432000 4194304 6586260 140737138626512 140737138622776 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/14693/statm: 55039 49477 166 584 0 54451 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 345908
[startup+6.30038 s]
/proc/loadavg: 2.14 2.06 2.01 3/184 14693
/proc/meminfo: memFree=31243092/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107456 CPUtime=1.65 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 8740 0 0 0 155 10 0 0 20 0 1 0 273622813 110034944 20050 33554432000 4194304 5992684 140733535600704 140733535595152 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26864 20050 164 440 0 26420 0
[pid=14692] ppid=14690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14692/stat : 14692 (cp2_pre.sh) S 14690 14689 8474 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 273622979 9367552 277 33554432000 4194304 5064252 140734578062848 140734578061552 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/14692/statm: 2287 277 234 213 0 72 0
[pid=14693] ppid=14692 vsize=291608 CPUtime=4.63 cores=1,3,5,7
/proc/14693/stat : 14693 (coprocessor) R 14692 14689 8474 0 -1 4202496 47701 0 0 0 451 12 0 0 20 0 1 0 273622979 298606592 69732 33554432000 4194304 6586260 140737138626512 140737138621832 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/14693/statm: 72902 69732 198 584 0 72314 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 417360
[startup+12.7004 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 14695
/proc/meminfo: memFree=31401636/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107456 CPUtime=7.62 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 8755 48605 0 0 155 10 577 20 20 0 1 0 273622813 110034944 20052 33554432000 4194304 5992684 140733535600704 140733535586968 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26864 20052 166 440 0 26420 0
[pid=14695] ppid=14690 vsize=149028 CPUtime=4.84 cores=1,3,5,7
/proc/14695/stat : 14695 (glucosInc) R 14690 14689 8474 0 -1 4202496 24124 0 0 0 478 6 0 0 20 0 1 0 273623598 152604672 32059 33554432000 4194304 5654031 140736789421792 140736789409608 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 37257 32059 139 357 0 36897 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 265632
[startup+25.5005 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14695
/proc/meminfo: memFree=31392024/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107456 CPUtime=7.62 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 8755 48605 0 0 155 10 577 20 20 0 1 0 273622813 110034944 20052 33554432000 4194304 5992684 140733535600704 140733535586968 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26864 20052 166 440 0 26420 0
[pid=14695] ppid=14690 vsize=152856 CPUtime=17.64 cores=1,3,5,7
/proc/14695/stat : 14695 (glucosInc) R 14690 14689 8474 0 -1 4202496 25135 0 0 0 1758 6 0 0 20 0 1 0 273623598 156524544 33070 33554432000 4194304 5654031 140736789421792 140736789419576 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14695/statm: 38214 33070 140 357 0 37854 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 269460
[startup+51.1005 s]
/proc/loadavg: 2.07 2.05 2.01 3/184 14701
/proc/meminfo: memFree=31366728/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.06 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 9828 76548 0 0 191 166 4508 41 20 0 1 0 273622813 110039040 20065 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20065 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=142048 CPUtime=1.77 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 22358 0 0 0 172 5 0 0 20 0 1 0 273627744 145457152 29780 33554432000 4194304 5654031 140736234254976 140736234252760 4233021 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 35512 29780 131 357 0 35152 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 258656
[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/182 14701
/proc/meminfo: memFree=31352104/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.06 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 9828 76548 0 0 191 166 4508 41 20 0 1 0 273622813 110039040 20065 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20065 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=151964 CPUtime=52.97 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 25087 0 0 0 5291 6 0 0 20 0 1 0 273627744 155611136 34042 33554432000 4194304 5654031 140736234254976 140736234242792 4215964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 37991 34042 140 357 0 37631 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 268572
[startup+162.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/182 14743
/proc/meminfo: memFree=30457800/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.06 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 9828 76548 0 0 191 166 4508 41 20 0 1 0 273622813 110039040 20065 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20065 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=175584 CPUtime=112.94 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 30882 0 0 0 11285 9 0 0 20 0 1 0 273627744 179798016 39221 33554432000 4194304 5654031 140736234254976 140736234242792 4208619 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 43896 39221 141 357 0 43536 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 292192
[startup+222.307 s]
/proc/loadavg: 2.01 2.03 2.00 3/182 14743
/proc/meminfo: memFree=29194064/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.06 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 9828 76548 0 0 191 166 4508 41 20 0 1 0 273622813 110039040 20065 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20065 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=177024 CPUtime=172.93 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 31307 0 0 0 17284 9 0 0 20 0 1 0 273627744 181272576 40662 33554432000 4194304 5654031 140736234254976 140736234252760 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 44256 40662 141 357 0 43896 0
Current children cumulated CPU time (s) 221.99
################
# More data... #
################
/proc/loadavg: 2.33 3.42 2.91 3/183 14800
/proc/meminfo: memFree=31334228/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=214644 CPUtime=1252.62 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 35610 0 0 0 125243 19 0 0 20 0 1 0 273627744 219795456 44122 33554432000 4194304 5654031 140736234254976 140736234242792 4233160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 53661 44122 151 357 0 53301 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 331252
[startup+1362.3 s]
/proc/loadavg: 2.12 3.16 2.85 3/183 14801
/proc/meminfo: memFree=31321492/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=183996 CPUtime=1312.6 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 35839 0 0 0 131240 20 0 0 20 0 1 0 273627744 188411904 41626 33554432000 4194304 5654031 140736234254976 140736234242792 4232720 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 45999 41626 151 357 0 45639 0
Current children cumulated CPU time (s) 1361.69
Current children cumulated vsize (KiB) 300604
[startup+1422.3 s]
/proc/loadavg: 2.12 2.96 2.80 3/183 14801
/proc/meminfo: memFree=31318688/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=184280 CPUtime=1372.58 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 35890 0 0 0 137238 20 0 0 20 0 1 0 273627744 188702720 42188 33554432000 4194304 5654031 140736234254976 140736234252760 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 46070 42188 151 357 0 45710 0
Current children cumulated CPU time (s) 1421.67
Current children cumulated vsize (KiB) 300888
[startup+1482.3 s]
/proc/loadavg: 2.11 2.80 2.75 3/183 14801
/proc/meminfo: memFree=31315168/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=184428 CPUtime=1432.57 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 36406 0 0 0 143236 21 0 0 20 0 1 0 273627744 188854272 43209 33554432000 4194304 5654031 140736234254976 140736234242792 4216105 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/14701/statm: 46107 43209 151 357 0 45747 0
Current children cumulated CPU time (s) 1481.66
Current children cumulated vsize (KiB) 301036
[startup+1542.3 s]
/proc/loadavg: 2.04 2.65 2.70 3/183 14801
/proc/meminfo: memFree=31310116/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=215800 CPUtime=1492.56 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 36648 0 0 0 149235 21 0 0 20 0 1 0 273627744 220979200 44470 33554432000 4194304 5654031 140736234254976 140736234252760 4216577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 53950 44470 151 357 0 53590 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 332408
[startup+1602.3 s]
/proc/loadavg: 2.01 2.53 2.65 3/183 14801
/proc/meminfo: memFree=31321988/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=185440 CPUtime=1552.54 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 36835 0 0 0 155232 22 0 0 20 0 1 0 273627744 189890560 41956 33554432000 4194304 5654031 140736234254976 140736234242792 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 46360 41956 151 357 0 46000 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 302048
[startup+1662.3 s]
/proc/loadavg: 2.00 2.43 2.61 3/183 14801
/proc/meminfo: memFree=31315860/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=185440 CPUtime=1612.53 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 36837 0 0 0 161231 22 0 0 20 0 1 0 273627744 189890560 42980 33554432000 4194304 5654031 140736234254976 140736234242792 4233344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 46360 42980 151 357 0 46000 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 302048
[startup+1722.3 s]
/proc/loadavg: 2.03 2.36 2.57 3/183 14802
/proc/meminfo: memFree=31266664/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=216596 CPUtime=1672.53 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 37492 0 0 0 167229 24 0 0 20 0 1 0 273627744 221794304 43628 33554432000 4194304 5654031 140736234254976 140736234252760 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 54149 43628 151 357 0 53789 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 333204
[startup+1782.3 s]
/proc/loadavg: 2.01 2.29 2.54 3/183 14802
/proc/meminfo: memFree=31253664/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=217204 CPUtime=1732.51 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 37640 0 0 0 173227 24 0 0 20 0 1 0 273627744 222416896 44798 33554432000 4194304 5654031 140736234254976 140736234252760 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 54301 44798 151 357 0 53941 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 333812
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.01 2.27 2.52 3/183 14802
/proc/meminfo: memFree=31292592/32873844 swapFree=7112/7112
[pid=14689] ppid=14687 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14689/stat : 14689 (npSolver-pbo-I.) S 14687 14689 8474 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273622813 9367552 274 33554432000 4194304 5064252 140733348658736 140733348657648 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/14689/statm: 2287 274 233 213 0 72 0
[pid=14690] ppid=14689 vsize=107460 CPUtime=49.09 cores=1,3,5,7
/proc/14690/stat : 14690 (npSolver-pbo) S 14689 14689 8474 0 -1 4202496 10897 76548 0 0 194 166 4508 41 20 0 1 0 273622813 110039040 20066 33554432000 4194304 5992684 140733535600704 140733535585608 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/14690/statm: 26865 20066 178 440 0 26421 0
[pid=14701] ppid=14690 vsize=217556 CPUtime=1750.91 cores=1,3,5,7
/proc/14701/stat : 14701 (glucosInc) R 14690 14689 8474 0 -1 4202496 37732 0 0 0 175067 24 0 0 20 0 1 0 273627744 222777344 45401 33554432000 4194304 5654031 140736234254976 140736234252760 4233290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14701/statm: 54389 45401 151 357 0 54029 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 334164
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 14689 and gives
# childrusage.ru_utime.tv_sec=47
# childrusage.ru_utime.tv_usec=27850
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=91682
# CPU time returned by wait4() is 49.1195
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.71
CPU time (s): 1800
CPU user time (s): 1797.69
CPU system time (s): 2.31
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (KiB): 417360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.0279
system time used= 2.09168
maximum resident set size= 286932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 381304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1298
involuntary context switches= 97
runsolver used 3.19951 second user time and 8.80466 second system time
The end