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-3748868-1339124546/watcher-3748868-1339124546 -o /tmp/evaluation-result-3748868-1339124546/solver-3748868-1339124546 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748868-1339124546.opb 548888151 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.00 2.00 2.14 2/180 12817
/proc/meminfo: memFree=31824480/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[startup+0.030315 s]
/proc/loadavg: 2.00 2.00 2.14 2/180 12817
/proc/meminfo: memFree=31824480/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100231 s]
/proc/loadavg: 2.00 2.00 2.14 2/180 12817
/proc/meminfo: memFree=31824480/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300254 s]
/proc/loadavg: 2.00 2.00 2.14 2/180 12817
/proc/meminfo: memFree=31824480/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700276 s]
/proc/loadavg: 2.00 2.00 2.14 2/180 12817
/proc/meminfo: memFree=31824480/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.14 3/182 12819
/proc/meminfo: memFree=31729764/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=178228 CPUtime=1.49 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) R 12817 12817 8890 0 -1 4202496 8865 0 0 0 145 4 0 0 20 0 1 0 22421296 182505472 31514 33554432000 4194304 6004724 140735782851184 140735782845784 4820329 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12818/statm: 44557 31514 154 442 0 44111 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 187376
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.13 3/182 12819
/proc/meminfo: memFree=31647348/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=309300 CPUtime=3.09 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) R 12817 12817 8890 0 -1 4202496 9496 0 0 0 300 9 0 0 20 0 1 0 22421296 316723200 60186 33554432000 4194304 6004724 140735782851184 140735782845784 4582601 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12818/statm: 77325 60186 154 442 0 76879 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 318448
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.13 3/182 12819
/proc/meminfo: memFree=31392900/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=571444 CPUtime=6.29 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) R 12817 12817 8890 0 -1 4202496 10253 0 0 0 611 18 0 0 20 0 1 0 22421296 585158656 120602 33554432000 4194304 6004724 140735782851184 140735782845784 4534749 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12818/statm: 142861 120602 154 442 0 142415 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 580592
[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.14 3/182 12819
/proc/meminfo: memFree=30663684/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1915812 CPUtime=12.68 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) R 12817 12817 8890 0 -1 4202496 12038 0 0 0 1177 91 0 0 20 0 1 0 22421296 1961791488 428537 33554432000 4194304 6004724 140735782851184 140735782846136 5193835 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12818/statm: 478953 428537 157 442 0 478507 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1924960
[startup+25.5003 s]
/proc/loadavg: 2.15 2.03 2.14 3/184 12822
/proc/meminfo: memFree=28578764/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=13.45 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12045 0 0 0 1177 168 0 0 20 0 1 0 22421296 1094025216 216686 33554432000 4194304 6004724 140735782851184 140735782845648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216686 163 442 0 266650 0
[pid=12820] ppid=12818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12820/stat : 12820 (cp2_pre.sh) S 12818 12817 8890 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 22422644 9367552 277 33554432000 4194304 5064252 140733900742976 140733900741680 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12820/statm: 2287 277 234 213 0 72 0
[pid=12821] ppid=12820 vsize=1709860 CPUtime=12 cores=1,3,5,7
/proc/12821/stat : 12821 (coprocessor) R 12820 12817 8890 0 -1 4202496 22846 0 0 0 1140 60 0 0 20 0 1 0 22422644 1750896640 366938 33554432000 4194304 6586260 140736201921968 140736201917720 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12821/statm: 427465 366938 158 584 0 426877 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 2796540
[startup+51.1003 s]
/proc/loadavg: 2.50 2.13 2.17 3/184 12822
/proc/meminfo: memFree=27942196/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=13.45 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12045 0 0 0 1177 168 0 0 20 0 1 0 22421296 1094025216 216686 33554432000 4194304 6004724 140735782851184 140735782845648 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216686 163 442 0 266650 0
[pid=12820] ppid=12818 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12820/stat : 12820 (cp2_pre.sh) S 12818 12817 8890 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 22422644 9367552 277 33554432000 4194304 5064252 140733900742976 140733900741680 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12820/statm: 2287 277 234 213 0 72 0
[pid=12821] ppid=12820 vsize=1709860 CPUtime=37.39 cores=1,3,5,7
/proc/12821/stat : 12821 (coprocessor) R 12820 12817 8890 0 -1 4202496 22846 0 0 0 3542 197 0 0 20 0 1 0 22422644 1750896640 366938 33554432000 4194304 6586260 140736201921968 140736201917720 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 21 0 0
/proc/12821/statm: 427465 366938 158 584 0 426877 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 2796540
[startup+102.3 s]
/proc/loadavg: 2.29 2.13 2.17 3/183 12824
/proc/meminfo: memFree=28180528/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2374348 CPUtime=46.52 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 239471 0 0 0 4573 79 0 0 20 0 1 0 22426872 2431332352 480579 33554432000 4194304 5654031 140736372536560 140736372524376 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 593587 480579 140 357 0 593227 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 3451880
[startup+162.3 s]
/proc/loadavg: 2.16 2.12 2.16 3/183 12824
/proc/meminfo: memFree=28154636/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2374348 CPUtime=106.53 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 239485 0 0 0 10573 80 0 0 20 0 1 0 22426872 2431332352 481615 33554432000 4194304 5654031 140736372536560 140736372524376 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 593587 481615 140 357 0 593227 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 3451880
[startup+222.3 s]
/proc/loadavg: 2.06 2.10 2.15 3/183 12824
/proc/meminfo: memFree=28159540/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2388196 CPUtime=166.51 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 239900 0 0 0 16571 80 0 0 20 0 1 0 22426872 2445512704 485096 33554432000 4194304 5654031 140736372536560 140736372524376 4232767 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 597049 485096 140 357 0 596689 0
Current children cumulated CPU time (s) 221.98
Current children cumulated vsize (KiB) 3465728
[startup+282.307 s]
/proc/loadavg: 2.02 2.08 2.14 3/183 12824
/proc/meminfo: memFree=28174812/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28182456/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1246.26 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 241796 0 0 0 124545 81 0 0 20 0 1 0 22426872 2484436992 499753 33554432000 4194304 5654031 140736372536560 140736372524376 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 499753 140 357 0 606192 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 3503740
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/183 12878
/proc/meminfo: memFree=28155616/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1306.25 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 241929 0 0 0 130544 81 0 0 20 0 1 0 22426872 2484436992 499883 33554432000 4194304 5654031 140736372536560 140736372524376 4214612 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 499883 140 357 0 606192 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 3503740
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/183 12878
/proc/meminfo: memFree=28150236/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1366.24 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 241988 0 0 0 136543 81 0 0 20 0 1 0 22426872 2484436992 500961 33554432000 4194304 5654031 140736372536560 140736372524376 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 500961 140 357 0 606192 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 3503740
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.01 3/183 12878
/proc/meminfo: memFree=28148108/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1426.24 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242001 0 0 0 142543 81 0 0 20 0 1 0 22426872 2484436992 500972 33554432000 4194304 5654031 140736372536560 140736372524376 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 500972 140 357 0 606192 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 3503740
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/183 12878
/proc/meminfo: memFree=28145780/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1486.23 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242023 0 0 0 148541 82 0 0 20 0 1 0 22426872 2484436992 501501 33554432000 4194304 5654031 140736372536560 140736372524376 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 501501 140 357 0 606192 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 3503740
[startup+1602.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12879
/proc/meminfo: memFree=28143796/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1546.22 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242032 0 0 0 154540 82 0 0 20 0 1 0 22426872 2484436992 502067 33554432000 4194304 5654031 140736372536560 140736372524376 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 502067 140 357 0 606192 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 3503740
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12882
/proc/meminfo: memFree=28138880/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1606.2 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242039 0 0 0 160538 82 0 0 20 0 1 0 22426872 2484436992 503242 33554432000 4194304 5654031 140736372536560 140736372524376 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 503242 140 357 0 606192 0
Current children cumulated CPU time (s) 1661.67
Current children cumulated vsize (KiB) 3503740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12882
/proc/meminfo: memFree=28137000/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1666.19 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242040 0 0 0 166537 82 0 0 20 0 1 0 22426872 2484436992 503754 33554432000 4194304 5654031 140736372536560 140736372524376 4214597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 503754 140 357 0 606192 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 3503740
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12882
/proc/meminfo: memFree=28134640/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1726.18 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242041 0 0 0 172536 82 0 0 20 0 1 0 22426872 2484436992 504266 33554432000 4194304 5654031 140736372536560 140736372524376 4214494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 504266 140 357 0 606192 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 3503740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/183 12882
/proc/meminfo: memFree=28134888/32873844 swapFree=6868/6868
[pid=12817] ppid=12815 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12817/stat : 12817 (npSolver-pbo-I.) S 12815 12817 8890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 22421296 9367552 275 33554432000 4194304 5064252 140733758596064 140733758594976 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12817/statm: 2287 275 233 213 0 72 0
[pid=12818] ppid=12817 vsize=1068384 CPUtime=55.47 cores=1,3,5,7
/proc/12818/stat : 12818 (npSolver-pbo) S 12817 12817 8890 0 -1 4202496 12061 23748 0 0 1177 168 3963 239 20 0 1 0 22421296 1094025216 216691 33554432000 4194304 6004724 140735782851184 140735782837464 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 1 0 0
/proc/12818/statm: 267096 216691 167 442 0 266650 0
[pid=12824] ppid=12818 vsize=2426208 CPUtime=1744.58 cores=1,3,5,7
/proc/12824/stat : 12824 (glucosInc) R 12818 12817 8890 0 -1 4202496 242041 0 0 0 174376 82 0 0 20 0 1 0 22426872 2484436992 504266 33554432000 4194304 5654031 140736372536560 140736372524376 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12824/statm: 606552 504266 140 357 0 606192 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3503740
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 12817 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# 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.72
CPU time (s): 1800.05
CPU user time (s): 1795.16
CPU system time (s): 4.89
CPU usage (%): 99.963
Max. virtual memory (cumulated for all children) (KiB): 3503740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1
runsolver used 4.04938 second user time and 11.4763 second system time
The end