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-3699333-1338133026/watcher-3699333-1338133026 -o /tmp/evaluation-result-3699333-1338133026/solver-3699333-1338133026 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699333-1338133026.opb 1434208852 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: 3.04 2.36 2.18 2/179 19939
/proc/meminfo: memFree=30342844/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[startup+0.0920059 s]
/proc/loadavg: 3.04 2.36 2.18 2/179 19939
/proc/meminfo: memFree=30342844/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100289 s]
/proc/loadavg: 3.04 2.36 2.18 2/179 19939
/proc/meminfo: memFree=30342844/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300151 s]
/proc/loadavg: 3.04 2.36 2.18 2/179 19939
/proc/meminfo: memFree=30342844/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700163 s]
/proc/loadavg: 3.04 2.36 2.18 2/179 19939
/proc/meminfo: memFree=30342844/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 3.04 2.36 2.18 3/183 19943
/proc/meminfo: memFree=30244956/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=18248 CPUtime=1.32 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) R 19939 19939 18146 0 -1 4202496 4699 18414 0 0 20 21 79 12 20 0 1 0 279427103 18685952 3878 33554432000 4194304 5992684 140735985867472 140735985853736 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 4562 3878 181 440 0 4118 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 27396
[startup+3.10027 s]
/proc/loadavg: 3.04 2.36 2.18 3/181 19946
/proc/meminfo: memFree=30274156/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=29892 CPUtime=2.34 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 9649 25838 0 0 85 40 93 16 20 0 1 0 279427103 30609408 6800 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 7473 6800 192 440 0 7029 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 39040
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 3.04 2.37 2.18 3/182 19948
/proc/meminfo: memFree=30126088/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=29892 CPUtime=2.34 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 9649 25838 0 0 85 40 93 16 20 0 1 0 279427103 30609408 6800 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 7473 6800 192 440 0 7029 0
[pid=19948] ppid=19940 vsize=150692 CPUtime=3.93 cores=0,2,4,6
/proc/19948/stat : 19948 (glucosInc) R 19940 19939 18146 0 -1 4202496 28548 0 0 0 388 5 0 0 20 0 1 0 279427338 154308608 33880 33554432000 4194304 5654031 140735892754304 140735892742120 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19948/statm: 37673 33880 140 357 0 37313 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 189732
[startup+12.7003 s]
/proc/loadavg: 2.95 2.37 2.18 3/182 19950
/proc/meminfo: memFree=30182528/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=114500 CPUtime=3.3 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 21655 0 0 0 325 5 0 0 20 0 1 0 279428041 117248000 24402 33554432000 4194304 5654031 140736938121008 140736938108824 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 28625 24402 141 357 0 28265 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 147444
[startup+25.5003 s]
/proc/loadavg: 2.74 2.35 2.18 3/182 19950
/proc/meminfo: memFree=30178752/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=117756 CPUtime=16.1 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 22942 0 0 0 1604 6 0 0 20 0 1 0 279428041 120582144 25635 33554432000 4194304 5654031 140736938121008 140736938108824 4233306 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 29439 25635 141 357 0 29079 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150700
[startup+51.1003 s]
/proc/loadavg: 2.49 2.32 2.17 3/182 19950
/proc/meminfo: memFree=30117996/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=177452 CPUtime=41.7 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 23424 0 0 0 4163 7 0 0 20 0 1 0 279428041 181710848 40362 33554432000 4194304 5654031 140736938121008 140736938118808 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 44363 40362 141 357 0 44003 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 210396
[startup+102.307 s]
/proc/loadavg: 2.21 2.27 2.16 3/181 19950
/proc/meminfo: memFree=30098084/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=196420 CPUtime=92.89 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 24646 0 0 0 9280 9 0 0 20 0 1 0 279428041 201134080 43531 33554432000 4194304 5654031 140736938121008 140736938108824 4216031 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 49105 43531 141 357 0 48745 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 229364
[startup+162.3 s]
/proc/loadavg: 2.08 2.22 2.15 3/181 19950
/proc/meminfo: memFree=30128280/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=147100 CPUtime=152.87 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 24878 0 0 0 15276 11 0 0 20 0 1 0 279428041 150630400 34736 33554432000 4194304 5654031 140736938121008 140736938108824 4216557 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 36775 34736 141 357 0 36415 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 180044
[startup+222.3 s]
/proc/loadavg: 2.03 2.17 2.14 3/182 19953
/proc/meminfo: memFree=30079604/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=23796 CPUtime=9.37 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 15201 55198 0 0 129 47 737 24 20 0 1 0 279427103 24367104 5308 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 5949 5308 192 440 0 5505 0
[pid=19950] ppid=19940 vsize=147100 CPUtime=212.85 cores=0,2,4,6
/proc/19950/stat : 19950 (glucosInc) R 19940 19939 18146 0 -1 4202496 25103 0 0 0 21273 12 0 0 20 0 1 0 279428041 150630400 35125 33554432000 4194304 5654031 140736938121008 140736938108824 4233448 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19950/statm: 36775 35125 141 357 0 36415 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 180044
[startup+282.3 s]
/proc/loadavg: 2.01 2.14 2.13 3/181 19954
/proc/meminfo: memFree=30119024/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
################
# More data... #
################
/proc/loadavg: 2.01 2.02 2.05 3/181 20013
/proc/meminfo: memFree=30226732/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=782.81 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 29354 0 0 0 78260 21 0 0 20 0 1 0 279479035 215674880 47322 33554432000 4194304 5654031 140737125898832 140737125886648 4215009 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19956/statm: 52655 47322 142 357 0 52295 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 275452
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 20013
/proc/meminfo: memFree=30225912/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=842.8 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 30091 0 0 0 84257 23 0 0 20 0 1 0 279479035 215674880 44762 33554432000 4194304 5654031 140737125898832 140737125886648 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19956/statm: 52655 44762 142 357 0 52295 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 275452
[startup+1422.31 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 20016
/proc/meminfo: memFree=30205428/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=179800 CPUtime=902.79 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 30244 0 0 0 90255 24 0 0 20 0 1 0 279479035 184115200 42647 33554432000 4194304 5654031 140737125898832 140737125886648 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 44950 42647 142 357 0 44590 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 244632
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/182 20039
/proc/meminfo: memFree=30170128/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=962.77 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 30841 0 0 0 96252 25 0 0 20 0 1 0 279479035 215674880 50906 33554432000 4194304 5654031 140737125898832 140737125886648 4208694 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 50906 142 357 0 52295 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 275452
[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 20040
/proc/meminfo: memFree=30192952/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=1022.76 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 31668 0 0 0 102250 26 0 0 20 0 1 0 279479035 215674880 48858 33554432000 4194304 5654031 140737125898832 140737125886648 4232607 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 48858 142 357 0 52295 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 275452
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 20040
/proc/meminfo: memFree=30191824/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=1082.75 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 33222 0 0 0 108246 29 0 0 20 0 1 0 279479035 215674880 44762 33554432000 4194304 5654031 140737125898832 140737125886648 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 44762 142 357 0 52295 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 275452
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/181 20040
/proc/meminfo: memFree=30149632/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=260708 CPUtime=1142.72 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 34078 0 0 0 114241 31 0 0 20 0 1 0 279479035 266964992 53767 33554432000 4194304 5654031 140737125898832 140737125886648 4233306 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 65177 53767 142 357 0 64817 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 325540
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.03 3/181 20040
/proc/meminfo: memFree=30165616/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=1202.72 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 34810 0 0 0 120239 33 0 0 20 0 1 0 279479035 215674880 48858 33554432000 4194304 5654031 140737125898832 140737125886648 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 48858 142 357 0 52295 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 275452
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.03 3/181 20040
/proc/meminfo: memFree=30174172/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=1262.71 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 36373 0 0 0 126235 36 0 0 20 0 1 0 279479035 215674880 44250 33554432000 4194304 5654031 140737125898832 140737125896920 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 44250 142 357 0 52295 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 275452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.03 3/181 20040
/proc/meminfo: memFree=30147548/32873844 swapFree=7900/7900
[pid=19939] ppid=19937 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19939/stat : 19939 (npSolver-pbo-I.) S 19937 19939 18146 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279427102 9367552 274 33554432000 4194304 5064252 140734691617776 140734691616688 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19939/statm: 2287 274 233 213 0 72 0
[pid=19940] ppid=19939 vsize=55684 CPUtime=519.2 cores=0,2,4,6
/proc/19940/stat : 19940 (npSolver-pbo) S 19939 19939 18146 0 -1 4202496 22557 84504 0 0 169 51 51653 47 20 0 1 0 279427103 57020416 13248 33554432000 4194304 5992684 140735985867472 140735985852376 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/19940/statm: 13921 13248 192 440 0 13477 0
[pid=19956] ppid=19940 vsize=210620 CPUtime=1280.81 cores=0,2,4,6
/proc/19956/stat : 19956 (glucosInc) R 19940 19939 18146 0 -1 4202496 36380 0 0 0 128045 36 0 0 20 0 1 0 279479035 215674880 47834 33554432000 4194304 5654031 140737125898832 140737125886648 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/19956/statm: 52655 47834 142 357 0 52295 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 275452
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 19939 and gives
# childrusage.ru_utime.tv_sec=518
# childrusage.ru_utime.tv_usec=223218
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=997848
# CPU time returned by wait4() is 519.221
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1798.67
CPU system time (s): 1.34
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 374860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 518.223
system time used= 0.997848
maximum resident set size= 237024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 260088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1316
involuntary context switches= 751
runsolver used 3.07153 second user time and 8.94364 second system time
The end