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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
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	1244.18
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 41600

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 16:37:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29657 boxname=wulflinc4 idbench=1441 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 29657
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        906956 kB
Buffers:          3412 kB
Cached:         104540 kB
SwapCached:        916 kB
Active:          25032 kB
Inactive:        84960 kB
HighTotal:      131008 kB
HighFree:        23744 kB
LowTotal:       903652 kB
LowFree:        883212 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12104 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:57:26 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29657 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.74 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.91 0.97 0.91 1/54 18518
Raw data (stat): 18518 (runsolver) R 18517 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911763571 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.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 10146 0 0 0 965 32 0 0 25 0 1 0 911763571 21237760 4489 4294967295 134512640 134716908 3221224560 3221222864 1074153822 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.001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 16713 0 0 0 1941 55 0 0 25 0 1 0 911763571 24727552 5345 4294967295 134512640 134716908 3221224560 3221222528 1074248329 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6037 5345 1111 63 0 5974 0
vsize: 24148
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 23256 0 0 0 2920 77 0 0 25 0 1 0 911763571 29061120 6393 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7095 6393 1111 63 0 7032 0
vsize: 28380
[startup+40.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 29777 0 0 0 3897 100 0 0 25 0 1 0 911763571 32833536 7279 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8016 7284 1111 63 0 7953 0
vsize: 32064
[startup+50.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 35652 0 0 0 4876 121 0 0 25 0 1 0 911763571 36081664 8110 4294967295 134512640 134716908 3221224560 3221222264 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8809 8110 1111 63 0 8746 0
vsize: 35236
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 42355 0 0 0 5852 145 0 0 25 0 1 0 911763571 41283584 9339 4294967295 134512640 134716908 3221224560 3221223256 134558621 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.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 49518 0 0 0 6829 168 0 0 25 0 1 0 911763571 44957696 10210 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 10210 1111 63 0 10913 0
vsize: 43904
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 56125 0 0 0 7808 190 0 0 25 0 1 0 911763571 48205824 11046 4294967295 134512640 134716908 3221224560 3221222808 1074138144 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.0031 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 63204 0 0 0 8787 211 0 0 25 0 1 0 911763571 51859456 11944 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12657 11941 1111 63 0 12594 0
vsize: 50644
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 70064 0 0 0 9765 233 0 0 25 0 1 0 911763571 58101760 13232 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14185 13232 1111 63 0 14122 0
vsize: 56740
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 76900 0 0 0 10744 254 0 0 25 0 1 0 911763571 61407232 14036 4294967295 134512640 134716908 3221224560 3221222648 1077377200 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.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 84851 0 0 0 11722 277 0 0 25 0 1 0 911763571 65204224 14997 4294967295 134512640 134716908 3221224560 3221222672 1074867299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15914 14995 1111 63 0 15851 0
vsize: 63676
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 92930 0 0 0 12696 303 0 0 25 0 1 0 911763571 68698112 15852 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16772 15852 1111 63 0 16709 0
vsize: 67088
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 100844 0 0 0 13670 329 0 0 25 0 1 0 911763571 72237056 16723 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17636 16723 1111 63 0 17573 0
vsize: 70544
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 108485 0 0 0 14648 351 0 0 25 0 1 0 911763571 75620352 17589 4294967295 134512640 134716908 3221224560 3221223184 134535439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17589 1111 63 0 18399 0
vsize: 73848
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 116663 0 0 0 15622 377 0 0 25 0 1 0 911763571 79376384 18539 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19431 18540 1111 63 0 19368 0
vsize: 77516
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 124654 0 0 0 16598 401 0 0 25 0 1 0 911763571 82657280 19342 4294967295 134512640 134716908 3221224560 3221223192 134698668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20180 19342 1111 63 0 20117 0
vsize: 80720
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 131793 0 0 0 17576 424 0 0 25 0 1 0 911763571 85774336 20059 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20941 20059 1111 63 0 20878 0
vsize: 83764
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 139901 0 0 0 18552 448 0 0 25 0 1 0 911763571 95064064 21794 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23291 21798 1111 63 0 23228 0
vsize: 92836
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 148454 0 0 0 19527 473 0 0 25 0 1 0 911763571 98684928 22704 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24093 22704 1111 63 0 24030 0
vsize: 96372
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 157116 0 0 0 20501 499 0 0 25 0 1 0 911763571 102170624 23547 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24944 23547 1111 63 0 24881 0
vsize: 99776
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 165724 0 0 0 21476 525 0 0 25 0 1 0 911763571 105496576 24410 4294967295 134512640 134716908 3221224560 3221223232 134652581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25756 24410 1111 63 0 25693 0
vsize: 103024
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 172707 0 0 0 22458 543 0 0 25 0 1 0 911763571 108322816 25091 4294967295 134512640 134716908 3221224560 3221222208 1074247399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26446 25091 1111 63 0 26383 0
vsize: 105784
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 181466 0 0 0 23434 567 0 0 25 0 1 0 911763571 112017408 26035 4294967295 134512640 134716908 3221224560 3221223208 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27348 26035 1111 63 0 27285 0
vsize: 109392
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 190114 0 0 0 24406 595 0 0 25 0 1 0 911763571 115499008 26874 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28197 26874 1111 63 0 28134 0
vsize: 112792
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 198575 0 0 0 25383 619 0 0 25 0 1 0 911763571 118890496 27725 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29026 27725 1111 63 0 28963 0
vsize: 116104
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 205697 0 0 0 26361 640 0 0 25 0 1 0 911763571 121913344 28471 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29764 28471 1111 63 0 29701 0
vsize: 119056
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 214255 0 0 0 27337 665 0 0 25 0 1 0 911763571 126025728 29483 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30768 29483 1111 63 0 30705 0
vsize: 123072
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 222867 0 0 0 28313 689 0 0 25 0 1 0 911763571 129761280 30415 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31680 30415 1111 63 0 31617 0
vsize: 126720
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 231222 0 0 0 29291 711 0 0 25 0 1 0 911763571 133320704 31273 4294967295 134512640 134716908 3221224560 3221222384 1075823610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32549 31273 1111 63 0 32486 0
vsize: 130196
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 238950 0 0 0 30269 733 0 0 25 0 1 0 911763571 137003008 32221 4294967295 134512640 134716908 3221224560 3221223272 134558477 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 247042 0 0 0 31244 758 0 0 25 0 1 0 911763571 140476416 33075 4294967295 134512640 134716908 3221224560 3221222960 1074118803 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34296 33075 1111 63 0 34233 0
vsize: 137184
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 255646 0 0 0 32219 784 0 0 25 0 1 0 911763571 143945728 33953 4294967295 134512640 134716908 3221224560 3221222768 1074143508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35143 33953 1111 63 0 35080 0
vsize: 140572
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 263441 0 0 0 33195 808 0 0 25 0 1 0 911763571 146956288 34705 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35878 34705 1111 63 0 35815 0
vsize: 143512
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 272021 0 0 0 34169 834 0 0 25 0 1 0 911763571 150069248 35488 4294967295 134512640 134716908 3221224560 3221223264 134654880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36638 35488 1111 63 0 36575 0
vsize: 146552
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 279334 0 0 0 35148 856 0 0 25 0 1 0 911763571 152797184 36163 4294967295 134512640 134716908 3221224560 3221223352 134536904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37304 36163 1111 63 0 37241 0
vsize: 149216
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 287800 0 0 0 36125 879 0 0 25 0 1 0 911763571 167878656 38509 4294967295 134512640 134716908 3221224560 3221222476 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40986 38509 1111 63 0 40923 0
vsize: 163944
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 295464 0 0 0 37099 905 0 0 25 0 1 0 911763571 170774528 39212 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41693 39212 1111 63 0 41630 0
vsize: 166772
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 303974 0 0 0 38074 930 0 0 25 0 1 0 911763571 173895680 39988 4294967295 134512640 134716908 3221224560 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42455 39988 1111 63 0 42392 0
vsize: 169820
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 312651 0 0 0 39046 958 0 0 25 0 1 0 911763571 176828416 40709 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43171 40709 1111 63 0 43108 0
vsize: 172684
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 320075 0 0 0 40023 981 0 0 25 0 1 0 911763571 179552256 41406 4294967295 134512640 134716908 3221224560 3221222496 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43836 41406 1111 63 0 43773 0
vsize: 175344
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 328739 0 0 0 40997 1007 0 0 25 0 1 0 911763571 183173120 42273 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44720 42273 1111 63 0 44657 0
vsize: 178880
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 337282 0 0 0 41974 1031 0 0 25 0 1 0 911763571 185974784 42994 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45404 42994 1111 63 0 45341 0
vsize: 181616
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 345218 0 0 0 42951 1054 0 0 25 0 1 0 911763571 189374464 43785 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46234 43785 1111 63 0 46171 0
vsize: 184936
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 352543 0 0 0 43929 1076 0 0 25 0 1 0 911763571 192311296 44584 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46951 44584 1111 63 0 46888 0
vsize: 187804
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 360898 0 0 0 44903 1102 0 0 25 0 1 0 911763571 196595712 45550 4294967295 134512640 134716908 3221224560 3221223328 134624490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47997 45550 1111 63 0 47934 0
vsize: 191988
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 369404 0 0 0 45879 1126 0 0 25 0 1 0 911763571 200257536 46495 4294967295 134512640 134716908 3221224560 3221223024 1074119510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48891 46495 1111 63 0 48828 0
vsize: 195564
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 377882 0 0 0 46854 1152 0 0 25 0 1 0 911763571 203821056 47374 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49761 47374 1111 63 0 49698 0
vsize: 199044
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 385248 0 0 0 47834 1171 0 0 25 0 1 0 911763571 206897152 48161 4294967295 134512640 134716908 3221224560 3221222840 1074138324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50512 48161 1111 63 0 50449 0
vsize: 202048
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 393853 0 0 0 48811 1194 0 0 25 0 1 0 911763571 210624512 49114 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51422 49114 1111 63 0 51359 0
vsize: 205688
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 402484 0 0 0 49786 1220 0 0 25 0 1 0 911763571 214261760 50000 4294967295 134512640 134716908 3221224560 3221223176 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52310 50000 1111 63 0 52247 0
vsize: 209240
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 407728 0 0 0 50771 1236 0 0 25 0 1 0 911763571 217563136 50823 4294967295 134512640 134716908 3221224560 3221222800 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53116 50823 1111 63 0 53053 0
vsize: 212464
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 408534 0 0 0 51769 1238 0 0 25 0 1 0 911763571 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 52763 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223296 134622763 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 53764 1243 0 0 25 0 1 0 911763571 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+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 54764 1243 0 0 25 0 1 0 911763571 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+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 55764 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543187 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 56764 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223352 134542412 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 57764 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223276 134558476 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 58764 1243 0 0 25 0 1 0 911763571 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+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 59765 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223364 134622283 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 410952 0 0 0 60765 1243 0 0 25 0 1 0 911763571 217853952 50932 4294967295 134512640 134716908 3221224560 3221223364 134622283 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 411140 0 0 0 61763 1245 0 0 25 0 1 0 911763571 217669632 50887 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53142 50887 1111 63 0 53079 0
vsize: 212568
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 411868 0 0 0 62761 1248 0 0 25 0 1 0 911763571 219701248 51375 4294967295 134512640 134716908 3221224560 3221222560 1074918583 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 425364 0 0 0 63730 1279 0 0 25 0 1 0 911763571 218472448 51083 4294967295 134512640 134716908 3221224560 3221222464 1075460132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53338 51083 1111 63 0 53275 0
vsize: 213352
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 440084 0 0 0 64695 1314 0 0 25 0 1 0 911763571 223510528 51833 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54568 51844 1111 63 0 54505 0
vsize: 218272
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 457465 0 0 0 65655 1355 0 0 25 0 1 0 911763571 225333248 52763 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55013 52763 1111 63 0 54950 0
vsize: 220052
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 474847 0 0 0 66615 1395 0 0 25 0 1 0 911763571 229339136 53668 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55991 53668 1111 63 0 55928 0
vsize: 223964
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 492183 0 0 0 67573 1436 0 0 25 0 1 0 911763571 233246720 54537 4294967295 134512640 134716908 3221224560 3221222480 1074057929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56945 54537 1111 63 0 56882 0
vsize: 227780
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 508997 0 0 0 68531 1479 0 0 25 0 1 0 911763571 237015040 55477 4294967295 134512640 134716908 3221224560 3221223296 134622759 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 524111 0 0 0 69497 1513 0 0 25 0 1 0 911763571 240070656 56195 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58611 56195 1111 63 0 58548 0
vsize: 234444
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 541229 0 0 0 70455 1555 0 0 25 0 1 0 911763571 245768192 57134 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60002 57139 1111 63 0 59939 0
vsize: 240008
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556486 0 0 0 71416 1594 0 0 25 0 1 0 911763571 247619584 58040 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60454 58040 1111 63 0 60391 0
vsize: 241816
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556665 0 0 0 72414 1597 0 0 25 0 1 0 911763571 248037376 58167 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60556 58167 1111 63 0 60493 0
vsize: 242224
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556753 0 0 0 73413 1598 0 0 25 0 1 0 911763571 248463360 58255 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60660 58255 1111 63 0 60597 0
vsize: 242640
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556821 0 0 0 74412 1599 0 0 25 0 1 0 911763571 248807424 58323 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60744 58323 1111 63 0 60681 0
vsize: 242976
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556891 0 0 0 75411 1600 0 0 25 0 1 0 911763571 248987648 58393 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60788 58393 1111 63 0 60725 0
vsize: 243152
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 556928 0 0 0 76411 1601 0 0 25 0 1 0 911763571 249139200 58430 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60825 58430 1111 63 0 60762 0
vsize: 243300
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 558329 0 0 0 77408 1604 0 0 25 0 1 0 911763571 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+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 558329 0 0 0 78408 1604 0 0 25 0 1 0 911763571 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918599 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 558329 0 0 0 79408 1604 0 0 25 0 1 0 911763571 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+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 80399 1613 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223276 134543192 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 81399 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622763 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 82399 1614 0 0 25 0 1 0 911763571 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+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 83399 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134558485 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 84399 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223364 134622499 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 85400 1614 0 0 25 0 1 0 911763571 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+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 86400 1614 0 0 25 0 1 0 911763571 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+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 87400 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543191 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 88400 1614 0 0 25 0 1 0 911763571 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+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 89400 1614 0 0 25 0 1 0 911763571 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+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 90400 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134558477 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 91401 1614 0 0 25 0 1 0 911763571 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+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 92401 1614 0 0 25 0 1 0 911763571 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+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 93401 1614 0 0 25 0 1 0 911763571 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+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 94401 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223352 134558485 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562698 0 0 0 95402 1614 0 0 25 0 1 0 911763571 249245696 58462 4294967295 134512640 134716908 3221224560 3221223340 134542400 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 562765 0 0 0 96402 1614 0 0 25 0 1 0 911763571 247791616 58107 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60496 58107 1111 63 0 60433 0
vsize: 241984
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 563543 0 0 0 97399 1617 0 0 25 0 1 0 911763571 250105856 58664 4294967295 134512640 134716908 3221224560 3221222560 1074918576 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 565880 0 0 0 98394 1623 0 0 25 0 1 0 911763571 247517184 58040 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60429 58040 1111 63 0 60366 0
vsize: 241716
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 583051 0 0 0 99355 1662 0 0 25 0 1 0 911763571 253218816 58769 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61821 58769 1111 63 0 61758 0
vsize: 247284
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 597581 0 0 0 100320 1697 0 0 25 0 1 0 911763571 253616128 59516 4294967295 134512640 134716908 3221224560 3221223104 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61918 59516 1111 63 0 61855 0
vsize: 247672
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 614818 0 0 0 101276 1740 0 0 25 0 1 0 911763571 258080768 60610 4294967295 134512640 134716908 3221224560 3221221664 1074138617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63008 60610 1111 63 0 62945 0
vsize: 252032
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 631860 0 0 0 102231 1784 0 0 25 0 1 0 911763571 261357568 61460 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63808 61460 1111 63 0 63745 0
vsize: 255232
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 637870 0 0 0 103215 1800 0 0 25 0 1 0 911763571 263069696 61882 4294967295 134512640 134716908 3221224560 3221223272 134543176 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 637870 0 0 0 104215 1800 0 0 25 0 1 0 911763571 263069696 61882 4294967295 134512640 134716908 3221224560 3221223296 134622759 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 643778 0 0 0 105201 1814 0 0 25 0 1 0 911763571 263360512 61952 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64297 61952 1111 63 0 64234 0
vsize: 257188
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 660979 0 0 0 106158 1857 0 0 25 0 1 0 911763571 266428416 62702 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65046 62702 1111 63 0 64983 0
vsize: 260184
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 666326 0 0 0 107145 1870 0 0 25 0 1 0 911763571 267931648 63122 4294967295 134512640 134716908 3221224560 3221223376 134622484 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 666326 0 0 0 108145 1871 0 0 25 0 1 0 911763571 267931648 63122 4294967295 134512640 134716908 3221224560 3221223272 134543176 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 670877 0 0 0 109134 1882 0 0 25 0 1 0 911763571 268156928 63147 4294967295 134512640 134716908 3221224560 3221222384 1075824332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65468 63147 1111 63 0 65405 0
vsize: 261872
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 688113 0 0 0 110090 1926 0 0 25 0 1 0 911763571 271441920 63969 4294967295 134512640 134716908 3221224560 3221222520 1074138268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66270 63969 1111 63 0 66207 0
vsize: 265080
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 700506 0 0 0 111061 1956 0 0 25 0 1 0 911763571 274001920 64639 4294967295 134512640 134716908 3221224560 3221223276 134558476 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 715725 0 0 0 112025 1992 0 0 25 0 1 0 911763571 275865600 65098 4294967295 134512640 134716908 3221224560 3221222988 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 730325 0 0 0 112991 2026 0 0 25 0 1 0 911763571 278200320 65682 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67920 65682 1111 63 0 67857 0
vsize: 271680
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 748111 0 0 0 113949 2068 0 0 25 0 1 0 911763571 281313280 66456 4294967295 134512640 134716908 3221224560 3221222560 1074918771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68680 66456 1111 63 0 68617 0
vsize: 274720
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 763103 0 0 0 114913 2104 0 0 25 0 1 0 911763571 284143616 67160 4294967295 134512640 134716908 3221224560 3221222700 1077404830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69371 67160 1111 63 0 69308 0
vsize: 277484
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 18518
Raw data (stat): 18518 (bsolo_lpr_cuts-) R 18517 21152 21151 0 -1 0 763103 0 0 0 114913 2104 0 0 25 0 1 0 911763571 284143616 67160 4294967295 134512640 134716908 3221224560 3221222700 1077404830 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69371 67160 1111 63 0 69308 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.14
CPU user time (s): 1153.8
CPU system time (s): 21.3478
CPU usage (%): 100.012
Max. virtual memory (Kb): 277484
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####