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-jnh209.opb
MD5SUM	ad3e64e9cdbd56e02705ba9162b58982
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	93
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.137978
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 24058

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 00:55:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1649 boxname=wulflinc31 idbench=184 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  ad3e64e9cdbd56e02705ba9162b58982  /oldhome/oroussel/tmp/wulflinc31/normalized-jnh209.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-jnh209.opb
IDLAUNCH: 1649
/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:        144304 kB
Buffers:         40096 kB
Cached:         815992 kB
SwapCached:        644 kB
Active:         490244 kB
Inactive:       368160 kB
HighTotal:      131008 kB
HighFree:         5572 kB
LowTotal:       903652 kB
LowFree:        138732 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26240 kB
Committed_AS:    63632 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 01:01:56 (client local time) WITH STATUS 30 IN 379.927 SECONDS
stats: 1649 0 379.927 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 198 variables and 886 constraints.
c preprocess terminated 0.478 s
c Initial Lower Bound: 71
c Lower Bound Elapsed time: 0.50625
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 2.755
c NEW SOLUTION FOUND: 99 @ 2.756
c NEW SOLUTION FOUND: 98 @ 2.761
c NEW SOLUTION FOUND: 97 @ 2.87
c NEW SOLUTION FOUND: 96 @ 2.902
c NEW SOLUTION FOUND: 95 @ 3.323
c NEW SOLUTION FOUND: 93 @ 4.064
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: 379.897 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.92 0.93 0.90 2/54 6071
Raw data (stat): 6071 (runsolver) R 6070 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 687806483 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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.0003 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 5193 0 0 0 979 16 0 0 25 0 1 0 687806483 7626752 1108 4294967295 134512640 134714508 3221221792 3221218016 1074960912 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1862 1108 1111 63 0 1799 0
vsize: 7448
[startup+20.0016 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 10404 0 0 0 1965 31 0 0 25 0 1 0 687806483 8249344 1212 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2014 1212 1111 63 0 1951 0
vsize: 8056
[startup+30.0022 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 16370 0 0 0 2947 49 0 0 25 0 1 0 687806483 8720384 1330 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2129 1330 1111 63 0 2066 0
vsize: 8516
[startup+40.0021 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 22627 0 0 0 3930 66 0 0 25 0 1 0 687806483 8429568 1344 4294967295 134512640 134714508 3221221792 3221219948 1075606712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2058 1344 1111 63 0 1995 0
vsize: 8232
[startup+50.0022 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 30479 0 0 0 4909 87 0 0 25 0 1 0 687806483 9535488 1569 4294967295 134512640 134714508 3221221792 3221218300 1074971924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1569 1111 63 0 2265 0
vsize: 9312
[startup+60.0027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 38128 0 0 0 5886 110 0 0 25 0 1 0 687806483 10293248 1743 4294967295 134512640 134714508 3221221792 3221218064 1074961191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2513 1743 1111 63 0 2450 0
vsize: 10052
[startup+70.0026 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 43783 0 0 0 6869 127 0 0 25 0 1 0 687806483 10362880 1775 4294967295 134512640 134714508 3221221792 3221217724 1074788201 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2530 1775 1111 63 0 2467 0
vsize: 10120
[startup+80.0039 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 48112 0 0 0 7857 140 0 0 25 0 1 0 687806483 10452992 1700 4294967295 134512640 134714508 3221221792 3221218128 1075113637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2552 1700 1111 63 0 2489 0
vsize: 10208
[startup+90.0037 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 55512 0 0 0 8837 160 0 0 25 0 1 0 687806483 10977280 1898 4294967295 134512640 134714508 3221221792 3221218020 1075114940 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2680 1898 1111 63 0 2617 0
vsize: 10720
[startup+100.004 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 59732 0 0 0 9825 172 0 0 25 0 1 0 687806483 10518528 1824 4294967295 134512640 134714508 3221221792 3221217628 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2568 1824 1111 63 0 2505 0
vsize: 10272
[startup+110.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 65641 0 0 0 10809 188 0 0 25 0 1 0 687806483 11345920 2001 4294967295 134512640 134714508 3221221792 3221217756 1074788187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2770 2001 1111 63 0 2707 0
vsize: 11080
[startup+120.004 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 69487 0 0 0 11800 197 0 0 25 0 1 0 687806483 11698176 2108 4294967295 134512640 134714508 3221221792 3221217804 1074788930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2856 2108 1111 63 0 2793 0
vsize: 11424
[startup+130.005 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 74407 0 0 0 12789 209 0 0 25 0 1 0 687806483 11735040 2115 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2865 2115 1111 63 0 2802 0
vsize: 11460
[startup+140.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 79670 0 0 0 13778 220 0 0 25 0 1 0 687806483 11579392 2083 4294967295 134512640 134714508 3221221792 3221217728 1075965243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2827 2083 1111 63 0 2764 0
vsize: 11308
[startup+150.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 84344 0 0 0 14767 231 0 0 25 0 1 0 687806483 10977280 2015 4294967295 134512640 134714508 3221221792 3221219720 1074207169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2680 2015 1111 63 0 2617 0
vsize: 10720
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 89204 0 0 0 15754 244 0 0 25 0 1 0 687806483 11317248 2055 4294967295 134512640 134714508 3221221792 3221218744 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2763 2055 1111 63 0 2700 0
vsize: 11052
[startup+170.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 94669 0 0 0 16741 257 0 0 25 0 1 0 687806483 12374016 2158 4294967295 134512640 134714508 3221221792 3221217940 1075964384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3021 2158 1111 63 0 2958 0
vsize: 12084
[startup+180.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 100324 0 0 0 17727 271 0 0 25 0 1 0 687806483 11763712 2179 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2872 2179 1111 63 0 2809 0
vsize: 11488
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 104619 0 0 0 18718 280 0 0 25 0 1 0 687806483 13393920 2523 4294967295 134512640 134714508 3221221792 3221217952 1075091387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3270 2523 1111 63 0 3207 0
vsize: 13080
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 108479 0 0 0 19708 291 0 0 25 0 1 0 687806483 11976704 2259 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2259 1111 63 0 2861 0
vsize: 11696
[startup+210.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 112086 0 0 0 20701 298 0 0 25 0 1 0 687806483 11976704 2259 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2259 1111 63 0 2861 0
vsize: 11696
[startup+220.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 115560 0 0 0 21693 306 0 0 25 0 1 0 687806483 11976704 2259 4294967295 134512640 134714508 3221221792 3221220096 1074153660 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2259 1111 63 0 2861 0
vsize: 11696
[startup+230.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 120034 0 0 0 22683 317 0 0 25 0 1 0 687806483 12759040 2338 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3115 2338 1111 63 0 3052 0
vsize: 12460
[startup+240.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 124531 0 0 0 23672 328 0 0 25 0 1 0 687806483 13373440 2542 4294967295 134512640 134714508 3221221792 3221217676 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2542 1111 63 0 3202 0
vsize: 13060
[startup+250.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 129117 0 0 0 24662 338 0 0 25 0 1 0 687806483 12967936 2256 4294967295 134512640 134714508 3221221792 3221217944 1074883050 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2256 1111 63 0 3103 0
vsize: 12664
[startup+260.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 135067 0 0 0 25646 354 0 0 25 0 1 0 687806483 12967936 2260 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2270 1111 63 0 3103 0
vsize: 12664
[startup+270.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 140511 0 0 0 26633 367 0 0 25 0 1 0 687806483 13193216 2464 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3221 2464 1111 63 0 3158 0
vsize: 12884
[startup+280.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 144548 0 0 0 27624 377 0 0 25 0 1 0 687806483 12820480 2347 4294967295 134512640 134714508 3221221792 3221218336 1075088581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2347 1111 63 0 3067 0
vsize: 12520
[startup+290.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 150358 0 0 0 28610 390 0 0 25 0 1 0 687806483 12550144 2342 4294967295 134512640 134714508 3221221792 3221217628 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2342 1111 63 0 3001 0
vsize: 12256
[startup+300.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 155763 0 0 0 29597 403 0 0 25 0 1 0 687806483 13901824 2538 4294967295 134512640 134714508 3221221792 3221218864 1074867299 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2538 1111 63 0 3331 0
vsize: 13576
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 162391 0 0 0 30581 420 0 0 25 0 1 0 687806483 13758464 2624 4294967295 134512640 134714508 3221221792 3221218336 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2624 1111 63 0 3296 0
vsize: 13436
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 167165 0 0 0 31569 432 0 0 25 0 1 0 687806483 13545472 2393 4294967295 134512640 134714508 3221221792 3221218128 1075113472 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2393 1111 63 0 3244 0
vsize: 13228
[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 172702 0 0 0 32555 447 0 0 25 0 1 0 687806483 13848576 2642 4294967295 134512640 134714508 3221221792 3221217760 1075965234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3381 2642 1111 63 0 3318 0
vsize: 13524
[startup+340.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 176482 0 0 0 33547 455 0 0 25 0 1 0 687806483 12689408 2401 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3098 2401 1111 63 0 3035 0
vsize: 12392
[startup+350.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 181240 0 0 0 34536 466 0 0 25 0 1 0 687806483 12726272 2442 4294967295 134512640 134714508 3221221792 3221220144 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2442 1111 63 0 3044 0
vsize: 12428
[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 186164 0 0 0 35524 477 0 0 25 0 1 0 687806483 13615104 2548 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2548 1111 63 0 3261 0
vsize: 13296
[startup+370.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 190194 0 0 0 36515 487 0 0 25 0 1 0 687806483 13635584 2546 4294967295 134512640 134714508 3221221792 3221218064 1074960901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2546 1111 63 0 3266 0
vsize: 13316
[startup+379.911 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 6071
Raw data (stat): 6071 (bsolo_lpr_cuts) R 6070 7876 7672 0 -1 0 190194 0 0 0 36515 487 0 0 25 0 1 0 687806483 13635584 2546 4294967295 134512640 134714508 3221221792 3221218064 1074960901 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3329 2546 1111 63 0 3266 0
vsize: 0

Child status: 30
Real time (s): 379.91
CPU time (s): 379.927
CPU user time (s): 374.927
CPU system time (s): 5.00024
CPU usage (%): 100.005
Max. virtual memory (Kb): 13576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	93
#### END VERIFIER DATA ####