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-3748249-1339121993/watcher-3748249-1339121993 -o /tmp/evaluation-result-3748249-1339121993/solver-3748249-1339121993 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748249-1339121993.opb 353402041 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: 4.78 3.55 2.63 5/180 17901
/proc/meminfo: memFree=17363404/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (runsolver) D 17899 17901 15254 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 378327907 12095488 50 33554432000 4194304 5436572 140734870527520 140734870523816 4883175 0 0 4096 24578 18446744071579943789 0 0 17 3 0 0 0 0 0
/proc/17901/statm: 2953 50 31 304 0 2645 0
[startup+0.082805 s]
/proc/loadavg: 4.78 3.55 2.63 5/180 17901
/proc/meminfo: memFree=17363404/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 4.78 3.55 2.63 5/180 17901
/proc/meminfo: memFree=17363404/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.3003 s]
/proc/loadavg: 4.78 3.55 2.63 5/180 17901
/proc/meminfo: memFree=17363404/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700309 s]
/proc/loadavg: 4.78 3.55 2.63 5/180 17901
/proc/meminfo: memFree=17363404/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 4.78 3.55 2.63 4/182 17903
/proc/meminfo: memFree=23124992/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=178076 CPUtime=1.48 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) R 17901 17901 15254 0 -1 4202496 10322 0 0 0 142 6 0 0 20 0 1 0 378327908 182349824 29039 33554432000 4194304 6004724 140736225303520 140736225298120 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17903/statm: 44519 29039 154 442 0 44073 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 187224
[startup+3.10035 s]
/proc/loadavg: 4.78 3.55 2.63 4/182 17903
/proc/meminfo: memFree=29794860/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=309148 CPUtime=3.08 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) R 17901 17901 15254 0 -1 4202496 10956 0 0 0 298 10 0 0 20 0 1 0 378327908 316567552 57772 33554432000 4194304 6004724 140736225303520 140736225298120 5055521 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17903/statm: 77287 57772 154 442 0 76841 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 318296
[startup+6.30033 s]
/proc/loadavg: 4.56 3.53 2.63 3/181 17903
/proc/meminfo: memFree=29558304/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=571292 CPUtime=6.28 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) R 17901 17901 15254 0 -1 4202496 11714 0 0 0 609 19 0 0 20 0 1 0 378327908 585003008 118700 33554432000 4194304 6004724 140736225303520 140736225298120 4617922 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17903/statm: 142823 118700 154 442 0 142377 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 580440
[startup+12.7004 s]
/proc/loadavg: 4.35 3.50 2.62 3/181 17905
/proc/meminfo: memFree=29048712/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=1095580 CPUtime=12.68 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) R 17901 17901 15254 0 -1 4202496 12719 0 0 0 1230 38 0 0 20 0 1 0 378327908 1121873920 240556 33554432000 4194304 6004724 140736225303520 140736225298120 4534738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17903/statm: 273895 240556 154 442 0 273449 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1104728
[startup+25.5004 s]
/proc/loadavg: 3.83 3.43 2.61 3/181 17905
/proc/meminfo: memFree=28089092/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=2144156 CPUtime=25.47 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) R 17901 17901 15254 0 -1 4202496 14218 0 0 0 2474 73 0 0 20 0 1 0 378327908 2195615744 484268 33554432000 4194304 6004724 140736225303520 140736225298120 4534746 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17903/statm: 536039 484268 154 442 0 535593 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 2153304
[startup+51.1005 s]
/proc/loadavg: 3.28 3.33 2.60 3/183 17907
/proc/meminfo: memFree=23405256/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=42.96 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18537 0 0 0 3740 556 0 0 20 0 1 0 378327908 4315095040 715008 33554432000 4194304 6004724 140736225303520 140736225297984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715008 163 442 0 1053044 0
[pid=17906] ppid=17903 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17906/stat : 17906 (cp2_pre.sh) S 17903 17901 15254 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378332229 9367552 276 33554432000 4194304 5064252 140737149100784 140737149099488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17906/statm: 2287 276 234 213 0 72 0
[pid=17907] ppid=17906 vsize=982760 CPUtime=7.86 cores=1,3,5,7
/proc/17907/stat : 17907 (coprocessor) R 17906 17901 15254 0 -1 4202496 18666 0 0 0 745 41 0 0 20 0 1 0 378332230 1006346240 229573 33554432000 4194304 6586260 140736324302336 140736324299096 5550307 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17907/statm: 245690 229573 137 584 0 245102 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 5215016
[startup+102.307 s]
/proc/loadavg: 3.14 3.29 2.63 3/182 17908
/proc/meminfo: memFree=19085760/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=42.96 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18537 0 0 0 3740 556 0 0 20 0 1 0 378327908 4315095040 715008 33554432000 4194304 6004724 140736225303520 140736225297984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715008 163 442 0 1053044 0
[pid=17906] ppid=17903 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17906/stat : 17906 (cp2_pre.sh) S 17903 17901 15254 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378332229 9367552 276 33554432000 4194304 5064252 140737149100784 140737149099488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17906/statm: 2287 276 234 213 0 72 0
[pid=17907] ppid=17906 vsize=5263844 CPUtime=58.89 cores=1,3,5,7
/proc/17907/stat : 17907 (coprocessor) R 17906 17901 15254 0 -1 4202496 28929 0 0 0 5560 329 0 0 20 0 1 0 378332230 5390176256 1116761 33554432000 4194304 6586260 140736324302336 140736324298088 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 17 0 0
/proc/17907/statm: 1315961 1116761 158 584 0 1315373 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 9496100
[startup+162.3 s]
/proc/loadavg: 2.60 3.11 2.61 3/182 17908
/proc/meminfo: memFree=17433304/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=42.96 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18537 0 0 0 3740 556 0 0 20 0 1 0 378327908 4315095040 715008 33554432000 4194304 6004724 140736225303520 140736225297984 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715008 163 442 0 1053044 0
[pid=17906] ppid=17903 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17906/stat : 17906 (cp2_pre.sh) S 17903 17901 15254 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 378332229 9367552 276 33554432000 4194304 5064252 140737149100784 140737149099488 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17906/statm: 2287 276 234 213 0 72 0
[pid=17907] ppid=17906 vsize=5263844 CPUtime=117.14 cores=1,3,5,7
/proc/17907/stat : 17907 (coprocessor) R 17906 17901 15254 0 -1 4202496 28929 0 0 0 11077 637 0 0 20 0 1 0 378332230 5390176256 1116761 33554432000 4194304 6586260 140736324302336 140736324298088 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 190 0 0
/proc/17907/statm: 1315961 1116761 158 584 0 1315373 0
Current children cumulated CPU time (s) 160.1
Current children cumulated vsize (KiB) 9496100
[startup+222.3 s]
/proc/loadavg: 2.25 2.92 2.57 3/181 17910
/proc/meminfo: memFree=18508792/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=6984364 CPUtime=41.76 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 620369 0 0 0 3940 236 0 0 20 0 1 0 378345959 7151988736 1436533 33554432000 4194304 5654031 140735703823344 140735703821128 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1746091 1436533 140 357 0 1745731 0
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (KiB) 11207472
[startup+282.3 s]
/proc/loadavg: 2.09 2.75 2.53 3/181 17910
/proc/meminfo: memFree=18408948/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=18249220/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7122100 CPUtime=1121.61 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 668240 0 0 0 111902 259 0 0 20 0 1 0 378345959 7293030400 1536743 33554432000 4194304 5654031 140735703823344 140735703811160 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1780525 1536743 141 357 0 1780165 0
Current children cumulated CPU time (s) 1299.88
Current children cumulated vsize (KiB) 11345208
[startup+1362.3 s]
/proc/loadavg: 2.11 2.05 2.16 3/180 17964
/proc/meminfo: memFree=18219184/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7123912 CPUtime=1181.58 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 668753 0 0 0 117899 259 0 0 20 0 1 0 378345959 7294885888 1543388 33554432000 4194304 5654031 140735703823344 140735703811160 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1780978 1543388 141 357 0 1780618 0
Current children cumulated CPU time (s) 1359.85
Current children cumulated vsize (KiB) 11347020
[startup+1422.31 s]
/proc/loadavg: 2.04 2.04 2.15 3/181 17965
/proc/meminfo: memFree=18179588/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7130000 CPUtime=1241.58 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 670170 0 0 0 123898 260 0 0 20 0 1 0 378345959 7301120000 1552981 33554432000 4194304 5654031 140735703823344 140735703811160 4214505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1782500 1552981 141 357 0 1782140 0
Current children cumulated CPU time (s) 1419.85
Current children cumulated vsize (KiB) 11353108
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.14 3/181 17965
/proc/meminfo: memFree=18151540/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7133288 CPUtime=1301.57 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 671064 0 0 0 129896 261 0 0 20 0 1 0 378345959 7304486912 1560007 33554432000 4194304 5654031 140735703823344 140735703811160 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1783322 1560007 141 357 0 1782962 0
Current children cumulated CPU time (s) 1479.84
Current children cumulated vsize (KiB) 11356396
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/181 17965
/proc/meminfo: memFree=18096496/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7135400 CPUtime=1361.56 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 671643 0 0 0 135894 262 0 0 20 0 1 0 378345959 7306649600 1565696 33554432000 4194304 5654031 140735703823344 140735703811160 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1783850 1565696 141 357 0 1783490 0
Current children cumulated CPU time (s) 1539.83
Current children cumulated vsize (KiB) 11358508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.12 3/182 17966
/proc/meminfo: memFree=18071668/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7139896 CPUtime=1421.55 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 672771 0 0 0 141893 262 0 0 20 0 1 0 378345959 7311253504 1571934 33554432000 4194304 5654031 140735703823344 140735703811160 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1784974 1571934 141 357 0 1784614 0
Current children cumulated CPU time (s) 1599.82
Current children cumulated vsize (KiB) 11363004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.11 3/181 17967
/proc/meminfo: memFree=18046980/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7144740 CPUtime=1481.54 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 673822 0 0 0 147891 263 0 0 20 0 1 0 378345959 7316213760 1578095 33554432000 4194304 5654031 140735703823344 140735703811160 4232786 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1786185 1578095 141 357 0 1785825 0
Current children cumulated CPU time (s) 1659.81
Current children cumulated vsize (KiB) 11367848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.09 3/181 17967
/proc/meminfo: memFree=18042452/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7148376 CPUtime=1541.53 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 674749 0 0 0 153889 264 0 0 20 0 1 0 378345959 7319937024 1587198 33554432000 4194304 5654031 140735703823344 140735703811160 4214494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1787094 1587198 141 357 0 1786734 0
Current children cumulated CPU time (s) 1719.8
Current children cumulated vsize (KiB) 11371484
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 17967
/proc/meminfo: memFree=18015644/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7150108 CPUtime=1601.52 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 675234 0 0 0 159888 264 0 0 20 0 1 0 378345959 7321710592 1593815 33554432000 4194304 5654031 140735703823344 140735703811160 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1787527 1593815 141 357 0 1787167 0
Current children cumulated CPU time (s) 1779.79
Current children cumulated vsize (KiB) 11373216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.6 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 17967
/proc/meminfo: memFree=17972452/32873844 swapFree=7116/7116
[pid=17901] ppid=17899 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17901/stat : 17901 (npSolver-pbo-I.) S 17899 17901 15254 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 378327907 9367552 275 33554432000 4194304 5064252 140736957338784 140736957337696 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17901/statm: 2287 275 233 213 0 72 0
[pid=17903] ppid=17901 vsize=4213960 CPUtime=178.27 cores=1,3,5,7
/proc/17903/stat : 17903 (npSolver-pbo) S 17901 17901 15254 0 -1 4202496 18555 29832 0 0 3740 556 12731 800 20 0 1 0 378327908 4315095040 715012 33554432000 4194304 6004724 140736225303520 140736225289800 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 23 0 0
/proc/17903/statm: 1053490 715012 167 442 0 1053044 0
[pid=17910] ppid=17903 vsize=7150772 CPUtime=1621.83 cores=1,3,5,7
/proc/17910/stat : 17910 (glucosInc) R 17903 17901 15254 0 -1 4202496 675429 0 0 0 161918 265 0 0 20 0 1 0 378345959 7322390528 1595543 33554432000 4194304 5654031 140735703823344 140735703821128 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17910/statm: 1787693 1595543 141 357 0 1787333 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 11373880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17901 and gives
# childrusage.ru_utime.tv_sec=164
# childrusage.ru_utime.tv_usec=716959
# childrusage.ru_stime.tv_sec=13
# childrusage.ru_stime.tv_usec=585934
# CPU time returned by wait4() is 178.303
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.62
CPU time (s): 1800.1
CPU user time (s): 1783.89
CPU system time (s): 16.21
CPU usage (%): 99.8601
Max. virtual memory (cumulated for all children) (KiB): 11373880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.717
system time used= 13.5859
maximum resident set size= 5700188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48746
page faults= 0
swaps= 0
block input operations= 40
block output operations= 11239384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56
involuntary context switches= 299
runsolver used 4.04139 second user time and 11.6232 second system time
The end