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/miplib2003/normalized-mps-v2-13-7-aflow40b.opb
MD5SUM	7872170cf5be0e3f0e6be125266c16ee
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	879673
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	19292
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	980
Trace number 41492

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 13:51:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29556 boxname=wulflinc3 idbench=1340 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  7872170cf5be0e3f0e6be125266c16ee  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-aflow40b.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-aflow40b.opb
IDLAUNCH: 29556
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        898856 kB
Buffers:         13168 kB
Cached:         102468 kB
SwapCached:        712 kB
Active:          34468 kB
Inactive:        83128 kB
HighTotal:      131008 kB
HighFree:        43428 kB
LowTotal:       903652 kB
LowFree:        855428 kB
SwapTotal:     2097136 kB
SwapFree:      2095352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12536 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:11:25 (client local time) WITH STATUS 0 IN 1175.29 SECONDS
stats: 29556 7 1175.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 19292 variables and 2884 constraints.
c After prepocess the problem consists of 19252 variables and 2858 constraints.
c preprocess terminated 401.098 s
c Initial Lower Bound: 1006
c Lower Bound Elapsed time: 13.448
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 11206
Raw data (stat): 11206 (runsolver) R 11205 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910768312 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.95 0.90 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 32989 0 0 0 923 74 0 0 25 0 1 0 910768312 138993664 32903 4294967295 134512640 134716908 3221224560 3221223088 134554857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33934 32903 1111 63 0 33871 0
vsize: 135736
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 53607 0 0 0 1872 124 0 0 25 0 1 0 910768312 155512832 36984 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37967 36984 1111 63 0 37904 0
vsize: 151868
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 200457 0 0 0 2511 485 0 0 25 0 1 0 910768312 162013184 38576 4294967295 134512640 134716908 3221224560 3221223088 134535477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39554 38576 1111 63 0 39491 0
vsize: 158216
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 262617 0 0 0 3358 637 0 0 25 0 1 0 910768312 168431616 40156 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41121 40156 1111 63 0 41058 0
vsize: 164484
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 297540 0 0 0 4270 726 0 0 25 0 1 0 910768312 175767552 41934 4294967295 134512640 134716908 3221224560 3221222952 1077378283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42912 41934 1111 63 0 42849 0
vsize: 171648
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 321381 0 0 0 5212 784 0 0 25 0 1 0 910768312 182099968 43493 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44458 43493 1111 63 0 44395 0
vsize: 177832
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 384469 0 0 0 6056 940 0 0 25 0 1 0 910768312 189046784 45157 4294967295 134512640 134716908 3221224560 3221222948 1077374469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46154 45157 1111 63 0 46091 0
vsize: 184616
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 425733 0 0 0 6955 1042 0 0 25 0 1 0 910768312 194449408 46495 4294967295 134512640 134716908 3221224560 3221223296 134618451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47473 46495 1111 63 0 47410 0
vsize: 189892
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 469156 0 0 0 7847 1149 0 0 25 0 1 0 910768312 198156288 47413 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48378 47413 1111 63 0 48315 0
vsize: 193512
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 477758 0 0 0 8829 1168 0 0 25 0 1 0 910768312 210829312 50507 4294967295 134512640 134716908 3221224560 3221222944 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51472 50507 1111 63 0 51409 0
vsize: 205888
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 483475 0 0 0 9817 1180 0 0 25 0 1 0 910768312 230465536 55288 4294967295 134512640 134716908 3221224560 3221223020 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56266 55288 1111 63 0 56203 0
vsize: 225064
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 489045 0 0 0 10805 1193 0 0 25 0 1 0 910768312 249991168 60051 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61033 60051 1111 63 0 60970 0
vsize: 244132
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 495420 0 0 0 11792 1205 0 0 25 0 1 0 910768312 272613376 65559 4294967295 134512640 134716908 3221224560 3221223272 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66556 65559 1111 63 0 66493 0
vsize: 266224
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 502545 0 0 0 12777 1221 0 0 25 0 1 0 910768312 291246080 70110 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71105 70110 1111 63 0 71042 0
vsize: 284420
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 508539 0 0 0 13765 1232 0 0 25 0 1 0 910768312 310153216 74756 4294967295 134512640 134716908 3221224560 3221223288 134625602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75721 74756 1111 63 0 75658 0
vsize: 302884
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 514574 0 0 0 14753 1245 0 0 25 0 1 0 910768312 329609216 79498 4294967295 134512640 134716908 3221224560 3221223176 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80471 79498 1111 63 0 80408 0
vsize: 321884
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 520085 0 0 0 15742 1257 0 0 25 0 1 0 910768312 347340800 83803 4294967295 134512640 134716908 3221224560 3221223040 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84800 83803 1111 63 0 84737 0
vsize: 339200
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 525181 0 0 0 16732 1267 0 0 25 0 1 0 910768312 363323392 87733 4294967295 134512640 134716908 3221224560 3221223104 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88702 87733 1111 63 0 88639 0
vsize: 354808
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 529456 0 0 0 17724 1275 0 0 25 0 1 0 910768312 378843136 91526 4294967295 134512640 134716908 3221224560 3221222944 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92491 91526 1111 63 0 92428 0
vsize: 369964
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 534694 0 0 0 18713 1286 0 0 25 0 1 0 910768312 393707520 95123 4294967295 134512640 134716908 3221224560 3221223068 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96120 95123 1111 63 0 96057 0
vsize: 384480
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 539530 0 0 0 19703 1296 0 0 25 0 1 0 910768312 410030080 99108 4294967295 134512640 134716908 3221224560 3221223296 134625527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100105 99108 1111 63 0 100042 0
vsize: 400420
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 543900 0 0 0 20694 1306 0 0 25 0 1 0 910768312 423120896 102336 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103301 102336 1111 63 0 103238 0
vsize: 413204
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 548299 0 0 0 21685 1314 0 0 25 0 1 0 910768312 437088256 105736 4294967295 134512640 134716908 3221224560 3221222944 134542344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106711 105736 1111 63 0 106648 0
vsize: 426844
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 552642 0 0 0 22677 1322 0 0 25 0 1 0 910768312 449478656 108739 4294967295 134512640 134716908 3221224560 3221223296 134625459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109736 108739 1111 63 0 109673 0
vsize: 438944
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 557071 0 0 0 23668 1332 0 0 25 0 1 0 910768312 463065088 112056 4294967295 134512640 134716908 3221224560 3221223040 134539422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113053 112056 1111 63 0 112990 0
vsize: 452212
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 560582 0 0 0 24660 1340 0 0 25 0 1 0 910768312 473579520 114642 4294967295 134512640 134716908 3221224560 3221223052 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115620 114642 1111 63 0 115557 0
vsize: 462480
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 564025 0 0 0 25652 1348 0 0 25 0 1 0 910768312 482791424 116878 4294967295 134512640 134716908 3221224560 3221223024 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117869 116878 1111 63 0 117806 0
vsize: 471476
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 567538 0 0 0 26646 1354 0 0 25 0 1 0 910768312 491524096 119023 4294967295 134512640 134716908 3221224560 3221222976 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120001 119023 1111 63 0 119938 0
vsize: 480004
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 570427 0 0 0 27640 1361 0 0 25 0 1 0 910768312 498573312 120729 4294967295 134512640 134716908 3221224560 3221223088 134528538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121722 120729 1111 63 0 121659 0
vsize: 486888
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 572786 0 0 0 28637 1364 0 0 25 0 1 0 910768312 503836672 122042 4294967295 134512640 134716908 3221224560 3221222984 134542663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123007 122042 1111 63 0 122944 0
vsize: 492028
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573820 0 0 0 29635 1366 0 0 25 0 1 0 910768312 505221120 122363 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122363 1111 63 0 123282 0
vsize: 493380
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573821 0 0 0 30635 1366 0 0 25 0 1 0 910768312 505221120 122364 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122364 1111 63 0 123282 0
vsize: 493380
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573822 0 0 0 31635 1366 0 0 25 0 1 0 910768312 505221120 122365 4294967295 134512640 134716908 3221224560 3221223212 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122365 1111 63 0 123282 0
vsize: 493380
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573822 0 0 0 32636 1366 0 0 25 0 1 0 910768312 505221120 122365 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122365 1111 63 0 123282 0
vsize: 493380
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573823 0 0 0 33636 1366 0 0 25 0 1 0 910768312 505221120 122366 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122366 1111 63 0 123282 0
vsize: 493380
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573823 0 0 0 34636 1366 0 0 25 0 1 0 910768312 505221120 122366 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122366 1111 63 0 123282 0
vsize: 493380
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573823 0 0 0 35636 1366 0 0 25 0 1 0 910768312 505221120 122366 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122366 1111 63 0 123282 0
vsize: 493380
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573824 0 0 0 36636 1366 0 0 25 0 1 0 910768312 505221120 122367 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122367 1111 63 0 123282 0
vsize: 493380
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573824 0 0 0 37637 1366 0 0 25 0 1 0 910768312 505221120 122367 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123345 122367 1111 63 0 123282 0
vsize: 493380
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 573961 0 0 0 38637 1366 0 0 25 0 1 0 910768312 505794560 122504 4294967295 134512640 134716908 3221224560 3221222856 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123485 122504 1111 63 0 123422 0
vsize: 493940
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 576210 0 0 0 39630 1372 0 0 25 0 1 0 910768312 514293760 124576 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125560 124576 1111 63 0 125497 0
vsize: 502240
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 576468 0 0 0 40629 1374 0 0 25 0 1 0 910768312 514752512 124689 4294967295 134512640 134716908 3221224560 3221222720 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125672 124689 1111 63 0 125609 0
vsize: 502688
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 580230 0 0 0 41621 1382 0 0 25 0 1 0 910768312 523837440 126794 4294967295 134512640 134716908 3221224560 3221220684 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127890 126794 1111 63 0 127827 0
vsize: 511560
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 592244 0 0 0 42596 1407 0 0 25 0 1 0 910768312 518828032 125812 4294967295 134512640 134716908 3221224560 3221222616 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126667 125812 1111 63 0 126604 0
vsize: 506668
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 606002 0 0 0 43569 1434 0 0 25 0 1 0 910768312 527212544 127537 4294967295 134512640 134716908 3221224560 3221220368 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128714 127537 1111 63 0 128651 0
vsize: 514856
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 608998 0 0 0 44561 1442 0 0 25 0 1 0 910768312 518369280 125700 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125700 1111 63 0 126492 0
vsize: 506220
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 608998 0 0 0 45561 1442 0 0 25 0 1 0 910768312 518369280 125700 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125700 1111 63 0 126492 0
vsize: 506220
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609000 0 0 0 46561 1442 0 0 25 0 1 0 910768312 518369280 125702 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125702 1111 63 0 126492 0
vsize: 506220
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11206
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609000 0 0 0 47561 1442 0 0 25 0 1 0 910768312 518369280 125702 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125702 1111 63 0 126492 0
vsize: 506220
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609002 0 0 0 48561 1443 0 0 25 0 1 0 910768312 518369280 125704 4294967295 134512640 134716908 3221224560 3221223336 134613531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125704 1111 63 0 126492 0
vsize: 506220
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609002 0 0 0 49561 1443 0 0 25 0 1 0 910768312 518369280 125704 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125704 1111 63 0 126492 0
vsize: 506220
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609004 0 0 0 50561 1443 0 0 25 0 1 0 910768312 518369280 125706 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125706 1111 63 0 126492 0
vsize: 506220
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609006 0 0 0 51561 1443 0 0 25 0 1 0 910768312 518369280 125708 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125708 1111 63 0 126492 0
vsize: 506220
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609006 0 0 0 52561 1444 0 0 25 0 1 0 910768312 518369280 125708 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125708 1111 63 0 126492 0
vsize: 506220
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609008 0 0 0 53560 1444 0 0 25 0 1 0 910768312 518369280 125710 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125710 1111 63 0 126492 0
vsize: 506220
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11259
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609010 0 0 0 54561 1444 0 0 25 0 1 0 910768312 518369280 125712 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125712 1111 63 0 126492 0
vsize: 506220
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609012 0 0 0 55561 1444 0 0 25 0 1 0 910768312 518369280 125714 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125714 1111 63 0 126492 0
vsize: 506220
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609012 0 0 0 56560 1445 0 0 25 0 1 0 910768312 518369280 125714 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125714 1111 63 0 126492 0
vsize: 506220
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609014 0 0 0 57560 1445 0 0 25 0 1 0 910768312 518369280 125716 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125716 1111 63 0 126492 0
vsize: 506220
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609016 0 0 0 58560 1445 0 0 25 0 1 0 910768312 518369280 125718 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125718 1111 63 0 126492 0
vsize: 506220
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609018 0 0 0 59560 1446 0 0 25 0 1 0 910768312 518369280 125720 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125720 1111 63 0 126492 0
vsize: 506220
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609022 0 0 0 60560 1446 0 0 25 0 1 0 910768312 518369280 125724 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125724 1111 63 0 126492 0
vsize: 506220
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609024 0 0 0 61559 1446 0 0 25 0 1 0 910768312 518369280 125726 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125726 1111 63 0 126492 0
vsize: 506220
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609031 0 0 0 62559 1447 0 0 25 0 1 0 910768312 518369280 125733 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125733 1111 63 0 126492 0
vsize: 506220
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609031 0 0 0 63559 1448 0 0 25 0 1 0 910768312 518369280 125733 4294967295 134512640 134716908 3221224560 3221223152 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126555 125733 1111 63 0 126492 0
vsize: 506220
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609096 0 0 0 64558 1448 0 0 25 0 1 0 910768312 518639616 125798 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126621 125798 1111 63 0 126558 0
vsize: 506484
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609431 0 0 0 65557 1450 0 0 25 0 1 0 910768312 520126464 126133 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126984 126133 1111 63 0 126921 0
vsize: 507936
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609474 0 0 0 66557 1450 0 0 25 0 1 0 910768312 520261632 126176 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127017 126176 1111 63 0 126954 0
vsize: 508068
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609840 0 0 0 67555 1452 0 0 25 0 1 0 910768312 521748480 126542 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127380 126542 1111 63 0 127317 0
vsize: 509520
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 609979 0 0 0 68554 1454 0 0 25 0 1 0 910768312 522289152 126681 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127512 126681 1111 63 0 127449 0
vsize: 510048
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610049 0 0 0 69553 1454 0 0 25 0 1 0 910768312 522543104 126751 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127574 126751 1111 63 0 127511 0
vsize: 510296
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610049 0 0 0 70552 1455 0 0 25 0 1 0 910768312 522543104 126751 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127574 126751 1111 63 0 127511 0
vsize: 510296
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610049 0 0 0 71552 1456 0 0 25 0 1 0 910768312 522543104 126751 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127574 126751 1111 63 0 127511 0
vsize: 510296
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610049 0 0 0 72551 1457 0 0 25 0 1 0 910768312 522543104 126751 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127574 126751 1111 63 0 127511 0
vsize: 510296
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610097 0 0 0 73551 1457 0 0 25 0 1 0 910768312 522813440 126799 4294967295 134512640 134716908 3221224560 3221223148 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127640 126799 1111 63 0 127577 0
vsize: 510560
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610190 0 0 0 74551 1458 0 0 25 0 1 0 910768312 523218944 126892 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127739 126892 1111 63 0 127676 0
vsize: 510956
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610286 0 0 0 75550 1459 0 0 25 0 1 0 910768312 523636736 126988 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127841 126988 1111 63 0 127778 0
vsize: 511364
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610326 0 0 0 76549 1460 0 0 25 0 1 0 910768312 523771904 127028 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127874 127028 1111 63 0 127811 0
vsize: 511496
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610345 0 0 0 77549 1460 0 0 25 0 1 0 910768312 523771904 127047 4294967295 134512640 134716908 3221224560 3221223360 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127874 127047 1111 63 0 127811 0
vsize: 511496
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610391 0 0 0 78548 1461 0 0 25 0 1 0 910768312 524042240 127093 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127940 127093 1111 63 0 127877 0
vsize: 511760
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11261
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610402 0 0 0 79547 1462 0 0 25 0 1 0 910768312 524042240 127104 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127940 127104 1111 63 0 127877 0
vsize: 511760
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610413 0 0 0 80547 1462 0 0 25 0 1 0 910768312 524042240 127115 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127940 127115 1111 63 0 127877 0
vsize: 511760
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610413 0 0 0 81547 1463 0 0 25 0 1 0 910768312 524042240 127115 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127940 127115 1111 63 0 127877 0
vsize: 511760
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610413 0 0 0 82546 1464 0 0 25 0 1 0 910768312 524042240 127115 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127940 127115 1111 63 0 127877 0
vsize: 511760
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610413 0 0 0 83545 1465 0 0 25 0 1 0 910768312 523882496 127079 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127901 127079 1111 63 0 127838 0
vsize: 511604
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610413 0 0 0 84545 1466 0 0 25 0 1 0 910768312 523882496 127079 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127901 127079 1111 63 0 127838 0
vsize: 511604
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610725 0 0 0 85543 1467 0 0 25 0 1 0 910768312 525234176 127391 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128231 127391 1111 63 0 128168 0
vsize: 512924
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 86543 1468 0 0 25 0 1 0 910768312 525369344 127435 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128264 127435 1111 63 0 128201 0
vsize: 513056
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 87542 1469 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 88541 1470 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+910.027 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 89540 1471 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+920.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 90540 1472 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+930.027 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 91539 1473 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+940.027 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 92538 1474 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+950.026 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 93537 1474 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+960.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 94537 1475 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+970.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 95535 1477 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+980.028 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 96534 1478 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+990.031 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 610769 0 0 0 97534 1479 0 0 25 0 1 0 910768312 525258752 127415 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128237 127415 1111 63 0 128174 0
vsize: 512948
[startup+1000.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 98533 1480 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1010.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 99533 1480 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 100533 1481 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 101533 1481 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 102532 1482 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 103532 1482 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 104531 1483 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 105531 1483 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223212 134539582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 106531 1483 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 107531 1484 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 108531 1484 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 109531 1484 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223392 134551444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 110531 1484 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 111531 1484 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 112531 1485 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 113531 1485 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 114530 1486 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 115530 1486 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 514104
[startup+1175.15 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11263
Raw data (stat): 11206 (bsolo_lpr_cuts-) R 11205 20224 20223 0 -1 0 611066 0 0 0 115530 1486 0 0 25 0 1 0 910768312 526442496 127703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128526 127703 1111 63 0 128463 0
vsize: 0

Child status: 0
Real time (s): 1175.15
CPU time (s): 1175.29
CPU user time (s): 1160.19
CPU system time (s): 15.1027
CPU usage (%): 100.012
Max. virtual memory (Kb): 514856
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####