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-3702693-1338050282/watcher-3702693-1338050282 -o /tmp/evaluation-result-3702693-1338050282/solver-3702693-1338050282 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702693-1338050282.opb 213719176 HOME HOME
running on 4 cores: 0,2,4,6
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: 0.92 1.00 1.26 4/175 9986
/proc/meminfo: memFree=28816472/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[startup+0.053089 s]
/proc/loadavg: 0.92 1.00 1.26 4/175 9986
/proc/meminfo: memFree=28816472/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100363 s]
/proc/loadavg: 0.92 1.00 1.26 4/175 9986
/proc/meminfo: memFree=28816472/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 0.92 1.00 1.26 4/175 9986
/proc/meminfo: memFree=28816472/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700203 s]
/proc/loadavg: 0.92 1.00 1.26 4/175 9986
/proc/meminfo: memFree=28816472/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/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: 0.92 1.00 1.26 3/179 9997
/proc/meminfo: memFree=28780836/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=34984 CPUtime=1.49 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) R 9985 9985 6744 0 -1 4202496 3093 0 0 0 149 0 0 0 20 0 1 0 271152757 35823616 5626 33554432000 4194304 5992684 140736520860480 140736520853816 4768657 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 8746 5626 146 440 0 8302 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44132
[startup+3.10028 s]
/proc/loadavg: 0.92 1.00 1.26 3/180 10001
/proc/meminfo: memFree=28740132/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=67752 CPUtime=3.09 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) R 9985 9985 6744 0 -1 4202496 3630 0 0 0 308 1 0 0 20 0 1 0 271152757 69378048 10746 33554432000 4194304 5992684 140736520860480 140736520854168 4374831 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 16938 10746 146 440 0 16494 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76900
[startup+6.30027 s]
/proc/loadavg: 1.01 1.01 1.26 3/180 10007
/proc/meminfo: memFree=28698372/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=133288 CPUtime=6.28 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) R 9985 9985 6744 0 -1 4202496 4197 0 0 0 626 2 0 0 20 0 1 0 271152757 136486912 23034 33554432000 4194304 5992684 140736520860480 140736520856216 4809171 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 33322 23034 146 440 0 32878 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 142436
[startup+12.7002 s]
/proc/loadavg: 1.09 1.03 1.27 3/180 10009
/proc/meminfo: memFree=28589840/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=264360 CPUtime=12.68 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) R 9985 9985 6744 0 -1 4202496 4819 0 0 0 1262 6 0 0 20 0 1 0 271152757 270704640 47098 33554432000 4194304 5992684 140736520860480 140736520856600 4768679 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 66090 47098 146 440 0 65646 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 273508
[startup+25.5068 s]
/proc/loadavg: 1.37 1.09 1.28 4/182 10011
/proc/meminfo: memFree=27347076/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=572060 CPUtime=18.93 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 17519 0 0 0 1839 54 0 0 20 0 1 0 271152757 585789440 84082 33554432000 4194304 5992684 140736520860480 140736520854928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 143015 84082 173 440 0 142571 0
[pid=10010] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10010/stat : 10010 (cp2_pre.sh) S 9988 9985 6744 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 271154651 9367552 276 33554432000 4194304 5064252 140734880038080 140734880036784 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10010/statm: 2287 276 234 213 0 72 0
[pid=10011] ppid=10010 vsize=886720 CPUtime=6.54 cores=0,2,4,6
/proc/10011/stat : 10011 (coprocessor) R 10010 9985 6744 0 -1 4202496 145563 0 0 0 626 28 0 0 20 0 1 0 271154651 908001280 196811 33554432000 4194304 6586260 140733222386928 140733222383192 5509693 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/10011/statm: 221680 196811 168 584 0 221092 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1477076
[startup+51.1004 s]
/proc/loadavg: 1.58 1.16 1.30 3/182 10013
/proc/meminfo: memFree=27332468/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=572060 CPUtime=18.93 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 17519 0 0 0 1839 54 0 0 20 0 1 0 271152757 585789440 84082 33554432000 4194304 5992684 140736520860480 140736520854928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 143015 84082 173 440 0 142571 0
[pid=10010] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10010/stat : 10010 (cp2_pre.sh) S 9988 9985 6744 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 271154651 9367552 276 33554432000 4194304 5064252 140734880038080 140734880036784 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10010/statm: 2287 276 234 213 0 72 0
[pid=10011] ppid=10010 vsize=894896 CPUtime=32.13 cores=0,2,4,6
/proc/10011/stat : 10011 (coprocessor) R 10010 9985 6744 0 -1 4202496 147462 0 0 0 3184 29 0 0 20 0 1 0 271154651 916373504 203820 33554432000 4194304 6586260 140733222386928 140733222382952 4758304 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/10011/statm: 223724 203820 180 584 0 223136 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1485252
[startup+102.3 s]
/proc/loadavg: 1.90 1.31 1.34 3/182 10013
/proc/meminfo: memFree=27002760/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=572060 CPUtime=101.36 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 17536 157653 0 0 1839 54 8164 79 20 0 1 0 271152757 585789440 84084 33554432000 4194304 5992684 140736520860480 140736520846744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9988/statm: 143015 84084 175 440 0 142571 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 581208
[startup+162.3 s]
/proc/loadavg: 2.13 1.49 1.40 4/184 10038
/proc/meminfo: memFree=27036248/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=139.49 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 32950 295802 0 0 1991 552 11141 265 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 105352 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 105352 147 357 0 143590 0
[pid=10037] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10037/stat : 10037 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271168408 9367552 266 33554432000 4194304 5064252 140734761868256 140734761867168 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10037/statm: 2287 266 226 213 0 72 0
[pid=10038] ppid=10037 vsize=582528 CPUtime=5.77 cores=0,2,4,6
/proc/10038/stat : 10038 (glucose) R 10037 9985 6744 0 -1 4202496 56136 0 0 0 557 20 0 0 20 0 1 0 271168408 596508672 109642 33554432000 4194304 5208918 140734417444352 140734417442200 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10038/statm: 145632 109642 103 248 0 145381 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 1776992
[startup+222.3 s]
/proc/loadavg: 2.15 1.61 1.45 4/183 10066
/proc/meminfo: memFree=27011640/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=200.96 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 54410 570957 0 0 2038 558 16946 554 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 106657 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 106657 147 357 0 143590 0
[pid=10065] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10065/stat : 10065 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271174559 9367552 266 33554432000 4194304 5064252 140735147221680 140735147220592 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10065/statm: 2287 266 226 213 0 72 0
[pid=10066] ppid=10065 vsize=574340 CPUtime=4.27 cores=0,2,4,6
/proc/10066/stat : 10066 (glucose) R 10065 9985 6744 0 -1 4202496 54954 0 0 0 406 21 0 0 20 0 1 0 271174559 588124160 107322 33554432000 4194304 5208918 140734941574160 140734941572008 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10066/statm: 143585 107322 103 248 0 143334 0
Current children cumulated CPU time (s) 221.9
################
# More data... #
################
/proc/loadavg: 2.14 2.21 2.00 4/183 10653
/proc/meminfo: memFree=26892980/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1459.35 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 476647 5995515 0 0 2974 671 135939 6351 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10652] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10652/stat : 10652 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271300487 9367552 267 33554432000 4194304 5064252 140735472287104 140735472286016 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10652/statm: 2287 267 226 213 0 72 0
[pid=10653] ppid=10652 vsize=576872 CPUtime=4.98 cores=0,2,4,6
/proc/10653/stat : 10653 (glucose) R 10652 9985 6744 0 -1 4202496 54073 0 0 0 479 19 0 0 20 0 1 0 271300488 590716928 108107 33554432000 4194304 5208918 140734878353472 140734878351320 4205622 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10653/statm: 144218 108107 103 248 0 143967 0
Current children cumulated CPU time (s) 1481
Current children cumulated vsize (KiB) 1771336
[startup+1542.3 s]
/proc/loadavg: 2.19 2.21 2.02 4/183 10681
/proc/meminfo: memFree=26944692/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1521.43 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 498289 6271668 0 0 3025 677 141793 6648 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10680] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10680/stat : 10680 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271306699 9367552 267 33554432000 4194304 5064252 140733806772016 140733806770928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/10680/statm: 2287 267 226 213 0 72 0
[pid=10681] ppid=10680 vsize=562668 CPUtime=2.87 cores=0,2,4,6
/proc/10681/stat : 10681 (glucose) R 10680 9985 6744 0 -1 4202496 52292 0 0 0 270 17 0 0 20 0 1 0 271306700 576172032 104668 33554432000 4194304 5208918 140734498876768 140734498874616 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10681/statm: 140667 104668 94 248 0 140416 0
Current children cumulated CPU time (s) 1540.97
Current children cumulated vsize (KiB) 1757132
[startup+1602.3 s]
/proc/loadavg: 2.14 2.20 2.02 4/181 10707
/proc/meminfo: memFree=27366088/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1583.76 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 519452 6549541 0 0 3075 683 147671 6947 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
Current children cumulated CPU time (s) 1600.43
Current children cumulated vsize (KiB) 1185316
[startup+1662.31 s]
/proc/loadavg: 2.21 2.21 2.03 4/183 10731
/proc/meminfo: memFree=26914856/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1630.36 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 535645 6753924 0 0 3111 687 152050 7188 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10730] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10730/stat : 10730 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 271317594 9367552 267 33554432000 4194304 5064252 140735564663184 140735564662096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10730/statm: 2287 267 226 213 0 72 0
[pid=10731] ppid=10730 vsize=598220 CPUtime=13.92 cores=0,2,4,6
/proc/10731/stat : 10731 (glucose) R 10730 9985 6744 0 -1 4202496 61345 0 0 0 1374 18 0 0 20 0 1 0 271317595 612577280 113702 33554432000 4194304 5208918 140736408325328 140736408323176 4229469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10731/statm: 149555 113702 104 248 0 149304 0
Current children cumulated CPU time (s) 1660.95
Current children cumulated vsize (KiB) 1792684
[startup+1722.3 s]
/proc/loadavg: 2.21 2.21 2.04 4/183 10759
/proc/meminfo: memFree=26918560/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1692.75 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 557008 7031268 0 0 3158 692 157920 7505 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10758] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10758/stat : 10758 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 271323835 9367552 267 33554432000 4194304 5064252 140734330932960 140734330931872 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10758/statm: 2287 267 226 213 0 72 0
[pid=10759] ppid=10758 vsize=595608 CPUtime=11.5 cores=0,2,4,6
/proc/10759/stat : 10759 (glucose) R 10758 9985 6744 0 -1 4202496 58360 0 0 0 1131 19 0 0 20 0 1 0 271323835 609902592 112909 33554432000 4194304 5208918 140736159102144 140736159099976 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10759/statm: 148902 112909 103 248 0 148651 0
Current children cumulated CPU time (s) 1720.92
Current children cumulated vsize (KiB) 1790072
[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.05 4/183 10787
/proc/meminfo: memFree=26863084/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1755.08 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 578427 7306709 0 0 3205 697 163798 7808 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10786] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10786/stat : 10786 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271330069 9367552 267 33554432000 4194304 5064252 140734104712384 140734104711296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10786/statm: 2287 267 226 213 0 72 0
[pid=10787] ppid=10786 vsize=591920 CPUtime=9.16 cores=0,2,4,6
/proc/10787/stat : 10787 (glucose) R 10786 9985 6744 0 -1 4202496 59060 0 0 0 899 17 0 0 20 0 1 0 271330069 606126080 111424 33554432000 4194304 5208918 140734927681328 140734927679176 4212583 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10787/statm: 147980 111424 103 248 0 147729 0
Current children cumulated CPU time (s) 1780.91
Current children cumulated vsize (KiB) 1786384
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787 s]
/proc/loadavg: 2.23 2.21 2.05 3/183 10787
/proc/meminfo: memFree=26895300/32873648 swapFree=6596/6596
[pid=9985] ppid=9981 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9985/stat : 9985 (npSolver-pbo-It) S 9981 9985 6744 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 271152757 9367552 275 33554432000 4194304 5064252 140736808092064 140736808090976 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9985/statm: 2287 275 233 213 0 72 0
[pid=9988] ppid=9985 vsize=600368 CPUtime=1755.08 cores=0,2,4,6
/proc/9988/stat : 9988 (npSolver-pbo) S 9985 9985 6744 0 -1 4202496 578427 7306709 0 0 3205 697 163798 7808 20 0 1 0 271152757 614776832 90278 33554432000 4194304 5992684 140736520860480 140736520852768 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/9988/statm: 150092 90278 196 440 0 149648 0
[pid=10015] ppid=9988 vsize=575800 CPUtime=16.67 cores=0,2,4,6
/proc/10015/stat : 10015 (glucosInc) S 9988 9985 6744 0 -1 4202496 54739 0 0 0 1651 16 0 0 20 0 1 0 271162913 589619200 107090 33554432000 4194304 5654031 140734372065360 140734372063672 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10015/statm: 143950 107090 147 357 0 143590 0
[pid=10786] ppid=9988 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10786/stat : 10786 (satsolver.sh) S 9988 9985 6744 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 271330069 9367552 267 33554432000 4194304 5064252 140734104712384 140734104711296 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10786/statm: 2287 267 226 213 0 72 0
[pid=10787] ppid=10786 vsize=598224 CPUtime=13.87 cores=0,2,4,6
/proc/10787/stat : 10787 (glucose) R 10786 9985 6744 0 -1 4202496 60706 0 0 0 1369 18 0 0 20 0 1 0 271330069 612581376 113581 33554432000 4194304 5208918 140734927681328 140734927679176 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10787/statm: 149556 113581 104 248 0 149305 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (KiB) 1792688
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 9985 and gives
# childrusage.ru_utime.tv_sec=1670
# childrusage.ru_utime.tv_usec=35116
# childrusage.ru_stime.tv_sec=85
# childrusage.ru_stime.tv_usec=67067
# CPU time returned by wait4() is 1755.1
# while last known CPU time is 1785.62
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 14.46
# lost CPU user time (s): 14.26
# lost CPU system time (s): 0.200001
Real time (s): 1787.02
CPU time (s): 1800.08
CPU user time (s): 1714.49
CPU system time (s): 85.59
CPU usage (%): 100.731
Max. virtual memory (cumulated for all children) (KiB): 1943552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1670.04
system time used= 85.0671
maximum resident set size= 879020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7886117
page faults= 0
swaps= 0
block input operations= 8
block output operations= 54716304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 121249
involuntary context switches= 4625
runsolver used 3.39248 second user time and 9.04562 second system time
The end