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-3700037-1338101458/watcher-3700037-1338101458 -o /tmp/evaluation-result-3700037-1338101458/solver-3700037-1338101458 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700037-1338101458.opb 36937784 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.06 2.47 3.22 3/179 13806
/proc/meminfo: memFree=31214652/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[startup+0.075616 s]
/proc/loadavg: 2.06 2.47 3.22 3/179 13806
/proc/meminfo: memFree=31214652/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.06 2.47 3.22 3/179 13806
/proc/meminfo: memFree=31214652/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300187 s]
/proc/loadavg: 2.06 2.47 3.22 3/179 13806
/proc/meminfo: memFree=31214652/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700191 s]
/proc/loadavg: 2.06 2.47 3.22 3/179 13806
/proc/meminfo: memFree=31214652/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.06 2.47 3.22 3/181 13808
/proc/meminfo: memFree=31177848/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=155768 CPUtime=1.49 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) R 13806 13806 11438 0 -1 4202496 14630 0 0 0 144 5 0 0 20 0 1 0 276274401 159506432 31914 33554432000 4194304 5992684 140735900438640 140735900432984 5045366 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 38942 31914 158 440 0 38498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 164916
[startup+3.10037 s]
/proc/loadavg: 2.06 2.47 3.22 3/183 13810
/proc/meminfo: memFree=30992548/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=1.56 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14906 0 0 0 144 12 0 0 20 0 1 0 276274401 112656384 22284 33554432000 4194304 5992684 140735900438640 140735900433088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22284 164 440 0 27060 0
[pid=13809] ppid=13807 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13809/stat : 13809 (cp2_pre.sh) S 13807 13806 11438 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 276274558 9367552 276 33554432000 4194304 5064252 140735720463568 140735720462272 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 2287 276 234 213 0 72 0
[pid=13810] ppid=13809 vsize=445592 CPUtime=1.51 cores=1,3,5,7
/proc/13810/stat : 13810 (coprocessor) R 13809 13806 11438 0 -1 4202496 36253 0 0 0 139 12 0 0 20 0 1 0 276274558 456286208 96316 33554432000 4194304 6586260 140736190189904 140736190186168 4548134 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13810/statm: 111398 96316 164 584 0 110810 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 573904
[startup+6.30039 s]
/proc/loadavg: 2.05 2.47 3.22 3/183 13810
/proc/meminfo: memFree=30535856/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=1.56 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14906 0 0 0 144 12 0 0 20 0 1 0 276274401 112656384 22284 33554432000 4194304 5992684 140735900438640 140735900433088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22284 164 440 0 27060 0
[pid=13809] ppid=13807 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13809/stat : 13809 (cp2_pre.sh) S 13807 13806 11438 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 276274558 9367552 276 33554432000 4194304 5064252 140735720463568 140735720462272 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 2287 276 234 213 0 72 0
[pid=13810] ppid=13809 vsize=606708 CPUtime=4.71 cores=1,3,5,7
/proc/13810/stat : 13810 (coprocessor) R 13809 13806 11438 0 -1 4202496 64382 0 0 0 454 17 0 0 20 0 1 0 276274558 621268992 149484 33554432000 4194304 6586260 140736190189904 140736190185928 5599336 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13810/statm: 151677 149484 189 584 0 151089 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 735020
[startup+12.7004 s]
/proc/loadavg: 2.05 2.46 3.21 3/183 13810
/proc/meminfo: memFree=30475672/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=1.56 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14906 0 0 0 144 12 0 0 20 0 1 0 276274401 112656384 22284 33554432000 4194304 5992684 140735900438640 140735900433088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22284 164 440 0 27060 0
[pid=13809] ppid=13807 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13809/stat : 13809 (cp2_pre.sh) S 13807 13806 11438 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 276274558 9367552 276 33554432000 4194304 5064252 140735720463568 140735720462272 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 2287 276 234 213 0 72 0
[pid=13810] ppid=13809 vsize=611048 CPUtime=11.11 cores=1,3,5,7
/proc/13810/stat : 13810 (coprocessor) R 13809 13806 11438 0 -1 4202496 65282 0 0 0 1094 17 0 0 20 0 1 0 276274558 625713152 150384 33554432000 4194304 6586260 140736190189904 140736190185384 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/13810/statm: 152762 150384 189 584 0 152174 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 739360
[startup+25.5004 s]
/proc/loadavg: 2.04 2.44 3.19 3/182 13812
/proc/meminfo: memFree=30809132/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=283216 CPUtime=3.09 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 49643 0 0 0 299 10 0 0 20 0 1 0 276276640 290013184 66404 33554432000 4194304 5654031 140734619919808 140734619917496 4218807 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13812/statm: 70804 66404 131 357 0 70444 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 402380
[startup+51.1004 s]
/proc/loadavg: 2.02 2.40 3.16 3/182 13815
/proc/meminfo: memFree=30786812/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=364428 CPUtime=28.7 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 50763 0 0 0 2858 12 0 0 20 0 1 0 276276640 373174272 76211 33554432000 4194304 5654031 140734619919808 140734619917416 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13812/statm: 91107 76211 131 357 0 90747 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 483592
[startup+102.307 s]
/proc/loadavg: 2.01 2.34 3.09 3/181 13815
/proc/meminfo: memFree=30692204/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=446148 CPUtime=79.89 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 51369 0 0 0 7976 13 0 0 20 0 1 0 276276640 456855552 95211 33554432000 4194304 5654031 140734619919808 140734619917896 4215200 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13812/statm: 111537 95211 131 357 0 111177 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 565312
[startup+162.3 s]
/proc/loadavg: 2.04 2.29 3.03 3/181 13815
/proc/meminfo: memFree=30683180/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=446372 CPUtime=139.88 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 52212 0 0 0 13969 19 0 0 20 0 1 0 276276640 457084928 94838 33554432000 4194304 5654031 140734619919808 140734619917416 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13812/statm: 111593 94838 132 357 0 111233 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 565536
[startup+222.3 s]
/proc/loadavg: 2.01 2.23 2.96 3/181 13815
/proc/meminfo: memFree=30584388/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=578764 CPUtime=199.86 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30427176/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795224 CPUtime=1279.69 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 60570 0 0 0 127892 77 0 0 20 0 1 0 276276640 814309376 145648 33554432000 4194304 5654031 140734619919808 140734619917896 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198806 145648 132 357 0 198446 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 914388
[startup+1362.3 s]
/proc/loadavg: 2.10 2.03 2.26 3/181 13848
/proc/meminfo: memFree=30319376/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795224 CPUtime=1339.67 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 60611 0 0 0 133889 78 0 0 20 0 1 0 276276640 814309376 164596 33554432000 4194304 5654031 140734619919808 140734619917896 4214981 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198806 164596 132 357 0 198446 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 914388
[startup+1422.31 s]
/proc/loadavg: 2.08 2.04 2.25 3/181 13848
/proc/meminfo: memFree=30239628/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795356 CPUtime=1399.66 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 60657 0 0 0 139887 79 0 0 20 0 1 0 276276640 814444544 183549 33554432000 4194304 5654031 140734619919808 140734619917592 4215112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198839 183549 132 357 0 198479 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 914520
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.24 3/181 13848
/proc/meminfo: memFree=30163764/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=1144604 CPUtime=1459.65 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 61230 0 0 0 145883 82 0 0 20 0 1 0 276276640 1172074496 203024 33554432000 4194304 5654031 140734619919808 140734619917896 4214977 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 286151 203024 132 357 0 285791 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 1263768
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.22 3/181 13848
/proc/meminfo: memFree=30473076/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=580432 CPUtime=1519.64 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 62247 0 0 0 151875 89 0 0 20 0 1 0 276276640 594362368 123836 33554432000 4194304 5654031 140734619919808 140734619917896 4218807 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 145108 123836 132 357 0 144748 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 699596
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.20 3/181 13849
/proc/meminfo: memFree=30393392/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795356 CPUtime=1579.62 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 62799 0 0 0 157872 90 0 0 20 0 1 0 276276640 814444544 144828 33554432000 4194304 5654031 140734619919808 140734619917896 4215248 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198839 144828 132 357 0 198479 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 914520
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.19 3/181 13849
/proc/meminfo: memFree=30309052/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795356 CPUtime=1639.62 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 62845 0 0 0 163870 92 0 0 20 0 1 0 276276640 814444544 165314 33554432000 4194304 5654031 140734619919808 140734619917896 4214996 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198839 165314 132 357 0 198479 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 914520
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.18 3/181 13849
/proc/meminfo: memFree=30229180/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=795492 CPUtime=1699.61 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 62897 0 0 0 169868 93 0 0 20 0 1 0 276276640 814583808 184784 33554432000 4194304 5654031 140734619919808 140734619917592 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 198873 184784 132 357 0 198513 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 914656
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/183 13894
/proc/meminfo: memFree=28997700/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=1144740 CPUtime=1759.6 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 63458 0 0 0 175866 94 0 0 20 0 1 0 276276640 1172213760 203740 33554432000 4194304 5654031 140734619919808 140734619917896 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 286185 203740 132 357 0 285825 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1263904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.08 2.03 2.16 3/182 13896
/proc/meminfo: memFree=29591500/32873844 swapFree=7364/7364
[pid=13806] ppid=13804 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13806/stat : 13806 (npSolver-pbo-I.) S 13804 13806 11438 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276274401 9367552 275 33554432000 4194304 5064252 140734718684720 140734718683632 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13806/statm: 2287 275 233 213 0 72 0
[pid=13807] ppid=13806 vsize=110016 CPUtime=22.35 cores=1,3,5,7
/proc/13807/stat : 13807 (npSolver-pbo) S 13806 13806 11438 0 -1 4202496 14920 66567 0 0 144 12 2049 30 20 0 1 0 276274401 112656384 22286 33554432000 4194304 5992684 140735900438640 140735900424904 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/13807/statm: 27504 22286 166 440 0 27060 0
[pid=13812] ppid=13807 vsize=1144740 CPUtime=1777.7 cores=1,3,5,7
/proc/13812/stat : 13812 (glucosInc) R 13807 13806 11438 0 -1 4202496 63477 0 0 0 177676 94 0 0 20 0 1 0 276276640 1172213760 209380 33554432000 4194304 5654031 140734619919808 140734619917896 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13812/statm: 286185 209380 132 357 0 285825 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1263904
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 13806 and gives
# childrusage.ru_utime.tv_sec=21
# childrusage.ru_utime.tv_usec=945663
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=435933
# CPU time returned by wait4() is 22.3816
# while last known CPU time is 1800.05
#
# 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.05
CPU user time (s): 1798.69
CPU system time (s): 1.36
CPU usage (%): 99.9796
Max. virtual memory (cumulated for all children) (KiB): 1475384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9457
system time used= 0.435933
maximum resident set size= 625544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81844
page faults= 0
swaps= 0
block input operations= 0
block output operations= 182944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 29
runsolver used 4.09938 second user time and 11.9952 second system time
The end