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-3703419-1338075162/watcher-3703419-1338075162 -o /tmp/evaluation-result-3703419-1338075162/solver-3703419-1338075162 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703419-1338075162.opb 197080126 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: 1.98 2.01 2.19 3/180 27969
/proc/meminfo: memFree=31023712/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[startup+0.097983 s]
/proc/loadavg: 1.98 2.01 2.19 3/180 27969
/proc/meminfo: memFree=31023712/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100157 s]
/proc/loadavg: 1.98 2.01 2.19 3/180 27969
/proc/meminfo: memFree=31023712/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30011 s]
/proc/loadavg: 1.98 2.01 2.19 3/180 27969
/proc/meminfo: memFree=31023712/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700099 s]
/proc/loadavg: 1.98 2.01 2.19 3/180 27969
/proc/meminfo: memFree=31023712/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.98 2.01 2.19 3/182 27978
/proc/meminfo: memFree=31014820/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=34888 CPUtime=1.49 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) R 27969 27969 4103 0 -1 4202496 3025 0 0 0 148 1 0 0 20 0 1 0 273642219 35725312 7596 33554432000 4194304 5992684 140735606542176 140735606537352 4567994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27970/statm: 8722 7596 146 440 0 8278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44036
[startup+3.10027 s]
/proc/loadavg: 1.98 2.01 2.19 3/182 27978
/proc/meminfo: memFree=30977020/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=67656 CPUtime=3.09 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) R 27969 27969 4103 0 -1 4202496 3567 0 0 0 307 2 0 0 20 0 1 0 273642219 69279744 15276 33554432000 4194304 5992684 140735606542176 140735606537704 4374668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27970/statm: 16914 15276 146 440 0 16470 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76804
[startup+6.30022 s]
/proc/loadavg: 1.98 2.01 2.19 3/182 27999
/proc/meminfo: memFree=30918488/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=133192 CPUtime=6.29 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) R 27969 27969 4103 0 -1 4202496 4139 0 0 0 625 4 0 0 20 0 1 0 273642219 136388608 30124 33554432000 4194304 5992684 140735606542176 140735606537352 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27970/statm: 33298 30124 146 440 0 32854 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142340
[startup+12.7003 s]
/proc/loadavg: 1.98 2.01 2.19 3/184 28036
/proc/meminfo: memFree=30319208/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315524 CPUtime=9.13 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 12553 0 0 0 880 33 0 0 20 0 1 0 273642219 323096576 56752 33554432000 4194304 5992684 140735606542176 140735606536624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/27970/statm: 78881 56752 164 440 0 78437 0
[pid=28018] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28018/stat : 28018 (cp2_pre.sh) S 27970 27969 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273643133 9367552 276 33554432000 4194304 5064252 140734745467888 140734745466592 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28018/statm: 2287 276 234 213 0 72 0
[pid=28020] ppid=28018 vsize=436816 CPUtime=3.53 cores=1,3,5,7
/proc/28020/stat : 28020 (coprocessor) R 28018 27969 4103 0 -1 4202496 73002 0 0 0 336 17 0 0 20 0 1 0 273643134 447299584 103724 33554432000 4194304 6586260 140735796836720 140735796832984 4496502 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/28020/statm: 109204 103724 166 584 0 108616 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 770636
[startup+25.5003 s]
/proc/loadavg: 1.98 2.01 2.18 3/184 28099
/proc/meminfo: memFree=29887280/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315524 CPUtime=9.13 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 12553 0 0 0 880 33 0 0 20 0 1 0 273642219 323096576 56752 33554432000 4194304 5992684 140735606542176 140735606536624 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/27970/statm: 78881 56752 164 440 0 78437 0
[pid=28018] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28018/stat : 28018 (cp2_pre.sh) S 27970 27969 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273643133 9367552 276 33554432000 4194304 5064252 140734745467888 140734745466592 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28018/statm: 2287 276 234 213 0 72 0
[pid=28020] ppid=28018 vsize=695732 CPUtime=16.33 cores=1,3,5,7
/proc/28020/stat : 28020 (coprocessor) R 28018 27969 4103 0 -1 4202496 104353 0 0 0 1595 38 0 0 20 0 1 0 273643134 712429568 165735 33554432000 4194304 6586260 140735796836720 140735796832472 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/28020/statm: 173933 165735 195 584 0 173345 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1029552
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.18 3/183 28220
/proc/meminfo: memFree=30297128/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315524 CPUtime=29.39 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 12570 105255 0 0 880 33 1962 64 20 0 1 0 273642219 323096576 56754 33554432000 4194304 5992684 140735606542176 140735606528440 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/27970/statm: 78881 56754 166 440 0 78437 0
[pid=28122] ppid=27970 vsize=342784 CPUtime=21.54 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) R 27970 27969 4103 0 -1 4202496 29799 0 0 0 2142 12 0 0 20 0 1 0 273645173 351010816 80668 33554432000 4194304 5654031 140737393206576 140737393204360 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28122/statm: 85696 80668 130 357 0 85336 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 667456
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.17 3/183 28486
/proc/meminfo: memFree=30296824/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315524 CPUtime=29.39 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 12570 105255 0 0 880 33 1962 64 20 0 1 0 273642219 323096576 56754 33554432000 4194304 5992684 140735606542176 140735606528440 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/27970/statm: 78881 56754 166 440 0 78437 0
[pid=28122] ppid=27970 vsize=361008 CPUtime=72.74 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) R 27970 27969 4103 0 -1 4202496 34837 0 0 0 7261 13 0 0 20 0 1 0 273645173 369672192 84745 33554432000 4194304 5654031 140737393206576 140737393194392 4233229 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28122/statm: 90252 84747 140 357 0 89892 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 685680
[startup+162.3 s]
/proc/loadavg: 2.09 2.05 2.17 3/185 28805
/proc/meminfo: memFree=29854020/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=83.32 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 13650 164687 0 0 968 431 6796 137 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 96627 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 96627 146 357 0 103552 0
[pid=28790] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28790/stat : 28790 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273658206 9367552 266 33554432000 4194304 5064252 140733244206400 140733244205312 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28790/statm: 2287 266 226 213 0 72 0
[pid=28791] ppid=28790 vsize=334452 CPUtime=2.4 cores=1,3,5,7
/proc/28791/stat : 28791 (glucose) R 28790 27969 4103 0 -1 4202496 27267 0 0 0 228 12 0 0 20 0 1 0 273658206 342478848 78383 33554432000 4194304 5208918 140733434449504 140733433398904 4218843 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28791/statm: 83613 78387 90 248 0 83362 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 1083924
[startup+222.3 s]
/proc/loadavg: 2.14 2.07 2.17 3/185 29120
/proc/meminfo: memFree=29669352/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=132.27 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 14207 219602 0 0 970 431 11642 184 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 96627 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 96627 146 357 0 103552 0
[pid=29049] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 1205004
[startup+1542.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/185 11081
/proc/meminfo: memFree=29715744/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1455.83 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 29360 1755487 0 0 1020 440 142638 1485 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=10926] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10926/stat : 10926 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273795639 9367552 266 33554432000 4194304 5064252 140735348912736 140735348911648 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/10926/statm: 2287 266 226 213 0 72 0
[pid=10927] ppid=10926 vsize=409072 CPUtime=8.08 cores=1,3,5,7
/proc/10927/stat : 10927 (glucose) R 10926 27969 4103 0 -1 4202496 43693 0 0 0 795 13 0 0 20 0 1 0 273795640 418889728 93994 33554432000 4194304 5208918 140736029838576 140736029836472 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10927/statm: 102268 93994 103 248 0 102017 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1540.12
Current children cumulated vsize (KiB) 1158544
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/185 12243
/proc/meminfo: memFree=29697332/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1504.53 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 29924 1814760 0 0 1022 440 147459 1532 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=11878] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11878/stat : 11878 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273800510 9367552 266 33554432000 4194304 5064252 140737141305328 140737141304240 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/11878/statm: 2287 266 226 213 0 72 0
[pid=11879] ppid=11878 vsize=435696 CPUtime=19.36 cores=1,3,5,7
/proc/11879/stat : 11879 (glucose) R 11878 27969 4103 0 -1 4202496 46384 0 0 0 1919 17 0 0 20 0 1 0 273800510 446152704 98739 33554432000 4194304 5208918 140734905035424 140734905033480 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11879/statm: 108924 98739 103 248 0 108673 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1600.1
Current children cumulated vsize (KiB) 1185168
[startup+1662.3 s]
/proc/loadavg: 2.25 2.06 2.04 3/186 13432
/proc/meminfo: memFree=29676248/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1553.09 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 30487 1871390 0 0 1023 441 152263 1582 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=12830] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12830/stat : 12830 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273805367 9367552 266 33554432000 4194304 5064252 140733925187152 140733925186064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12830/statm: 2287 266 226 213 0 72 0
[pid=12831] ppid=12830 vsize=448808 CPUtime=30.79 cores=1,3,5,7
/proc/12831/stat : 12831 (glucose) R 12830 27969 4103 0 -1 4202496 48748 0 0 0 3064 15 0 0 20 0 1 0 273805368 459579392 103672 33554432000 4194304 5208918 140735799836000 140735799833896 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12831/statm: 112202 103672 103 248 0 111951 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1660.09
Current children cumulated vsize (KiB) 1198280
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.04 3/186 14617
/proc/meminfo: memFree=29672652/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1601.76 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 31051 1927962 0 0 1025 441 157082 1628 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=13795] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13795/stat : 13795 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273810236 9367552 267 33554432000 4194304 5064252 140735938377792 140735938376704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13795/statm: 2287 267 226 213 0 72 0
[pid=13796] ppid=13795 vsize=455528 CPUtime=42.11 cores=1,3,5,7
/proc/13796/stat : 13796 (glucose) R 13795 27969 4103 0 -1 4202496 52090 0 0 0 4195 16 0 0 20 0 1 0 273810236 466460672 104402 33554432000 4194304 5208918 140736013478448 140736013476504 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13796/statm: 113882 104402 103 248 0 113631 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1720.08
Current children cumulated vsize (KiB) 1205000
[startup+1782.3 s]
/proc/loadavg: 2.03 2.04 2.03 3/185 15814
/proc/meminfo: memFree=29760144/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1699.15 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 32182 2046294 0 0 1029 442 166721 1723 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=15729] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15729/stat : 15729 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273819975 9367552 266 33554432000 4194304 5064252 140736190783792 140736190782704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15729/statm: 2287 266 226 213 0 72 0
[pid=15730] ppid=15729 vsize=340184 CPUtime=4.71 cores=1,3,5,7
/proc/15730/stat : 15730 (glucose) R 15729 27969 4103 0 -1 4202496 32314 0 0 0 459 12 0 0 20 0 1 0 273819976 348348416 79520 33554432000 4194304 5208918 140736272050944 140736272048792 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15730/statm: 85046 79520 94 248 0 84795 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1780.07
Current children cumulated vsize (KiB) 1089656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/185 16209
/proc/meminfo: memFree=29686172/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1699.15 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 32182 2046294 0 0 1029 442 166721 1723 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=15729] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15729/stat : 15729 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273819975 9367552 266 33554432000 4194304 5064252 140736190783792 140736190782704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15729/statm: 2287 266 226 213 0 72 0
[pid=15730] ppid=15729 vsize=442316 CPUtime=24.72 cores=1,3,5,7
/proc/15730/stat : 15730 (glucose) R 15729 27969 4103 0 -1 4202496 51459 0 0 0 2457 15 0 0 20 0 1 0 273819976 452931584 101731 33554432000 4194304 5208918 140736272050944 140736272048840 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15730/statm: 110579 101731 103 248 0 110328 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1191788
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1802.3 s]
/proc/loadavg: 2.02 2.03 2.03 3/185 16209
/proc/meminfo: memFree=29686172/32873648 swapFree=6860/6860
[pid=27969] ppid=27967 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27969/stat : 27969 (npSolver-pbo-It) S 27967 27969 4103 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273642218 9367552 275 33554432000 4194304 5064252 140733893098672 140733893097584 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27969/statm: 2287 275 233 213 0 72 0
[pid=27970] ppid=27969 vsize=315528 CPUtime=1699.15 cores=1,3,5,7
/proc/27970/stat : 27970 (npSolver-pbo) S 27969 27969 4103 0 -1 4202496 32182 2046294 0 0 1029 442 166721 1723 20 0 1 0 273642219 323100672 56778 33554432000 4194304 5992684 140735606542176 140735606534464 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 141 0 0
/proc/27970/statm: 78882 56778 189 440 0 78438 0
[pid=15729] ppid=27970 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15729/stat : 15729 (satsolver.sh) S 27970 27969 4103 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 273819975 9367552 266 33554432000 4194304 5064252 140736190783792 140736190782704 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15729/statm: 2287 266 226 213 0 72 0
[pid=15730] ppid=15729 vsize=442316 CPUtime=24.72 cores=1,3,5,7
/proc/15730/stat : 15730 (glucose) R 15729 27969 4103 0 -1 4202496 51459 0 0 0 2457 15 0 0 20 0 1 0 273819976 452931584 101731 33554432000 4194304 5208918 140736272050944 140736272048840 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15730/statm: 110579 101731 103 248 0 110328 0
[pid=28122] ppid=27970 vsize=415648 CPUtime=76.21 cores=1,3,5,7
/proc/28122/stat : 28122 (glucosInc) S 27970 27969 4103 0 -1 4202496 45120 0 0 0 7605 16 0 0 20 0 1 0 273645173 425623552 97500 33554432000 4194304 5654031 140737393206576 140737393204888 4976656 0 0 4096 0 18446744071580380219 0 0 17 7 0 0 0 0 0
/proc/28122/statm: 103912 97500 146 357 0 103552 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1191788
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27969 and gives
# childrusage.ru_utime.tv_sec=1677
# childrusage.ru_utime.tv_usec=514978
# childrusage.ru_stime.tv_sec=21
# childrusage.ru_stime.tv_usec=664706
# CPU time returned by wait4() is 1699.18
# 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): 1802.32
CPU time (s): 1800.08
CPU user time (s): 1778.12
CPU system time (s): 21.96
CPU usage (%): 99.8759
Max. virtual memory (cumulated for all children) (KiB): 1205008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1677.51
system time used= 21.6647
maximum resident set size= 662948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2079452
page faults= 0
swaps= 0
block input operations= 24
block output operations= 13295440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19425
involuntary context switches= 2288
runsolver used 4.09638 second user time and 8.85065 second system time
The end