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/manquinho/primes-dimacs-cnf/normalized-jnh220.opb
MD5SUM	98f8a95595a145a754e30c7b5811afa6
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	94
Optimality of the best value was proved	NO
Number of terms in the objective function	200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	200
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	200
Number of bits of the biggest sum of numbers	8
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.160974
Number of variables	200
Total number of constraints	900
Number of constraints which are clauses	900
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	11

Trace number 24087

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 02:01:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1702 boxname=wulflinc31 idbench=190 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  98f8a95595a145a754e30c7b5811afa6  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh220.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-jnh220.opb
IDLAUNCH: 1702
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        143476 kB
Buffers:         40528 kB
Cached:         816376 kB
SwapCached:        644 kB
Active:         490604 kB
Inactive:       368600 kB
HighTotal:      131008 kB
HighFree:         5264 kB
LowTotal:       903652 kB
LowFree:        138212 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              12 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26348 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 02:11:13 (client local time) WITH STATUS 30 IN 602.833 SECONDS
stats: 1702 0 602.833 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 200 variables and 900 constraints.
c After prepocess the problem consists of 200 variables and 892 constraints.
c preprocess terminated 0.407 s
c Initial Lower Bound: 70
c Lower Bound Elapsed time: 0.55325
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.693
c NEW SOLUTION FOUND: 99 @ 2.694
c NEW SOLUTION FOUND: 98 @ 2.699
c NEW SOLUTION FOUND: 97 @ 2.702
c NEW SOLUTION FOUND: 96 @ 2.706
c NEW SOLUTION FOUND: 95 @ 2.712
c NEW SOLUTION FOUND: 94 @ 372.373
s OPTIMUM FOUND
v 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: 602.807 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
Raw data (loadavg): 0.77 0.89 0.89 2/54 8848
Raw data (stat): 8848 (runsolver) R 8847 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 688199925 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.81 0.89 0.89 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 4541 0 0 0 981 15 0 0 25 0 1 0 688199925 6926336 948 4294967295 134512640 134714508 3221221792 3221218168 1075112521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1691 948 1111 63 0 1628 0
vsize: 6764
[startup+20.002 s]
Raw data (loadavg): 0.84 0.89 0.89 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 7835 0 0 0 1973 23 0 0 25 0 1 0 688199925 6553600 926 4294967295 134512640 134714508 3221221792 3221219792 1074917874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1600 926 1111 63 0 1537 0
vsize: 6400
[startup+30.0027 s]
Raw data (loadavg): 0.86 0.90 0.89 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 11057 0 0 0 2965 30 0 0 25 0 1 0 688199925 7282688 997 4294967295 134512640 134714508 3221221792 3221218912 1074835529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1778 997 1111 63 0 1715 0
vsize: 7112
[startup+40.0029 s]
Raw data (loadavg): 0.88 0.90 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 14256 0 0 0 3956 40 0 0 25 0 1 0 688199925 6717440 968 4294967295 134512640 134714508 3221221792 3221220144 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1640 968 1111 63 0 1577 0
vsize: 6560
[startup+50.0029 s]
Raw data (loadavg): 0.90 0.90 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 17369 0 0 0 4948 47 0 0 25 0 1 0 688199925 7135232 994 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1742 994 1111 63 0 1679 0
vsize: 6968
[startup+60.0035 s]
Raw data (loadavg): 0.91 0.91 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 20946 0 0 0 5940 56 0 0 25 0 1 0 688199925 6754304 977 4294967295 134512640 134714508 3221221792 3221220152 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1649 977 1111 63 0 1586 0
vsize: 6596
[startup+70.0037 s]
Raw data (loadavg): 0.93 0.91 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 24629 0 0 0 6930 66 0 0 25 0 1 0 688199925 7405568 1027 4294967295 134512640 134714508 3221221792 3221218864 1074867212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1808 1027 1111 63 0 1745 0
vsize: 7232
[startup+80.0044 s]
Raw data (loadavg): 0.94 0.91 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 28251 0 0 0 7921 75 0 0 25 0 1 0 688199925 6803456 989 4294967295 134512640 134714508 3221221792 3221220144 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1661 989 1111 63 0 1598 0
vsize: 6644
[startup+90.0043 s]
Raw data (loadavg): 0.95 0.91 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 31573 0 0 0 8912 85 0 0 25 0 1 0 688199925 6811648 991 4294967295 134512640 134714508 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1663 991 1111 63 0 1600 0
vsize: 6652
[startup+100.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 34852 0 0 0 9904 92 0 0 25 0 1 0 688199925 7131136 1023 4294967295 134512640 134714508 3221221792 3221218368 1076049309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1741 1023 1111 63 0 1678 0
vsize: 6964
[startup+110.005 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 38007 0 0 0 10896 100 0 0 25 0 1 0 688199925 7573504 1088 4294967295 134512640 134714508 3221221792 3221217792 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1849 1088 1111 63 0 1786 0
vsize: 7396
[startup+120.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 41784 0 0 0 11886 110 0 0 25 0 1 0 688199925 6897664 1012 4294967295 134512640 134714508 3221221792 3221220176 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1684 1012 1111 63 0 1621 0
vsize: 6736
[startup+130.005 s]
Raw data (loadavg): 0.97 0.92 0.90 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 45521 0 0 0 12876 121 0 0 25 0 1 0 688199925 7335936 1029 4294967295 134512640 134714508 3221221792 3221218392 1075850698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1791 1029 1111 63 0 1728 0
vsize: 7164
[startup+140.005 s]
Raw data (loadavg): 0.98 0.92 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 49086 0 0 0 13866 131 0 0 25 0 1 0 688199925 7675904 1068 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1874 1068 1111 63 0 1811 0
vsize: 7496
[startup+150.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 52792 0 0 0 14857 141 0 0 25 0 1 0 688199925 7360512 1075 4294967295 134512640 134714508 3221221792 3221218720 1075960394 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1797 1075 1111 63 0 1734 0
vsize: 7188
[startup+160.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 56262 0 0 0 15848 150 0 0 25 0 1 0 688199925 7077888 1056 4294967295 134512640 134714508 3221221792 3221220172 1074207648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1728 1056 1111 63 0 1665 0
vsize: 6912
[startup+170.005 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 59676 0 0 0 16837 160 0 0 25 0 1 0 688199925 7077888 1056 4294967295 134512640 134714508 3221221792 3221219368 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1728 1056 1111 63 0 1665 0
vsize: 6912
[startup+180.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 62811 0 0 0 17828 169 0 0 25 0 1 0 688199925 7491584 1098 4294967295 134512640 134714508 3221221792 3221218348 1075397060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1829 1099 1111 63 0 1766 0
vsize: 7316
[startup+190.006 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 66168 0 0 0 18820 178 0 0 25 0 1 0 688199925 7868416 1122 4294967295 134512640 134714508 3221221792 3221217884 1075663503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1921 1122 1111 63 0 1858 0
vsize: 7684
[startup+200.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 70273 0 0 0 19809 188 0 0 25 0 1 0 688199925 7258112 1100 4294967295 134512640 134714508 3221221792 3221219960 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1772 1100 1111 63 0 1709 0
vsize: 7088
[startup+210.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 73928 0 0 0 20798 199 0 0 25 0 1 0 688199925 7286784 1107 4294967295 134512640 134714508 3221221792 3221218912 1074865242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1779 1107 1111 63 0 1716 0
vsize: 7116
[startup+220.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 77091 0 0 0 21789 208 0 0 25 0 1 0 688199925 7372800 1128 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1800 1128 1111 63 0 1737 0
vsize: 7200
[startup+230.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 79826 0 0 0 22784 214 0 0 25 0 1 0 688199925 8110080 1174 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1980 1174 1111 63 0 1917 0
vsize: 7920
[startup+240.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 82830 0 0 0 23774 223 0 0 25 0 1 0 688199925 7753728 1167 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1893 1167 1111 63 0 1830 0
vsize: 7572
[startup+250.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 86043 0 0 0 24766 232 0 0 25 0 1 0 688199925 7847936 1187 4294967295 134512640 134714508 3221221792 3221218064 1074960862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1916 1187 1111 63 0 1853 0
vsize: 7664
[startup+260.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 89645 0 0 0 25756 242 0 0 25 0 1 0 688199925 8208384 1204 4294967295 134512640 134714508 3221221792 3221217760 1075965289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2004 1204 1111 63 0 1941 0
vsize: 8016
[startup+270.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 93528 0 0 0 26744 254 0 0 25 0 1 0 688199925 7458816 1149 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1821 1149 1111 63 0 1758 0
vsize: 7284
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 97229 0 0 0 27735 263 0 0 25 0 1 0 688199925 7499776 1159 4294967295 134512640 134714508 3221221792 3221219712 1075799679 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1831 1159 1111 63 0 1768 0
vsize: 7324
[startup+290.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 100376 0 0 0 28726 273 0 0 25 0 1 0 688199925 7553024 1172 4294967295 134512640 134714508 3221221792 3221220128 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1844 1172 1111 63 0 1781 0
vsize: 7376
[startup+300.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 104103 0 0 0 29716 282 0 0 25 0 1 0 688199925 7929856 1206 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1936 1206 1111 63 0 1873 0
vsize: 7744
[startup+310.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 108048 0 0 0 30705 294 0 0 25 0 1 0 688199925 7905280 1205 4294967295 134512640 134714508 3221221792 3221218152 1075522565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1930 1205 1111 63 0 1867 0
vsize: 7720
[startup+320.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 111339 0 0 0 31695 304 0 0 25 0 1 0 688199925 8151040 1237 4294967295 134512640 134714508 3221221792 3221217724 1074788162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1990 1237 1111 63 0 1927 0
vsize: 7960
[startup+330.009 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 114789 0 0 0 32687 312 0 0 25 0 1 0 688199925 8384512 1247 4294967295 134512640 134714508 3221221792 3221218020 1075115070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2047 1247 1111 63 0 1984 0
vsize: 8188
[startup+340.009 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 118257 0 0 0 33677 322 0 0 25 0 1 0 688199925 7647232 1195 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1867 1195 1111 63 0 1804 0
vsize: 7468
[startup+350.009 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 121867 0 0 0 34668 331 0 0 25 0 1 0 688199925 8486912 1266 4294967295 134512640 134714508 3221221792 3221218128 1075113511 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2072 1266 1111 63 0 2009 0
vsize: 8288
[startup+360.009 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 125148 0 0 0 35658 341 0 0 25 0 1 0 688199925 8593408 1307 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2098 1307 1111 63 0 2035 0
vsize: 8392
[startup+370.01 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 128028 0 0 0 36652 348 0 0 25 0 1 0 688199925 8310784 1280 4294967295 134512640 134714508 3221221792 3221218448 1075967941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2029 1280 1111 63 0 1966 0
vsize: 8116
[startup+380.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 131166 0 0 0 37645 355 0 0 25 0 1 0 688199925 8167424 1255 4294967295 134512640 134714508 3221221792 3221217952 1075090383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1994 1255 1111 63 0 1931 0
vsize: 7976
[startup+390.01 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 134285 0 0 0 38636 363 0 0 25 0 1 0 688199925 8372224 1301 4294967295 134512640 134714508 3221221792 3221218560 1076083615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2044 1301 1111 63 0 1981 0
vsize: 8176
[startup+400.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 137777 0 0 0 39628 372 0 0 25 0 1 0 688199925 8454144 1322 4294967295 134512640 134714508 3221221792 3221217756 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2064 1322 1111 63 0 2001 0
vsize: 8256
[startup+410.011 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 141074 0 0 0 40618 382 0 0 25 0 1 0 688199925 8429568 1280 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2058 1280 1111 63 0 1995 0
vsize: 8232
[startup+420.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 144420 0 0 0 41610 390 0 0 25 0 1 0 688199925 7774208 1228 4294967295 134512640 134714508 3221221792 3221219816 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1898 1228 1111 63 0 1835 0
vsize: 7592
[startup+430.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 147695 0 0 0 42600 400 0 0 25 0 1 0 688199925 7774208 1228 4294967295 134512640 134714508 3221221792 3221220104 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1898 1228 1111 63 0 1835 0
vsize: 7592
[startup+440.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 151048 0 0 0 43590 411 0 0 25 0 1 0 688199925 7774208 1228 4294967295 134512640 134714508 3221221792 3221219792 1074918319 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1898 1228 1111 63 0 1835 0
vsize: 7592
[startup+450.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 154628 0 0 0 44580 421 0 0 25 0 1 0 688199925 8179712 1274 4294967295 134512640 134714508 3221221792 3221217968 1074882524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1997 1274 1111 63 0 1934 0
vsize: 7988
[startup+460.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 157996 0 0 0 45572 428 0 0 25 0 1 0 688199925 8601600 1302 4294967295 134512640 134714508 3221221792 3221218368 1076049620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2100 1302 1111 63 0 2037 0
vsize: 8400
[startup+470.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 161694 0 0 0 46561 440 0 0 25 0 1 0 688199925 7852032 1246 4294967295 134512640 134714508 3221221792 3221220220 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1917 1246 1111 63 0 1854 0
vsize: 7668
[startup+480.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 164898 0 0 0 47553 448 0 0 25 0 1 0 688199925 8249344 1284 4294967295 134512640 134714508 3221221792 3221218064 1074960847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2014 1284 1111 63 0 1951 0
vsize: 8056
[startup+490.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 168103 0 0 0 48544 457 0 0 25 0 1 0 688199925 8671232 1308 4294967295 134512640 134714508 3221221792 3221217952 1075091586 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2117 1308 1111 63 0 2054 0
vsize: 8468
[startup+500.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 171797 0 0 0 49534 467 0 0 25 0 1 0 688199925 8577024 1361 4294967295 134512640 134714508 3221221792 3221217956 1075964214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2094 1361 1111 63 0 2031 0
vsize: 8376
[startup+510.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 175134 0 0 0 50526 476 0 0 25 0 1 0 688199925 7999488 1283 4294967295 134512640 134714508 3221221792 3221220176 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1953 1283 1111 63 0 1890 0
vsize: 7812
[startup+520.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 178687 0 0 0 51516 485 0 0 25 0 1 0 688199925 8790016 1381 4294967295 134512640 134714508 3221221792 3221218020 1075115084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2146 1381 1111 63 0 2083 0
vsize: 8584
[startup+530.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 182168 0 0 0 52508 494 0 0 25 0 1 0 688199925 8720384 1380 4294967295 134512640 134714508 3221221792 3221217968 1074882604 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1380 1111 63 0 2066 0
vsize: 8516
[startup+540.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 185262 0 0 0 53500 503 0 0 25 0 1 0 688199925 8486912 1355 4294967295 134512640 134714508 3221221792 3221218160 1075894491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2072 1355 1111 63 0 2009 0
vsize: 8288
[startup+550.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 188768 0 0 0 54490 512 0 0 25 0 1 0 688199925 8785920 1408 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2145 1408 1111 63 0 2082 0
vsize: 8580
[startup+560.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 191832 0 0 0 55483 520 0 0 25 0 1 0 688199925 8163328 1323 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1993 1323 1111 63 0 1930 0
vsize: 7972
[startup+570.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 195007 0 0 0 56474 529 0 0 25 0 1 0 688199925 8798208 1406 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2148 1406 1111 63 0 2085 0
vsize: 8592
[startup+580.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 198120 0 0 0 57465 538 0 0 25 0 1 0 688199925 8245248 1343 4294967295 134512640 134714508 3221221792 3221219576 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2013 1343 1111 63 0 1950 0
vsize: 8052
[startup+590.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 201438 0 0 0 58456 547 0 0 25 0 1 0 688199925 9007104 1382 4294967295 134512640 134714508 3221221792 3221218020 1075115003 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2199 1382 1111 63 0 2136 0
vsize: 8796
[startup+600.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 204712 0 0 0 59449 555 0 0 25 0 1 0 688199925 8732672 1395 4294967295 134512640 134714508 3221221792 3221217728 1075965272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2132 1395 1111 63 0 2069 0
vsize: 8528
[startup+602.807 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 8848
Raw data (stat): 8848 (bsolo_lpr) R 8847 7876 7672 0 -1 0 204712 0 0 0 59449 555 0 0 25 0 1 0 688199925 8732672 1395 4294967295 134512640 134714508 3221221792 3221217728 1075965272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2132 1395 1111 63 0 2069 0
vsize: 0

Child status: 30
Real time (s): 602.807
CPU time (s): 602.833
CPU user time (s): 597.26
CPU system time (s): 5.57315
CPU usage (%): 100.004
Max. virtual memory (Kb): 8796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	94
#### END VERIFIER DATA ####