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/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0548.opb
MD5SUM	6f47095f2d417d23ced995954e641689
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1236.51
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 41097

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 05:35:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29152 boxname=wulflinc6 idbench=936 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6f47095f2d417d23ced995954e641689  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 29152
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        811076 kB
Buffers:         29436 kB
Cached:         170428 kB
SwapCached:       4068 kB
Active:          35676 kB
Inactive:       169360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        810824 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            12948 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:54:52 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29152 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.728 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.84 0.95 0.90 2/54 7496
Raw data (stat): 7496 (runsolver) R 7495 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907796391 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+10.0015 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 10146 0 0 0 969 28 0 0 25 0 1 0 907796391 21237760 4489 4294967295 134512640 134716908 3221224560 3221223192 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5185 4489 1111 63 0 5122 0
vsize: 20740
[startup+20.0021 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 16739 0 0 0 1947 50 0 0 25 0 1 0 907796391 24825856 5357 4294967295 134512640 134716908 3221224560 3221223304 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6061 5357 1111 63 0 5998 0
vsize: 24244
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.95 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 23249 0 0 0 2925 73 0 0 25 0 1 0 907796391 29212672 6400 4294967295 134512640 134716908 3221224560 3221220832 1074807204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7106 6399 1111 63 0 7043 0
vsize: 28528
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 29747 0 0 0 3903 95 0 0 25 0 1 0 907796391 32681984 7278 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7979 7278 1111 63 0 7916 0
vsize: 31916
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 35635 0 0 0 4885 114 0 0 25 0 1 0 907796391 36081664 8108 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8809 8108 1111 63 0 8746 0
vsize: 35236
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 42353 0 0 0 5862 137 0 0 25 0 1 0 907796391 41283584 9339 4294967295 134512640 134716908 3221224560 3221222304 1075636270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10079 9339 1111 63 0 10016 0
vsize: 40316
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 49511 0 0 0 6840 160 0 0 25 0 1 0 907796391 44720128 10204 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10918 10204 1111 63 0 10855 0
vsize: 43672
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 56125 0 0 0 7817 183 0 0 25 0 1 0 907796391 48205824 11046 4294967295 134512640 134716908 3221224560 3221222428 1074206198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11769 11046 1111 63 0 11706 0
vsize: 47076
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 63175 0 0 0 8794 207 0 0 25 0 1 0 907796391 51818496 11936 4294967295 134512640 134716908 3221224560 3221222560 1074918577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12651 11936 1111 63 0 12588 0
vsize: 50604
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 70048 0 0 0 9771 230 0 0 25 0 1 0 907796391 58126336 13231 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14191 13231 1111 63 0 14128 0
vsize: 56764
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 76900 0 0 0 10750 251 0 0 25 0 1 0 907796391 61407232 14036 4294967295 134512640 134716908 3221224560 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14992 14036 1111 63 0 14929 0
vsize: 59968
[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 84860 0 0 0 11725 277 0 0 25 0 1 0 907796391 65200128 14997 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15918 14997 1111 63 0 15855 0
vsize: 63672
[startup+130.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 92942 0 0 0 12700 302 0 0 25 0 1 0 907796391 68718592 15856 4294967295 134512640 134716908 3221224560 3221222896 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16777 15856 1111 63 0 16714 0
vsize: 67108
[startup+140.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 100890 0 0 0 13678 325 0 0 25 0 1 0 907796391 72404992 16769 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17677 16769 1111 63 0 17614 0
vsize: 70708
[startup+150.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 108503 0 0 0 14656 347 0 0 25 0 1 0 907796391 75943936 17593 4294967295 134512640 134716908 3221224560 3221221712 1075969885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18541 17599 1111 63 0 18478 0
vsize: 74164
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 116698 0 0 0 15632 372 0 0 25 0 1 0 907796391 79319040 18530 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19365 18530 1111 63 0 19302 0
vsize: 77460
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 124697 0 0 0 16608 395 0 0 25 0 1 0 907796391 82726912 19351 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20197 19351 1111 63 0 20134 0
vsize: 80788
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 131855 0 0 0 17589 415 0 0 25 0 1 0 907796391 85643264 20072 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20909 20072 1111 63 0 20846 0
vsize: 83636
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 139956 0 0 0 18568 436 0 0 25 0 1 0 907796391 95113216 21798 4294967295 134512640 134716908 3221224560 3221222560 1074916558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23221 21798 1111 63 0 23158 0
vsize: 92884
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 148517 0 0 0 19541 463 0 0 25 0 1 0 907796391 98717696 22718 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24098 22717 1111 63 0 24035 0
vsize: 96404
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 157170 0 0 0 20516 489 0 0 25 0 1 0 907796391 102146048 23553 4294967295 134512640 134716908 3221224560 3221221624 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24986 23556 1111 63 0 24923 0
vsize: 99752
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 165786 0 0 0 21489 516 0 0 25 0 1 0 907796391 105820160 24423 4294967295 134512640 134716908 3221224560 3221221480 1074950124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25769 24415 1111 63 0 25706 0
vsize: 103340
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 172787 0 0 0 22469 537 0 0 25 0 1 0 907796391 108363776 25093 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26456 25093 1111 63 0 26393 0
vsize: 105824
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 181588 0 0 0 23442 564 0 0 25 0 1 0 907796391 112291840 26057 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27415 26057 1111 63 0 27352 0
vsize: 109660
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 190205 0 0 0 24416 590 0 0 25 0 1 0 907796391 115494912 26875 4294967295 134512640 134716908 3221224560 3221221680 1074866254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28283 26879 1111 63 0 28220 0
vsize: 112788
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 198685 0 0 0 25391 616 0 0 25 0 1 0 907796391 118857728 27735 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29018 27735 1111 63 0 28955 0
vsize: 116072
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 205842 0 0 0 26371 636 0 0 25 0 1 0 907796391 121896960 28468 4294967295 134512640 134716908 3221224560 3221222888 1074207542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29760 28468 1111 63 0 29697 0
vsize: 119040
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 214377 0 0 0 27344 663 0 0 25 0 1 0 907796391 126156800 29509 4294967295 134512640 134716908 3221224560 3221223024 1073990411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30800 29509 1111 63 0 30737 0
vsize: 123200
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 222994 0 0 0 28321 687 0 0 25 0 1 0 907796391 129773568 30416 4294967295 134512640 134716908 3221224560 3221222808 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31683 30416 1111 63 0 31620 0
vsize: 126732
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 231359 0 0 0 29297 712 0 0 25 0 1 0 907796391 133378048 31287 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32563 31287 1111 63 0 32500 0
vsize: 130252
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 238950 0 0 0 30273 736 0 0 25 0 1 0 907796391 137003008 32221 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33448 32221 1111 63 0 33385 0
vsize: 133792
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 247157 0 0 0 31249 760 0 0 25 0 1 0 907796391 140550144 33088 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34314 33088 1111 63 0 34251 0
vsize: 137256
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 255761 0 0 0 32224 785 0 0 25 0 1 0 907796391 144326656 33976 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 33977 1111 63 0 35173 0
vsize: 140944
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 263546 0 0 0 33200 810 0 0 25 0 1 0 907796391 147013632 34710 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35892 34710 1111 63 0 35829 0
vsize: 143568
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 272110 0 0 0 34174 836 0 0 25 0 1 0 907796391 150069248 35493 4294967295 134512640 134716908 3221224560 3221222384 1075823337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36638 35493 1111 63 0 36575 0
vsize: 146552
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 279375 0 0 0 35153 857 0 0 25 0 1 0 907796391 152764416 36155 4294967295 134512640 134716908 3221224560 3221222836 1077374516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37296 36155 1111 63 0 37233 0
vsize: 149184
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 287801 0 0 0 36129 882 0 0 25 0 1 0 907796391 167878656 38510 4294967295 134512640 134716908 3221224560 3221221712 1075969906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40986 38510 1111 63 0 40923 0
vsize: 163944
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 295582 0 0 0 37106 905 0 0 25 0 1 0 907796391 170815488 39222 4294967295 134512640 134716908 3221224560 3221222812 1074143344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41703 39222 1111 63 0 41640 0
vsize: 166812
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 304074 0 0 0 38082 930 0 0 25 0 1 0 907796391 173932544 40000 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42464 40000 1111 63 0 42401 0
vsize: 169856
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 312716 0 0 0 39056 955 0 0 25 0 1 0 907796391 177049600 40770 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43225 40770 1111 63 0 43162 0
vsize: 172900
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 320127 0 0 0 40034 978 0 0 25 0 1 0 907796391 179556352 41416 4294967295 134512640 134716908 3221224560 3221223432 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43837 41416 1111 63 0 43774 0
vsize: 175348
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 328771 0 0 0 41012 1001 0 0 25 0 1 0 907796391 183259136 42280 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44741 42280 1111 63 0 44678 0
vsize: 178964
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 337297 0 0 0 41985 1028 0 0 25 0 1 0 907796391 185974784 42995 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45404 42995 1111 63 0 45341 0
vsize: 181616
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 345218 0 0 0 42960 1053 0 0 25 0 1 0 907796391 189186048 43783 4294967295 134512640 134716908 3221224560 3221222700 1077379898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46188 43783 1111 63 0 46125 0
vsize: 184752
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 352523 0 0 0 43940 1074 0 0 25 0 1 0 907796391 192499712 44586 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46997 44586 1111 63 0 46934 0
vsize: 187988
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 360891 0 0 0 44913 1100 0 0 25 0 1 0 907796391 196595712 45549 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47997 45549 1111 63 0 47934 0
vsize: 191988
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 369367 0 0 0 45890 1124 0 0 25 0 1 0 907796391 200200192 46480 4294967295 134512640 134716908 3221224560 3221222856 1074064529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48877 46480 1111 63 0 48814 0
vsize: 195508
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 377814 0 0 0 46865 1149 0 0 25 0 1 0 907796391 203788288 47358 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49753 47358 1111 63 0 49690 0
vsize: 199012
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 385160 0 0 0 47845 1170 0 0 25 0 1 0 907796391 206848000 48147 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50500 48147 1111 63 0 50437 0
vsize: 202000
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 393754 0 0 0 48822 1193 0 0 25 0 1 0 907796391 210599936 49102 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51416 49102 1111 63 0 51353 0
vsize: 205664
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 402343 0 0 0 49795 1220 0 0 25 0 1 0 907796391 214188032 49986 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52292 49986 1111 63 0 52229 0
vsize: 209168
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 407719 0 0 0 50779 1236 0 0 25 0 1 0 907796391 217526272 50814 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53107 50814 1111 63 0 53044 0
vsize: 212428
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 408534 0 0 0 51777 1238 0 0 25 0 1 0 907796391 219807744 51391 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53664 51391 1111 63 0 53601 0
vsize: 214656
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 52773 1243 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 53773 1243 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 54773 1243 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223280 134622881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 55773 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 56774 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 57774 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 58774 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223288 134622873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 59775 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223284 134622849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 410952 0 0 0 60775 1244 0 0 25 0 1 0 907796391 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 411147 0 0 0 61774 1245 0 0 25 0 1 0 907796391 217698304 50894 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53149 50894 1111 63 0 53086 0
vsize: 212596
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 411868 0 0 0 62772 1247 0 0 25 0 1 0 907796391 219701248 51375 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53638 51375 1111 63 0 53575 0
vsize: 214552
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 427024 0 0 0 63740 1279 0 0 25 0 1 0 907796391 218804224 51164 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53419 51164 1111 63 0 53356 0
vsize: 213676
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 441739 0 0 0 64705 1314 0 0 25 0 1 0 907796391 221888512 51936 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54172 51936 1111 63 0 54109 0
vsize: 216688
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 459052 0 0 0 65665 1355 0 0 25 0 1 0 907796391 225710080 52851 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55105 52851 1111 63 0 55042 0
vsize: 220420
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 476434 0 0 0 66627 1393 0 0 25 0 1 0 907796391 229859328 53759 4294967295 134512640 134716908 3221224560 3221222864 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56118 53759 1111 63 0 56055 0
vsize: 224472
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 493708 0 0 0 67581 1439 0 0 25 0 1 0 907796391 235511808 54600 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57498 54601 1111 63 0 57435 0
vsize: 229992
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 508997 0 0 0 68545 1476 0 0 25 0 1 0 907796391 237015040 55477 4294967295 134512640 134716908 3221224560 3221223352 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57865 55477 1111 63 0 57802 0
vsize: 231460
[startup+710.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 525643 0 0 0 69505 1516 0 0 25 0 1 0 907796391 242417664 56296 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59184 56297 1111 63 0 59121 0
vsize: 236736
[startup+720.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 542708 0 0 0 70465 1556 0 0 25 0 1 0 907796391 244015104 57167 4294967295 134512640 134716908 3221224560 3221222864 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59574 57167 1111 63 0 59511 0
vsize: 238296
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 556516 0 0 0 71432 1590 0 0 25 0 1 0 907796391 247701504 58070 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60474 58070 1111 63 0 60411 0
vsize: 241896
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 556671 0 0 0 72430 1592 0 0 25 0 1 0 907796391 248061952 58173 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60562 58173 1111 63 0 60499 0
vsize: 242248
[startup+750.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 556757 0 0 0 73429 1593 0 0 25 0 1 0 907796391 248479744 58259 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60664 58259 1111 63 0 60601 0
vsize: 242656
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 556824 0 0 0 74428 1594 0 0 25 0 1 0 907796391 248819712 58326 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60747 58326 1111 63 0 60684 0
vsize: 242988
[startup+770.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 556894 0 0 0 75427 1596 0 0 25 0 1 0 907796391 248999936 58396 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60791 58396 1111 63 0 60728 0
vsize: 243164
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 557869 0 0 0 76424 1599 0 0 25 0 1 0 907796391 253509632 59323 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61892 59323 1111 63 0 61829 0
vsize: 247568
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 558329 0 0 0 77423 1601 0 0 25 0 1 0 907796391 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+800.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 558329 0 0 0 78423 1601 0 0 25 0 1 0 907796391 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+810.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 558329 0 0 0 79423 1601 0 0 25 0 1 0 907796391 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+820.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 80414 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+830.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 81415 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 82415 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+850.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 83415 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+860.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 84416 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+870.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 85416 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223288 134622898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+880.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 86416 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+890.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 87416 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 88417 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223288 134622793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+910.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 89417 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223356 134622613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+920.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 90417 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+930.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 91418 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+940.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 92418 1610 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 93418 1611 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 94418 1611 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562698 0 0 0 95419 1611 0 0 25 0 1 0 907796391 249245696 58462 4294967295 134512640 134716908 3221224560 3221223352 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 562761 0 0 0 96419 1611 0 0 25 0 1 0 907796391 247775232 58103 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60492 58103 1111 63 0 60429 0
vsize: 241968
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 563543 0 0 0 97416 1613 0 0 25 0 1 0 907796391 250105856 58664 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61061 58664 1111 63 0 60998 0
vsize: 244244
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 563543 0 0 0 98417 1613 0 0 25 0 1 0 907796391 250105856 58664 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61061 58664 1111 63 0 60998 0
vsize: 244244
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 581859 0 0 0 99374 1656 0 0 25 0 1 0 907796391 250204160 58690 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61085 58690 1111 63 0 61022 0
vsize: 244340
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 596536 0 0 0 100341 1689 0 0 25 0 1 0 907796391 253423616 59448 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61871 59448 1111 63 0 61808 0
vsize: 247484
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 613946 0 0 0 101299 1732 0 0 25 0 1 0 907796391 257933312 60566 4294967295 134512640 134716908 3221224560 3221222740 1074206314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62972 60566 1111 63 0 62909 0
vsize: 251888
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 631180 0 0 0 102255 1776 0 0 25 0 1 0 907796391 264069120 61438 4294967295 134512640 134716908 3221224560 3221221632 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64470 61441 1111 63 0 64407 0
vsize: 257880
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 637870 0 0 0 103237 1794 0 0 25 0 1 0 907796391 263069696 61882 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 637870 0 0 0 104238 1794 0 0 25 0 1 0 907796391 263069696 61882 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 643233 0 0 0 105226 1806 0 0 25 0 1 0 907796391 263274496 61932 4294967295 134512640 134716908 3221224560 3221221624 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64955 61938 1111 63 0 64892 0
vsize: 257104
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 660445 0 0 0 106184 1849 0 0 25 0 1 0 907796391 266276864 62676 4294967295 134512640 134716908 3221224560 3221222704 1074860033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65009 62676 1111 63 0 64946 0
vsize: 260036
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 666326 0 0 0 107169 1864 0 0 25 0 1 0 907796391 267931648 63122 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 666326 0 0 0 108169 1864 0 0 25 0 1 0 907796391 267931648 63122 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 670469 0 0 0 109158 1875 0 0 25 0 1 0 907796391 268021760 63126 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65435 63126 1111 63 0 65372 0
vsize: 261740
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 687686 0 0 0 110115 1919 0 0 25 0 1 0 907796391 271441920 63949 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66270 63949 1111 63 0 66207 0
vsize: 265080
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 700378 0 0 0 111084 1950 0 0 25 0 1 0 907796391 274001920 64639 4294967295 134512640 134716908 3221224560 3221222912 1074115241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66895 64639 1111 63 0 66832 0
vsize: 267580
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 715252 0 0 0 112046 1989 0 0 25 0 1 0 907796391 275865600 65098 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67350 65098 1111 63 0 67287 0
vsize: 269400
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 729833 0 0 0 113013 2022 0 0 25 0 1 0 907796391 278110208 65660 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67898 65660 1111 63 0 67835 0
vsize: 271592
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 747620 0 0 0 113967 2068 0 0 25 0 1 0 907796391 281235456 66436 4294967295 134512640 134716908 3221224560 3221222560 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68661 66436 1111 63 0 68598 0
vsize: 274644
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 762601 0 0 0 114933 2103 0 0 25 0 1 0 907796391 284057600 67142 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69350 67142 1111 63 0 69287 0
vsize: 277400
[startup+1174.77 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7496
Raw data (stat): 7496 (bsolo_lpr_cuts-) R 7495 25568 25567 0 -1 0 762601 0 0 0 114933 2103 0 0 25 0 1 0 907796391 284057600 67142 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69350 67142 1111 63 0 69287 0
vsize: 0

Child status: 0
Real time (s): 1174.77
CPU time (s): 1175.14
CPU user time (s): 1153.78
CPU system time (s): 21.3648
CPU usage (%): 100.031
Max. virtual memory (Kb): 277400
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####