PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:

LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Name	normalized-opb/submitted/een/normalized-p0201.opb
MD5SUM	ff4eb45c2603a47e5b79b2649e926ba4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01984
Number of variables	195
Total number of constraints	133
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	3
Maximum length of a constraint	65

Trace number 39770

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 20:22:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27839 boxname=wulflinc5 idbench=397 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  ff4eb45c2603a47e5b79b2649e926ba4  /oldhome/oroussel/tmp/wulflinc5/normalized-p0201.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-p0201.opb
IDLAUNCH: 27839
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        884492 kB
Buffers:         33864 kB
Cached:          92012 kB
SwapCached:        604 kB
Active:          41560 kB
Inactive:        86416 kB
HighTotal:      131008 kB
HighFree:        93604 kB
LowTotal:       903652 kB
LowFree:        790888 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16484 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:28:05 (client local time) WITH STATUS 30 IN 340.435 SECONDS
stats: 27839 0 340.435 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 201 variables and 133 constraints.
c After prepocess the problem consists of 201 variables and 289 constraints.
c preprocess terminated 0.259 s
c Initial Lower Bound: 1425
c Lower Bound Elapsed time: 0.05375
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1784 @ 5.648
c NEW SOLUTION FOUND: 1776 @ 6.619
c NEW SOLUTION FOUND: 1756 @ 8.332
c NEW SOLUTION FOUND: 1744 @ 8.715
c NEW SOLUTION FOUND: 1735 @ 12.687
c NEW SOLUTION FOUND: 1732 @ 13.192
c NEW SOLUTION FOUND: 1729 @ 14.365
c NEW SOLUTION FOUND: 1726 @ 14.6
c NEW SOLUTION FOUND: 1716 @ 18.773
c NEW SOLUTION FOUND: 1714 @ 19.398
c NEW SOLUTION FOUND: 1704 @ 19.443
c NEW SOLUTION FOUND: 1703 @ 21.123
c NEW SOLUTION FOUND: 1693 @ 21.126
c NEW SOLUTION FOUND: 1683 @ 21.5
c NEW SOLUTION FOUND: 1681 @ 22.853
c NEW SOLUTION FOUND: 1679 @ 43.477
c NEW SOLUTION FOUND: 1669 @ 43.777
c NEW SOLUTION FOUND: 1659 @ 47.492
c NEW SOLUTION FOUND: 1657 @ 60.674
c NEW SOLUTION FOUND: 1655 @ 100
c NEW SOLUTION FOUND: 1649 @ 101.127
c NEW SOLUTION FOUND: 1629 @ 101.312
c NEW SOLUTION FOUND: 1615 @ 106.598
c NEW SOLUTION FOUND: 1603 @ 121.87
c NEW SOLUTION FOUND: 1595 @ 145.589
c NEW SOLUTION FOUND: 1583 @ 169.025
c NEW SOLUTION FOUND: 1575 @ 205.118
c NEW SOLUTION FOUND: 1571 @ 206.102
c NEW SOLUTION FOUND: 1551 @ 206.213
c NEW SOLUTION FOUND: 1547 @ 273.696
c NEW SOLUTION FOUND: 1543 @ 294.131
c NEW SOLUTION FOUND: 1523 @ 294.269
s OPTIMUM FOUND
v -x0 x1 -x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 x119 -x120 -x121 -x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 
c Exit Code: 30
c Total time: 340.415 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.91 2/54 8089
Raw data (stat): 8089 (runsolver) R 8088 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895838415 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 6156 0 0 0 978 19 0 0 25 0 1 0 895838415 6893568 959 4294967295 134512640 134716908 3221224592 3221221484 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1683 959 1111 63 0 1620 0
vsize: 6732
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 14125 0 0 0 1954 43 0 0 25 0 1 0 895838415 8384512 1295 4294967295 134512640 134716908 3221224592 3221221080 1074798917 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2047 1295 1111 63 0 1984 0
vsize: 8188
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 21566 0 0 0 2931 66 0 0 25 0 1 0 895838415 9216000 1561 4294967295 134512640 134716908 3221224592 3221223476 134621673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2250 1561 1111 63 0 2187 0
vsize: 9000
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 28630 0 0 0 3909 87 0 0 25 0 1 0 895838415 10342400 1802 4294967295 134512640 134716908 3221224592 3221221520 1075960263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2525 1802 1111 63 0 2462 0
vsize: 10100
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 35276 0 0 0 4889 108 0 0 25 0 1 0 895838415 11218944 2053 4294967295 134512640 134716908 3221224592 3221218844 1075364035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2739 2053 1111 63 0 2676 0
vsize: 10956
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 41741 0 0 0 5870 127 0 0 25 0 1 0 895838415 12034048 2248 4294967295 134512640 134716908 3221224592 3221223240 134675437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2938 2248 1111 63 0 2875 0
vsize: 11752
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 48122 0 0 0 6851 146 0 0 25 0 1 0 895838415 12992512 2486 4294967295 134512640 134716908 3221224592 3221222432 1075795651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3172 2486 1111 63 0 3109 0
vsize: 12688
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 54375 0 0 0 7832 166 0 0 25 0 1 0 895838415 14315520 2741 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3495 2741 1111 63 0 3432 0
vsize: 13980
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 60615 0 0 0 8816 182 0 0 25 0 1 0 895838415 14811136 2930 4294967295 134512640 134716908 3221224592 3221221832 1075978929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3616 2930 1111 63 0 3553 0
vsize: 14464
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 66194 0 0 0 9801 197 0 0 25 0 1 0 895838415 15908864 3195 4294967295 134512640 134716908 3221224592 3221222704 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3884 3195 1111 63 0 3821 0
vsize: 15536
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 72226 0 0 0 10785 213 0 0 25 0 1 0 895838415 17104896 3490 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4176 3490 1111 63 0 4113 0
vsize: 16704
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 78211 0 0 0 11770 228 0 0 25 0 1 0 895838415 18550784 3787 4294967295 134512640 134716908 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4529 3787 1111 63 0 4466 0
vsize: 18116
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 84102 0 0 0 12753 245 0 0 25 0 1 0 895838415 19329024 3975 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4719 3975 1111 63 0 4656 0
vsize: 18876
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 89983 0 0 0 13736 262 0 0 25 0 1 0 895838415 19861504 4171 4294967295 134512640 134716908 3221224592 3221222728 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 4171 1111 63 0 4786 0
vsize: 19396
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 95642 0 0 0 14722 276 0 0 25 0 1 0 895838415 21139456 4417 4294967295 134512640 134716908 3221224592 3221220588 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5161 4417 1111 63 0 5098 0
vsize: 20644
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 101041 0 0 0 15707 291 0 0 25 0 1 0 895838415 21569536 4588 4294967295 134512640 134716908 3221224592 3221222896 1073986790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4588 1111 63 0 5203 0
vsize: 21064
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 106636 0 0 0 16692 306 0 0 25 0 1 0 895838415 22863872 4842 4294967295 134512640 134716908 3221224592 3221220768 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5582 4842 1111 63 0 5519 0
vsize: 22328
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 111990 0 0 0 17677 322 0 0 25 0 1 0 895838415 23404544 5036 4294967295 134512640 134716908 3221224592 3221223244 1073986672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5714 5036 1111 63 0 5651 0
vsize: 22856
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 117714 0 0 0 18660 338 0 0 25 0 1 0 895838415 24481792 5299 4294967295 134512640 134716908 3221224592 3221222592 1074916914 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5977 5299 1111 63 0 5914 0
vsize: 23908
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 123300 0 0 0 19646 352 0 0 25 0 1 0 895838415 25612288 5575 4294967295 134512640 134716908 3221224592 3221222336 1075646227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5575 1111 63 0 6190 0
vsize: 25012
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 129697 0 0 0 20629 370 0 0 25 0 1 0 895838415 27136000 5877 4294967295 134512640 134716908 3221224592 3221220752 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6625 5877 1111 63 0 6562 0
vsize: 26500
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 134882 0 0 0 21616 383 0 0 25 0 1 0 895838415 27623424 5998 4294967295 134512640 134716908 3221224592 3221220796 1075564289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6744 5998 1111 63 0 6681 0
vsize: 26976
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 140231 0 0 0 22602 397 0 0 25 0 1 0 895838415 28114944 6145 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6145 1111 63 0 6801 0
vsize: 27456
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 145626 0 0 0 23586 413 0 0 25 0 1 0 895838415 28643328 6279 4294967295 134512640 134716908 3221224592 3221220928 1075114315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6993 6279 1111 63 0 6930 0
vsize: 27972
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 150389 0 0 0 24572 428 0 0 25 0 1 0 895838415 29126656 6397 4294967295 134512640 134716908 3221224592 3221221624 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7111 6397 1111 63 0 7048 0
vsize: 28444
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 155575 0 0 0 25558 441 0 0 25 0 1 0 895838415 29630464 6515 4294967295 134512640 134716908 3221224592 3221220624 1075965263 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7234 6515 1111 63 0 7171 0
vsize: 28936
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 160757 0 0 0 26544 456 0 0 25 0 1 0 895838415 30191616 6628 4294967295 134512640 134716908 3221224592 3221220768 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7371 6628 1111 63 0 7308 0
vsize: 29484
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 166434 0 0 0 27528 472 0 0 25 0 1 0 895838415 30892032 6795 4294967295 134512640 134716908 3221224592 3221220864 1074960930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7542 6795 1111 63 0 7479 0
vsize: 30168
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 172000 0 0 0 28513 487 0 0 25 0 1 0 895838415 31424512 6956 4294967295 134512640 134716908 3221224592 3221221248 1075966742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7672 6956 1111 63 0 7609 0
vsize: 30688
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 177789 0 0 0 29495 505 0 0 25 0 1 0 895838415 32161792 7102 4294967295 134512640 134716908 3221224592 3221221632 1075860469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7852 7102 1111 63 0 7789 0
vsize: 31408
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 183165 0 0 0 30480 520 0 0 25 0 1 0 895838415 32288768 7201 4294967295 134512640 134716908 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7883 7201 1111 63 0 7820 0
vsize: 31532
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 188500 0 0 0 31469 531 0 0 25 0 1 0 895838415 33005568 7344 4294967295 134512640 134716908 3221224592 3221220928 1075114265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8058 7344 1111 63 0 7995 0
vsize: 32232
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 193521 0 0 0 32456 544 0 0 25 0 1 0 895838415 33128448 7410 4294967295 134512640 134716908 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8088 7410 1111 63 0 8025 0
vsize: 32352
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 198922 0 0 0 33441 559 0 0 25 0 1 0 895838415 33964032 7544 4294967295 134512640 134716908 3221224592 3221220768 1074882496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 7544 1111 63 0 8229 0
vsize: 33168
[startup+340.44 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 8089
Raw data (stat): 8089 (bsolo_lpr-v2) R 8088 7266 7265 0 -1 0 198922 0 0 0 33441 559 0 0 25 0 1 0 895838415 33964032 7544 4294967295 134512640 134716908 3221224592 3221220768 1074882496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 7544 1111 63 0 8229 0
vsize: 0

Child status: 30
Real time (s): 340.44
CPU time (s): 340.435
CPU user time (s): 334.813
CPU system time (s): 5.62215
CPU usage (%): 99.9986
Max. virtual memory (Kb): 33168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####