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-3702451-1338102309/watcher-3702451-1338102309 -o /tmp/evaluation-result-3702451-1338102309/solver-3702451-1338102309 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702451-1338102309.opb 1925397672 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.36 2.08 2.02 3/179 1498
/proc/meminfo: memFree=31335212/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[startup+0.0805171 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 1498
/proc/meminfo: memFree=31335212/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100287 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 1498
/proc/meminfo: memFree=31335212/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 1498
/proc/meminfo: memFree=31335212/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700177 s]
/proc/loadavg: 2.36 2.08 2.02 3/179 1498
/proc/meminfo: memFree=31335212/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50045 s]
/proc/loadavg: 2.36 2.08 2.02 3/183 1502
/proc/meminfo: memFree=31238680/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=14152 CPUtime=0.3 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 3487 0 0 0 24 6 0 0 20 0 1 0 276355284 14491648 2826 33554432000 4194304 5992684 140736137028304 140736137022752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 3538 2826 161 440 0 3094 0
[pid=1501] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1501/stat : 1501 (cp2_pre.sh) S 1499 1498 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276355315 9367552 276 33554432000 4194304 5064252 140733539041216 140733539039920 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1501/statm: 2287 276 234 213 0 72 0
[pid=1502] ppid=1501 vsize=88932 CPUtime=1.17 cores=1,3,5,7
/proc/1502/stat : 1502 (coprocessor) R 1501 1498 15712 0 -1 4202496 17531 0 0 0 113 4 0 0 20 0 1 0 276355316 91066368 21509 33554432000 4194304 6586260 140736078519184 140736078515208 5599279 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1502/statm: 22233 21509 190 584 0 21645 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121380
[startup+3.10037 s]
/proc/loadavg: 2.36 2.08 2.02 3/183 1502
/proc/meminfo: memFree=31231724/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=14152 CPUtime=0.3 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 3487 0 0 0 24 6 0 0 20 0 1 0 276355284 14491648 2826 33554432000 4194304 5992684 140736137028304 140736137022752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 3538 2826 161 440 0 3094 0
[pid=1501] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1501/stat : 1501 (cp2_pre.sh) S 1499 1498 15712 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 276355315 9367552 276 33554432000 4194304 5064252 140733539041216 140733539039920 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1501/statm: 2287 276 234 213 0 72 0
[pid=1502] ppid=1501 vsize=88936 CPUtime=2.77 cores=1,3,5,7
/proc/1502/stat : 1502 (coprocessor) R 1501 1498 15712 0 -1 4202496 18259 0 0 0 272 5 0 0 20 0 1 0 276355316 91070464 21517 33554432000 4194304 6586260 140736078519184 140736078514936 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/1502/statm: 22234 21517 197 584 0 21646 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 121384
[startup+6.30038 s]
/proc/loadavg: 2.33 2.08 2.02 3/183 1507
/proc/meminfo: memFree=31176916/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 8841 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 8841 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=82556 CPUtime=1.68 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 17094 0 0 0 165 3 0 0 20 0 1 0 276355744 84537344 18541 33554432000 4194304 5208918 140735322252576 140735322250248 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1507/statm: 20639 18541 95 248 0 20388 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 176700
[startup+12.7004 s]
/proc/loadavg: 2.30 2.08 2.02 3/184 1508
/proc/meminfo: memFree=31186528/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 8841 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 8841 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=82724 CPUtime=8.08 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 17114 0 0 0 805 3 0 0 20 0 1 0 276355744 84709376 18561 33554432000 4194304 5208918 140735322252576 140735322250328 4211580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1507/statm: 20681 18561 95 248 0 20430 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 176868
[startup+25.5004 s]
/proc/loadavg: 2.24 2.07 2.02 3/184 1508
/proc/meminfo: memFree=31186784/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 8841 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 8841 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=82724 CPUtime=20.88 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 17133 0 0 0 2085 3 0 0 20 0 1 0 276355744 84709376 18580 33554432000 4194304 5208918 140735322252576 140735322250328 4211580 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1507/statm: 20681 18580 95 248 0 20430 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 176868
[startup+51.1004 s]
/proc/loadavg: 2.15 2.07 2.02 3/184 1508
/proc/meminfo: memFree=31182316/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 8841 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 8841 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=83120 CPUtime=46.47 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 17244 0 0 0 4644 3 0 0 20 0 1 0 276355744 85114880 19202 33554432000 4194304 5208918 140735322252576 140735322250424 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 20780 19202 95 248 0 20529 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 177264
[startup+102.307 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 1508
/proc/meminfo: memFree=31177832/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 8841 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 8841 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=83252 CPUtime=97.67 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 217044
[startup+1482.3 s]
/proc/loadavg: 1.94 2.00 1.99 3/182 1568
/proc/meminfo: memFree=30353140/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=123432 CPUtime=1477.45 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 22575 0 0 0 147737 8 0 0 20 0 1 0 276355744 126394368 28790 33554432000 4194304 5208918 140735322252576 140735322250424 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 30858 28790 104 248 0 30607 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 217576
[startup+1542.3 s]
/proc/loadavg: 2.32 2.08 2.02 3/185 1574
/proc/meminfo: memFree=21582000/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=154648 CPUtime=1537.44 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23056 0 0 0 153736 8 0 0 20 0 1 0 276355744 158359552 30293 33554432000 4194304 5208918 140735322252576 140735322250728 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 38662 30293 104 248 0 38411 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 248792
[startup+1602.3 s]
/proc/loadavg: 2.78 2.26 2.08 3/184 1574
/proc/meminfo: memFree=20071868/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=155072 CPUtime=1597.43 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23344 0 0 0 159734 9 0 0 20 0 1 0 276355744 158793728 32114 33554432000 4194304 5208918 140735322252576 140735322250424 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 38768 32114 104 248 0 38517 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 249216
[startup+1662.3 s]
/proc/loadavg: 2.42 2.26 2.09 3/184 1577
/proc/meminfo: memFree=19943916/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=124780 CPUtime=1657.42 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23903 0 0 0 165732 10 0 0 20 0 1 0 276355744 127774720 26547 33554432000 4194304 5208918 140735322252576 140735322250328 4211918 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 31195 26547 104 248 0 30944 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 218924
[startup+1722.3 s]
/proc/loadavg: 2.15 2.21 2.09 3/183 1577
/proc/meminfo: memFree=19918728/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=124780 CPUtime=1717.41 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23930 0 0 0 171731 10 0 0 20 0 1 0 276355744 127774720 27596 33554432000 4194304 5208918 140735322252576 140735322250328 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 31195 27596 104 248 0 30944 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 218924
[startup+1782.3 s]
/proc/loadavg: 2.05 2.17 2.08 3/183 1577
/proc/meminfo: memFree=19892548/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=124912 CPUtime=1777.4 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23945 0 0 0 177730 10 0 0 20 0 1 0 276355744 127909888 29144 33554432000 4194304 5208918 140735322252576 140735322250424 4211558 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 31228 29144 104 248 0 30977 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 219056
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.04 2.16 2.08 3/183 1577
/proc/meminfo: memFree=19887340/32873844 swapFree=7632/7632
[pid=1498] ppid=1496 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1498/stat : 1498 (npSolver-pbo-It) S 1496 1498 15712 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 276355284 9367552 274 33554432000 4194304 5064252 140733329469408 140733329468320 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1498/statm: 2287 274 233 213 0 72 0
[pid=1499] ppid=1498 vsize=34536 CPUtime=3.96 cores=1,3,5,7
/proc/1499/stat : 1499 (npSolver-pbo) S 1498 1498 15712 0 -1 4202496 5933 19676 0 0 50 61 277 8 20 0 1 0 276355284 35364864 7432 33554432000 4194304 5992684 140736137028304 140736137020592 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1499/statm: 8634 7432 186 440 0 8190 0
[pid=1504] ppid=1499 vsize=41312 CPUtime=0.62 cores=1,3,5,7
/proc/1504/stat : 1504 (glucosInc) S 1499 1498 15712 0 -1 4202496 8199 0 0 0 61 1 0 0 20 0 1 0 276355600 42303488 9143 33554432000 4194304 5654031 140735533103232 140735533101544 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/1504/statm: 10328 9143 146 357 0 9968 0
[pid=1506] ppid=1499 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1506/stat : 1506 (satsolver.sh) S 1499 1498 15712 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276355744 9367552 266 33554432000 4194304 5064252 140735670148640 140735670147552 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1506/statm: 2287 266 226 213 0 72 0
[pid=1507] ppid=1506 vsize=124912 CPUtime=1795.5 cores=1,3,5,7
/proc/1507/stat : 1507 (glucose) R 1506 1498 15712 0 -1 4202496 23947 0 0 0 179540 10 0 0 20 0 1 0 276355744 127909888 29146 33554432000 4194304 5208918 140735322252576 140735322250424 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1507/statm: 31228 29146 104 248 0 30977 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 219056
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 1498 and gives
# childrusage.ru_utime.tv_sec=1798
# childrusage.ru_utime.tv_usec=687557
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=810876
# CPU time returned by wait4() is 1799.5
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.28
CPU system time (s): 0.8
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 298536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 0.810876
maximum resident set size= 166308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 66416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 1922
runsolver used 3.3095 second user time and 9.01563 second system time
The end