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-3702824-1338052671/watcher-3702824-1338052671 -o /tmp/evaluation-result-3702824-1338052671/solver-3702824-1338052671 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702824-1338052671.opb 581685135 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.01 1.10 1.41 4/176 1705
/proc/meminfo: memFree=27269364/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[startup+0.094989 s]
/proc/loadavg: 1.01 1.10 1.41 4/176 1705
/proc/meminfo: memFree=27269364/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10026 s]
/proc/loadavg: 1.01 1.10 1.41 4/176 1705
/proc/meminfo: memFree=27269364/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300222 s]
/proc/loadavg: 1.01 1.10 1.41 4/176 1705
/proc/meminfo: memFree=27269364/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 1.01 1.10 1.41 4/176 1705
/proc/meminfo: memFree=27269364/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.09 1.12 1.42 4/179 1708
/proc/meminfo: memFree=27253224/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=1.41 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3577 0 0 0 137 4 0 0 20 0 1 0 271395702 21618688 3622 33554432000 4194304 5992684 140734317039088 140734317033536 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3622 164 440 0 4834 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 30260
[startup+3.10033 s]
/proc/loadavg: 1.09 1.12 1.42 3/183 1712
/proc/meminfo: memFree=27097752/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=1.41 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3577 0 0 0 137 4 0 0 20 0 1 0 271395702 21618688 3622 33554432000 4194304 5992684 140734317039088 140734317033536 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3622 164 440 0 4834 0
[pid=1711] ppid=1706 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1711/stat : 1711 (cp2_pre.sh) S 1706 1705 1653 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271395845 9367552 277 33554432000 4194304 5064252 140735851134496 140735851133200 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/1711/statm: 2287 277 234 213 0 72 0
[pid=1712] ppid=1711 vsize=63328 CPUtime=1.66 cores=1,3,5,7
/proc/1712/stat : 1712 (coprocessor) R 1711 1705 1653 0 -1 4202496 13767 0 0 0 162 4 0 0 20 0 1 0 271395845 64847872 15298 33554432000 4194304 6586260 140735939000960 140735938996712 5509666 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/1712/statm: 15832 15298 197 584 0 15244 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 102736
[startup+6.30037 s]
/proc/loadavg: 1.09 1.12 1.42 3/181 1716
/proc/meminfo: memFree=27145848/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=74156 CPUtime=3.16 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 10201 0 0 0 312 4 0 0 20 0 1 0 271396015 75935744 15935 33554432000 4194304 5654031 140734161954576 140734161952456 4215088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1716/statm: 18539 15935 132 357 0 18179 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 104416
[startup+12.7003 s]
/proc/loadavg: 1.23 1.15 1.42 3/181 1716
/proc/meminfo: memFree=27078992/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=74156 CPUtime=9.56 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 11260 0 0 0 951 5 0 0 20 0 1 0 271396015 75935744 17782 33554432000 4194304 5654031 140734161954576 140734161952600 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1716/statm: 18539 17782 132 357 0 18179 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 104416
[startup+25.5004 s]
/proc/loadavg: 1.35 1.18 1.43 3/181 1716
/proc/meminfo: memFree=27043448/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=74156 CPUtime=22.36 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 12753 0 0 0 2228 8 0 0 20 0 1 0 271396015 75935744 17782 33554432000 4194304 5654031 140734161954576 140734161952504 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/1716/statm: 18539 17782 132 357 0 18179 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 104416
[startup+51.1004 s]
/proc/loadavg: 1.63 1.26 1.45 3/181 1717
/proc/meminfo: memFree=27044148/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=123476 CPUtime=47.95 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 14991 0 0 0 4783 12 0 0 20 0 1 0 271396015 126439424 27355 33554432000 4194304 5654031 140734161954576 140734161952504 4232784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1716/statm: 30869 27355 132 357 0 30509 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 153736
[startup+102.3 s]
/proc/loadavg: 1.90 1.39 1.48 3/181 1717
/proc/meminfo: memFree=27017944/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=74156 CPUtime=99.15 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 20331 0 0 0 9892 23 0 0 20 0 1 0 271396015 75935744 17782 33554432000 4194304 5654031 140734161954576 140734161952664 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1716/statm: 18539 17782 132 357 0 18179 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 104416
[startup+162.3 s]
/proc/loadavg: 2.02 1.52 1.52 3/182 1720
/proc/meminfo: memFree=26993516/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=21112 CPUtime=3.09 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 3593 14670 0 0 137 4 164 4 20 0 1 0 271395702 21618688 3624 33554432000 4194304 5992684 140734317039088 140734317025352 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 5278 3624 166 440 0 4834 0
[pid=1716] ppid=1706 vsize=74156 CPUtime=159.13 cores=1,3,5,7
/proc/1716/stat : 1716 (glucosInc) R 1706 1705 1653 0 -1 4202496 24838 0 0 0 15880 33 0 0 20 0 1 0 271396015 75935744 17948 33554432000 4194304 5654031 140734161954576 140734161952600 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1716/statm: 18539 17948 132 357 0 18179 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 104416
[startup+222.307 s]
/proc/loadavg: 2.00 1.60 1.54 3/181 1748
/proc/meminfo: memFree=26772304/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=197.18 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 20015 128933 0 0 576 125 18938 79 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1746] ppid=1706 vsize=172140 CPUtime=24.83 cores=1,3,5,7
/proc/1746/stat : 1746 (glucosInc) R 1706 1705 1653 0 -1 4202496 32215 0 0 0 2476 7 0 0 20 0 1 0 271415448 176271360 39695 33554432000 4194304 5654031 140733430579376 140733430567192 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/1746/statm: 43035 39695 141 357 0 42675 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 211760
[startup+282.3 s]
################
# More data... #
################
/proc/loadavg: 2.02 2.00 1.84 3/181 1765
/proc/meminfo: memFree=26641368/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=280332 CPUtime=893.06 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 56045 0 0 0 89249 57 0 0 20 0 1 0 271436606 287059968 59285 33554432000 4194304 5654031 140737387401600 140737387389416 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 70083 59285 141 357 0 69723 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 319952
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/182 1768
/proc/meminfo: memFree=26482052/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=232620 CPUtime=953.04 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 57795 0 0 0 95244 60 0 0 20 0 1 0 271436606 238202880 52825 33554432000 4194304 5654031 140737387401600 140737387389416 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 58155 52825 141 357 0 57795 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 272240
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/181 1768
/proc/meminfo: memFree=26515356/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=364328 CPUtime=1013.04 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 59292 0 0 0 101241 63 0 0 20 0 1 0 271436606 373071872 68615 33554432000 4194304 5654031 140737387401600 140737387399688 4215327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 91082 68615 141 357 0 90722 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 403948
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 1768
/proc/meminfo: memFree=26379868/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=284680 CPUtime=1073.02 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 61047 0 0 0 107237 65 0 0 20 0 1 0 271436606 291512320 55976 33554432000 4194304 5654031 140737387401600 140737387389416 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 71170 55976 141 357 0 70810 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 324300
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.86 3/181 1768
/proc/meminfo: memFree=26504276/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=205500 CPUtime=1133.02 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 62392 0 0 0 113234 68 0 0 20 0 1 0 271436606 210432000 46544 33554432000 4194304 5654031 140737387401600 140737387389416 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 51375 46544 141 357 0 51015 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 245120
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 1769
/proc/meminfo: memFree=26516580/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=368384 CPUtime=1193 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 64536 0 0 0 119229 71 0 0 20 0 1 0 271436606 377225216 71681 33554432000 4194304 5654031 140737387401600 140737387399688 4215913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 92096 71681 141 357 0 91736 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 408004
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/181 1769
/proc/meminfo: memFree=26429740/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=239052 CPUtime=1252.98 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 66307 0 0 0 125224 74 0 0 20 0 1 0 271436606 244789248 50250 33554432000 4194304 5654031 140737387401600 140737387399688 4209217 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 59763 50250 141 357 0 59403 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 278672
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/181 1769
/proc/meminfo: memFree=26379520/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=505152 CPUtime=1312.97 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 68488 0 0 0 131218 79 0 0 20 0 1 0 271436606 517275648 93308 33554432000 4194304 5654031 140737387401600 140737387399384 4215932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 126288 93308 141 357 0 125928 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 544772
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/181 1769
/proc/meminfo: memFree=26656272/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=243776 CPUtime=1372.96 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 70265 0 0 0 137210 86 0 0 20 0 1 0 271436606 249626624 56155 33554432000 4194304 5654031 140737387401600 140737387399688 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 60944 56155 141 357 0 60584 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 283396
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.89 2/174 1798
/proc/meminfo: memFree=26926832/32873844 swapFree=6088/6088
[pid=1705] ppid=1703 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1705/stat : 1705 (npSolver-pbo-It) S 1703 1705 1653 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 271395702 9367552 274 33554432000 4194304 5064252 140735545609280 140735545608192 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1705/statm: 2287 274 233 213 0 72 0
[pid=1706] ppid=1705 vsize=30472 CPUtime=408.67 cores=1,3,5,7
/proc/1706/stat : 1706 (npSolver-pbo) S 1705 1705 1653 0 -1 4202496 35594 264433 0 0 1126 167 39443 131 20 0 1 0 271395702 31203328 6029 33554432000 4194304 5992684 140734317039088 140734317024920 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/1706/statm: 7618 6029 199 440 0 7174 0
[pid=1759] ppid=1706 vsize=294228 CPUtime=1391.38 cores=1,3,5,7
/proc/1759/stat : 1759 (glucosInc) R 1706 1705 1653 0 -1 4202496 71205 0 0 0 139050 88 0 0 20 0 1 0 271436606 301289472 69870 33554432000 4194304 5654031 140737387401600 140737387389416 4233344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/1759/statm: 73557 69870 141 357 0 73197 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 333848
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 1705 and gives
# childrusage.ru_utime.tv_sec=405
# childrusage.ru_utime.tv_usec=698324
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=996544
# CPU time returned by wait4() is 408.695
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1796.19
CPU system time (s): 3.86
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 811376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 405.698
system time used= 2.99654
maximum resident set size= 206168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300401
page faults= 0
swaps= 0
block input operations= 8
block output operations= 877064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3214
involuntary context switches= 2820
runsolver used 5.2592 second user time and 16.5225 second system time
The end