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-jnh205.opb
MD5SUM	f6fdc202e213c33bf947a860dbc34987
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.079986
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 40729

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 20:37:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28796 boxname=wulflinc1 idbench=182 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f6fdc202e213c33bf947a860dbc34987  /oldhome/oroussel/tmp/wulflinc1/normalized-jnh205.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-jnh205.opb
IDLAUNCH: 28796
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        850936 kB
Buffers:         27912 kB
Cached:         131692 kB
SwapCached:       1148 kB
Active:          40800 kB
Inactive:       121028 kB
HighTotal:      131008 kB
HighFree:          952 kB
LowTotal:       903652 kB
LowFree:        849984 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16244 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 20:43:14 (client local time) WITH STATUS 30 IN 356.21 SECONDS
stats: 28796 0 356.21 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 178 variables and 788 constraints.
c preprocess terminated 0.723 s
c Initial Lower Bound: 77
c Lower Bound Elapsed time: 0.5205
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 100 @ 1.783
c NEW SOLUTION FOUND: 99 @ 1.783
c NEW SOLUTION FOUND: 98 @ 1.787
c NEW SOLUTION FOUND: 97 @ 1.79
c NEW SOLUTION FOUND: 96 @ 1.797
c NEW SOLUTION FOUND: 95 @ 1.824
c NEW SOLUTION FOUND: 94 @ 180.483
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: 356.199 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.91 0.95 0.90 2/55 25909
Raw data (stat): 25909 (runsolver) R 25908 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 847711996 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99998 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 4261 0 0 0 987 10 0 0 25 0 1 0 847711996 7049216 1034 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1721 1034 1111 63 0 1658 0
vsize: 6884
[startup+19.9997 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 8149 0 0 0 1977 20 0 0 25 0 1 0 847711996 7479296 1086 4294967295 134512640 134716908 3221224576 3221220848 1074804675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1826 1086 1111 63 0 1763 0
vsize: 7304
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 12829 0 0 0 2964 33 0 0 25 0 1 0 847711996 8052736 1153 4294967295 134512640 134716908 3221224576 3221221232 1075967926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1966 1153 1111 63 0 1903 0
vsize: 7864
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 17116 0 0 0 3952 46 0 0 25 0 1 0 847711996 8290304 1219 4294967295 134512640 134716908 3221224576 3221220736 1075091697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2024 1219 1111 63 0 1961 0
vsize: 8096
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 21631 0 0 0 4940 58 0 0 25 0 1 0 847711996 8126464 1248 4294967295 134512640 134716908 3221224576 3221220588 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1984 1248 1111 63 0 1921 0
vsize: 7936
[startup+60.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 25410 0 0 0 5930 67 0 0 25 0 1 0 847711996 8503296 1321 4294967295 134512640 134716908 3221224576 3221220460 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2076 1321 1111 63 0 2013 0
vsize: 8304
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 29972 0 0 0 6918 80 0 0 25 0 1 0 847711996 8847360 1363 4294967295 134512640 134716908 3221224576 3221220784 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2160 1363 1111 63 0 2097 0
vsize: 8640
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 34738 0 0 0 7904 94 0 0 25 0 1 0 847711996 8232960 1331 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2010 1331 1111 63 0 1947 0
vsize: 8040
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 39459 0 0 0 8891 107 0 0 25 0 1 0 847711996 9211904 1420 4294967295 134512640 134716908 3221224576 3221221232 1075966559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2249 1420 1111 63 0 2186 0
vsize: 8996
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 44367 0 0 0 9879 120 0 0 25 0 1 0 847711996 9498624 1598 4294967295 134512640 134716908 3221224576 3221220544 1075965284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1598 1111 63 0 2256 0
vsize: 9276
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 49307 0 0 0 10866 133 0 0 25 0 1 0 847711996 10051584 1646 4294967295 134512640 134716908 3221224576 3221220848 1074961143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2454 1646 1111 63 0 2391 0
vsize: 9816
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 53597 0 0 0 11854 145 0 0 25 0 1 0 847711996 9469952 1602 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2312 1602 1111 63 0 2249 0
vsize: 9248
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 57725 0 0 0 12845 154 0 0 25 0 1 0 847711996 10121216 1741 4294967295 134512640 134716908 3221224576 3221220544 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2471 1741 1111 63 0 2408 0
vsize: 9884
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 61741 0 0 0 13835 165 0 0 25 0 1 0 847711996 9326592 1598 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2277 1598 1111 63 0 2214 0
vsize: 9108
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 66874 0 0 0 14822 178 0 0 25 0 1 0 847711996 10227712 1764 4294967295 134512640 134716908 3221224576 3221221088 1075084528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2497 1764 1111 63 0 2434 0
vsize: 9988
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 71099 0 0 0 15811 188 0 0 25 0 1 0 847711996 9969664 1695 4294967295 134512640 134716908 3221224576 3221223216 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2434 1695 1111 63 0 2371 0
vsize: 9736
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 75679 0 0 0 16798 202 0 0 25 0 1 0 847711996 10797056 1849 4294967295 134512640 134716908 3221224576 3221221648 1074867337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2636 1849 1111 63 0 2573 0
vsize: 10544
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 79979 0 0 0 17786 214 0 0 25 0 1 0 847711996 10862592 1874 4294967295 134512640 134716908 3221224576 3221220752 1074882535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2652 1874 1111 63 0 2589 0
vsize: 10608
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 84938 0 0 0 18773 227 0 0 25 0 1 0 847711996 10960896 1944 4294967295 134512640 134716908 3221224576 3221220848 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2676 1944 1111 63 0 2613 0
vsize: 10704
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 89717 0 0 0 19759 241 0 0 25 0 1 0 847711996 11255808 2011 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2748 2011 1111 63 0 2685 0
vsize: 10992
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 93539 0 0 0 20748 252 0 0 25 0 1 0 847711996 10739712 1929 4294967295 134512640 134716908 3221224576 3221222224 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2622 1929 1111 63 0 2559 0
vsize: 10488
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 97622 0 0 0 21738 263 0 0 25 0 1 0 847711996 11390976 1998 4294967295 134512640 134716908 3221224576 3221220536 1074789806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2781 1998 1111 63 0 2718 0
vsize: 11124
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 101212 0 0 0 22728 272 0 0 25 0 1 0 847711996 11460608 2076 4294967295 134512640 134716908 3221224576 3221220512 1075965260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2798 2076 1111 63 0 2735 0
vsize: 11192
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 106255 0 0 0 23716 285 0 0 25 0 1 0 847711996 11878400 2175 4294967295 134512640 134716908 3221224576 3221220512 1075965303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2900 2175 1111 63 0 2837 0
vsize: 11600
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 111431 0 0 0 24701 300 0 0 25 0 1 0 847711996 11976704 2186 4294967295 134512640 134716908 3221224576 3221220756 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2924 2186 1111 63 0 2861 0
vsize: 11696
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 114931 0 0 0 25692 309 0 0 25 0 1 0 847711996 11800576 2180 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2881 2180 1111 63 0 2818 0
vsize: 11524
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 119071 0 0 0 26683 318 0 0 25 0 1 0 847711996 12537856 2353 4294967295 134512640 134716908 3221224576 3221220460 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3061 2353 1111 63 0 2998 0
vsize: 12244
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 123270 0 0 0 27673 329 0 0 25 0 1 0 847711996 12173312 2255 4294967295 134512640 134716908 3221224576 3221222992 1073989433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2972 2255 1111 63 0 2909 0
vsize: 11888
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 128491 0 0 0 28658 343 0 0 25 0 1 0 847711996 12591104 2350 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3074 2350 1111 63 0 3011 0
vsize: 12296
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 132764 0 0 0 29649 353 0 0 25 0 1 0 847711996 12779520 2399 4294967295 134512640 134716908 3221224576 3221220460 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3120 2399 1111 63 0 3057 0
vsize: 12480
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 137113 0 0 0 30638 364 0 0 25 0 1 0 847711996 13164544 2497 4294967295 134512640 134716908 3221224576 3221220848 1074961375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2497 1111 63 0 3151 0
vsize: 12856
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 141227 0 0 0 31628 374 0 0 25 0 1 0 847711996 13152256 2470 4294967295 134512640 134716908 3221224576 3221221600 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3211 2470 1111 63 0 3148 0
vsize: 12844
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 145167 0 0 0 32620 383 0 0 25 0 1 0 847711996 12832768 2463 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 2463 1111 63 0 3070 0
vsize: 12532
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 149656 0 0 0 33610 393 0 0 25 0 1 0 847711996 13094912 2487 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 2487 1111 63 0 3134 0
vsize: 12788
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 154282 0 0 0 34598 405 0 0 25 0 1 0 847711996 13762560 2510 4294967295 134512640 134716908 3221224576 3221221696 1074837628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2510 1111 63 0 3297 0
vsize: 13440
[startup+356.179 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 25909
Raw data (stat): 25909 (bsolo_lpr_cuts-) R 25908 8378 8377 0 -1 0 154282 0 0 0 34598 405 0 0 25 0 1 0 847711996 13762560 2510 4294967295 134512640 134716908 3221224576 3221221696 1074837628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3360 2510 1111 63 0 3297 0
vsize: 0

Child status: 30
Real time (s): 356.178
CPU time (s): 356.21
CPU user time (s): 352.068
CPU system time (s): 4.14137
CPU usage (%): 100.009
Max. virtual memory (Kb): 13440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	94
#### END VERIFIER DATA ####