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-fiber.opb
MD5SUM	d1d488615de0d5a5bcf2a298507e66b1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.9232
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 41508

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 14:13:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29565 boxname=wulflinc2 idbench=1349 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d1d488615de0d5a5bcf2a298507e66b1  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 29565
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        812008 kB
Buffers:         22528 kB
Cached:         179448 kB
SwapCached:       1480 kB
Active:          27496 kB
Inactive:       176528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        811756 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            12852 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:33:14 (client local time) WITH STATUS 0 IN 1192.84 SECONDS
stats: 29565 7 1192.84 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.133 s
c Initial Lower Bound: 19367463
c Lower Bound Elapsed time: 0.2457
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1192.81 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.92 0.97 0.91 2/54 29452
Raw data (stat): 29452 (runsolver) R 29451 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910909844 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 12616 0 0 0 968 29 0 0 25 0 1 0 910909844 42659840 9719 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10415 9719 1111 63 0 10352 0
vsize: 41660
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 15409 0 0 0 1961 36 0 0 25 0 1 0 910909844 42659840 9719 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10415 9719 1111 63 0 10352 0
vsize: 41660
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 19179 0 0 0 2950 47 0 0 25 0 1 0 910909844 43282432 9850 4294967295 134512640 134716908 3221224560 3221223040 1074031958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10567 9850 1111 63 0 10504 0
vsize: 42268
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 22474 0 0 0 3942 55 0 0 25 0 1 0 910909844 43225088 9861 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10553 9861 1111 63 0 10490 0
vsize: 42212
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 27223 0 0 0 4930 67 0 0 25 0 1 0 910909844 44044288 10041 4294967295 134512640 134716908 3221224560 3221222024 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10753 10041 1111 63 0 10690 0
vsize: 43012
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 33274 0 0 0 5916 81 0 0 25 0 1 0 910909844 44601344 10198 4294967295 134512640 134716908 3221224560 3221222560 1074918526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10889 10198 1111 63 0 10826 0
vsize: 43556
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 38321 0 0 0 6905 93 0 0 25 0 1 0 910909844 45600768 10406 4294967295 134512640 134716908 3221224560 3221220764 1075564316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11133 10406 1111 63 0 11070 0
vsize: 44532
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 41534 0 0 0 7896 102 0 0 25 0 1 0 910909844 44707840 10224 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10915 10224 1111 63 0 10852 0
vsize: 43660
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 46346 0 0 0 8885 113 0 0 25 0 1 0 910909844 45084672 10316 4294967295 134512640 134716908 3221224560 3221222416 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11007 10316 1111 63 0 10944 0
vsize: 44028
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 50893 0 0 0 9874 124 0 0 25 0 1 0 910909844 46817280 10698 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11430 10698 1111 63 0 11367 0
vsize: 45720
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 53878 0 0 0 10866 132 0 0 25 0 1 0 910909844 45367296 10385 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11076 10385 1111 63 0 11013 0
vsize: 44304
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 57053 0 0 0 11859 140 0 0 25 0 1 0 910909844 46931968 10716 4294967295 134512640 134716908 3221224560 3221220832 1074960795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11458 10716 1111 63 0 11395 0
vsize: 45832
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 59473 0 0 0 12852 146 0 0 25 0 1 0 910909844 46112768 10565 4294967295 134512640 134716908 3221224560 3221222560 1074916773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11258 10565 1111 63 0 11195 0
vsize: 45032
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 63258 0 0 0 13842 157 0 0 25 0 1 0 910909844 46927872 10709 4294967295 134512640 134716908 3221224560 3221220832 1074960868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11457 10709 1111 63 0 11394 0
vsize: 45828
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 66385 0 0 0 14833 166 0 0 25 0 1 0 910909844 45363200 10384 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11075 10384 1111 63 0 11012 0
vsize: 44300
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 69718 0 0 0 15824 175 0 0 25 0 1 0 910909844 47063040 10732 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11490 10732 1111 63 0 11427 0
vsize: 45960
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 72131 0 0 0 16819 180 0 0 25 0 1 0 910909844 45862912 10477 4294967295 134512640 134716908 3221224560 3221222556 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11197 10477 1111 63 0 11134 0
vsize: 44788
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 76663 0 0 0 17807 192 0 0 25 0 1 0 910909844 47120384 10745 4294967295 134512640 134716908 3221224560 3221220592 1075965272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11504 10745 1111 63 0 11441 0
vsize: 46016
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 79339 0 0 0 18801 199 0 0 25 0 1 0 910909844 45981696 10499 4294967295 134512640 134716908 3221224560 3221222712 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11226 10499 1111 63 0 11163 0
vsize: 44904
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 84206 0 0 0 19790 209 0 0 25 0 1 0 910909844 45133824 10328 4294967295 134512640 134716908 3221224560 3221220992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11019 10328 1111 63 0 10956 0
vsize: 44076
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 86884 0 0 0 20784 216 0 0 25 0 1 0 910909844 45838336 10473 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11191 10473 1111 63 0 11128 0
vsize: 44764
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 90776 0 0 0 21774 226 0 0 25 0 1 0 910909844 47296512 10768 4294967295 134512640 134716908 3221224560 3221220604 1074873565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 10768 1111 63 0 11484 0
vsize: 46188
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 94791 0 0 0 22764 236 0 0 25 0 1 0 910909844 47407104 10832 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11574 10832 1111 63 0 11511 0
vsize: 46296
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 97530 0 0 0 23756 244 0 0 25 0 1 0 910909844 47333376 10842 4294967295 134512640 134716908 3221224560 3221220532 1074786540 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11556 10842 1111 63 0 11493 0
vsize: 46224
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 101552 0 0 0 24747 254 0 0 25 0 1 0 910909844 47353856 10850 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11561 10850 1111 63 0 11498 0
vsize: 46244
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 105574 0 0 0 25737 263 0 0 25 0 1 0 910909844 47390720 10837 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11570 10837 1111 63 0 11507 0
vsize: 46280
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 109621 0 0 0 26727 273 0 0 25 0 1 0 910909844 47611904 10898 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11624 10898 1111 63 0 11561 0
vsize: 46496
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 112965 0 0 0 27718 282 0 0 25 0 1 0 910909844 46370816 10615 4294967295 134512640 134716908 3221224560 3221223008 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 10615 1111 63 0 11258 0
vsize: 45284
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 116192 0 0 0 28712 288 0 0 25 0 1 0 910909844 46907392 10767 4294967295 134512640 134716908 3221224560 3221222560 1074916715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11452 10767 1111 63 0 11389 0
vsize: 45808
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 119422 0 0 0 29706 295 0 0 25 0 1 0 910909844 47722496 10938 4294967295 134512640 134716908 3221224560 3221221632 1074867344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11651 10938 1111 63 0 11588 0
vsize: 46604
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 122291 0 0 0 30699 302 0 0 25 0 1 0 910909844 47685632 10924 4294967295 134512640 134716908 3221224560 3221220736 1074882614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11642 10924 1111 63 0 11579 0
vsize: 46568
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 129480 0 0 0 31683 318 0 0 25 0 1 0 910909844 48177152 11036 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11762 11036 1111 63 0 11699 0
vsize: 47048
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 135779 0 0 0 32670 332 0 0 25 0 1 0 910909844 48345088 11104 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11803 11104 1111 63 0 11740 0
vsize: 47212
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 139159 0 0 0 33661 340 0 0 25 0 1 0 910909844 46948352 10673 4294967295 134512640 134716908 3221224560 3221222128 1075972440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11462 10678 1111 63 0 11399 0
vsize: 45848
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 142096 0 0 0 34655 347 0 0 25 0 1 0 910909844 47054848 10742 4294967295 134512640 134716908 3221224560 3221222860 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11488 10742 1111 63 0 11425 0
vsize: 45952
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 145622 0 0 0 35647 355 0 0 25 0 1 0 910909844 48259072 11082 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11782 11082 1111 63 0 11719 0
vsize: 47128
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 150663 0 0 0 36634 368 0 0 25 0 1 0 910909844 46542848 10678 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11363 10678 1111 63 0 11300 0
vsize: 45452
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 154430 0 0 0 37626 377 0 0 25 0 1 0 910909844 48336896 11086 4294967295 134512640 134716908 3221224560 3221220892 1075113125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11801 11086 1111 63 0 11738 0
vsize: 47204
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 160689 0 0 0 38610 392 0 0 25 0 1 0 910909844 48472064 11083 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11834 11083 1111 63 0 11771 0
vsize: 47336
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 163857 0 0 0 39604 399 0 0 25 0 1 0 910909844 48480256 11088 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11836 11088 1111 63 0 11773 0
vsize: 47344
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 167130 0 0 0 40596 407 0 0 25 0 1 0 910909844 48648192 11149 4294967295 134512640 134716908 3221224560 3221220720 1075091205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11877 11149 1111 63 0 11814 0
vsize: 47508
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 169495 0 0 0 41591 412 0 0 25 0 1 0 910909844 47259648 10804 4294967295 134512640 134716908 3221224560 3221222880 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11538 10804 1111 63 0 11475 0
vsize: 46152
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 176065 0 0 0 42578 426 0 0 25 0 1 0 910909844 47484928 10847 4294967295 134512640 134716908 3221224560 3221222864 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11593 10847 1111 63 0 11530 0
vsize: 46372
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 181130 0 0 0 43566 438 0 0 25 0 1 0 910909844 47665152 10893 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11637 10893 1111 63 0 11574 0
vsize: 46548
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 187713 0 0 0 44552 452 0 0 25 0 1 0 910909844 47448064 10899 4294967295 134512640 134716908 3221224560 3221222288 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11584 10899 1111 63 0 11521 0
vsize: 46336
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 190542 0 0 0 45544 460 0 0 25 0 1 0 910909844 47652864 10949 4294967295 134512640 134716908 3221224560 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11634 10949 1111 63 0 11571 0
vsize: 46536
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 192715 0 0 0 46541 463 0 0 25 0 1 0 910909844 49205248 11311 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12013 11311 1111 63 0 11950 0
vsize: 48052
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 197153 0 0 0 47531 473 0 0 25 0 1 0 910909844 49659904 11284 4294967295 134512640 134716908 3221224560 3221220800 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12124 11284 1111 63 0 12061 0
vsize: 48496
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 200262 0 0 0 48524 480 0 0 25 0 1 0 910909844 49688576 11322 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12131 11322 1111 63 0 12068 0
vsize: 48524
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 203520 0 0 0 49517 488 0 0 25 0 1 0 910909844 49713152 11381 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12137 11381 1111 63 0 12074 0
vsize: 48548
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 206835 0 0 0 50509 496 0 0 25 0 1 0 910909844 49893376 11441 4294967295 134512640 134716908 3221224560 3221220528 1074872781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11441 1111 63 0 12118 0
vsize: 48724
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 208547 0 0 0 51505 500 0 0 25 0 1 0 910909844 49893376 11458 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11458 1111 63 0 12118 0
vsize: 48724
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 211855 0 0 0 52498 508 0 0 25 0 1 0 910909844 49893376 11455 4294967295 134512640 134716908 3221224560 3221220564 1074875787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11455 1111 63 0 12118 0
vsize: 48724
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 215179 0 0 0 53490 516 0 0 25 0 1 0 910909844 49893376 11439 4294967295 134512640 134716908 3221224560 3221220604 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11439 1111 63 0 12118 0
vsize: 48724
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 218515 0 0 0 54482 524 0 0 25 0 1 0 910909844 49893376 11432 4294967295 134512640 134716908 3221224560 3221221632 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11432 1111 63 0 12118 0
vsize: 48724
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 221894 0 0 0 55475 531 0 0 25 0 1 0 910909844 49893376 11487 4294967295 134512640 134716908 3221224560 3221220896 1075113493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12181 11487 1111 63 0 12118 0
vsize: 48724
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 222659 0 0 0 56473 533 0 0 25 0 1 0 910909844 48488448 11078 4294967295 134512640 134716908 3221224560 3221221940 1074786531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11838 11078 1111 63 0 11775 0
vsize: 47352
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 228558 0 0 0 57459 547 0 0 25 0 1 0 910909844 49917952 11362 4294967295 134512640 134716908 3221224560 3221220800 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12187 11362 1111 63 0 12124 0
vsize: 48748
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 232083 0 0 0 58452 555 0 0 25 0 1 0 910909844 50110464 11502 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12234 11502 1111 63 0 12171 0
vsize: 48936
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 235585 0 0 0 59444 563 0 0 25 0 1 0 910909844 50192384 11527 4294967295 134512640 134716908 3221224560 3221220604 1074873514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12254 11527 1111 63 0 12191 0
vsize: 49016
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 237384 0 0 0 60440 567 0 0 25 0 1 0 910909844 50176000 11474 4294967295 134512640 134716908 3221224560 3221220704 1074969449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12250 11474 1111 63 0 12187 0
vsize: 49000
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 240832 0 0 0 61432 575 0 0 25 0 1 0 910909844 50094080 11408 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 11408 1111 63 0 12167 0
vsize: 48920
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 246653 0 0 0 62420 587 0 0 25 0 1 0 910909844 47927296 11023 4294967295 134512640 134716908 3221224560 3221222592 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11701 11023 1111 63 0 11638 0
vsize: 46804
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 250036 0 0 0 63412 595 0 0 25 0 1 0 910909844 47955968 11030 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11708 11030 1111 63 0 11645 0
vsize: 46832
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 254340 0 0 0 64402 606 0 0 25 0 1 0 910909844 50122752 11490 4294967295 134512640 134716908 3221224560 3221221600 1075971386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12237 11490 1111 63 0 12174 0
vsize: 48948
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 256106 0 0 0 65397 611 0 0 25 0 1 0 910909844 50143232 11488 4294967295 134512640 134716908 3221224560 3221220604 1074873480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12242 11488 1111 63 0 12179 0
vsize: 48968
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 259968 0 0 0 66388 620 0 0 25 0 1 0 910909844 48717824 11216 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11894 11216 1111 63 0 11831 0
vsize: 47576
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 264672 0 0 0 67378 631 0 0 25 0 1 0 910909844 50163712 11468 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12247 11468 1111 63 0 12184 0
vsize: 48988
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 268178 0 0 0 68370 638 0 0 25 0 1 0 910909844 50135040 11491 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12240 11491 1111 63 0 12177 0
vsize: 48960
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 274077 0 0 0 69357 652 0 0 25 0 1 0 910909844 47980544 11036 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11714 11036 1111 63 0 11651 0
vsize: 46856
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 275176 0 0 0 70354 655 0 0 25 0 1 0 910909844 50171904 11546 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 11546 1111 63 0 12186 0
vsize: 48996
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 278674 0 0 0 71347 662 0 0 25 0 1 0 910909844 50155520 11515 4294967295 134512640 134716908 3221224560 3221220788 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12245 11515 1111 63 0 12182 0
vsize: 48980
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 282258 0 0 0 72339 671 0 0 25 0 1 0 910909844 50245632 11536 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12267 11536 1111 63 0 12204 0
vsize: 49068
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 284049 0 0 0 73334 676 0 0 25 0 1 0 910909844 50376704 11560 4294967295 134512640 134716908 3221224560 3221220428 1074787538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12299 11560 1111 63 0 12236 0
vsize: 49196
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 285804 0 0 0 74330 679 0 0 25 0 1 0 910909844 50262016 11548 4294967295 134512640 134716908 3221224560 3221221680 1074837319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12271 11548 1111 63 0 12208 0
vsize: 49084
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 285835 0 0 0 75331 679 0 0 25 0 1 0 910909844 50262016 11579 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12271 11579 1111 63 0 12208 0
vsize: 49084
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 289234 0 0 0 76322 688 0 0 25 0 1 0 910909844 50384896 11541 4294967295 134512640 134716908 3221224560 3221220428 1074787813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12301 11541 1111 63 0 12238 0
vsize: 49204
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 291752 0 0 0 77317 694 0 0 25 0 1 0 910909844 48762880 11051 4294967295 134512640 134716908 3221224560 3221222092 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 11055 1111 63 0 11842 0
vsize: 47620
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 294580 0 0 0 78309 701 0 0 25 0 1 0 910909844 50307072 11560 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12282 11560 1111 63 0 12219 0
vsize: 49128
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 296454 0 0 0 79305 706 0 0 25 0 1 0 910909844 50401280 11566 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12305 11566 1111 63 0 12242 0
vsize: 49220
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 300281 0 0 0 80295 715 0 0 25 0 1 0 910909844 50446336 11591 4294967295 134512640 134716908 3221224560 3221221480 1074950105 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12316 11591 1111 63 0 12253 0
vsize: 49264
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 303639 0 0 0 81288 723 0 0 25 0 1 0 910909844 50536448 11518 4294967295 134512640 134716908 3221224560 3221220604 1074873480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12338 11518 1111 63 0 12275 0
vsize: 49352
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 307104 0 0 0 82279 732 0 0 25 0 1 0 910909844 50511872 11593 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12332 11593 1111 63 0 12269 0
vsize: 49328
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 310456 0 0 0 83271 740 0 0 25 0 1 0 910909844 50589696 11625 4294967295 134512640 134716908 3221224560 3221220800 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11625 1111 63 0 12288 0
vsize: 49404
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 313958 0 0 0 84264 748 0 0 25 0 1 0 910909844 50589696 11650 4294967295 134512640 134716908 3221224560 3221220656 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12351 11650 1111 63 0 12288 0
vsize: 49404
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 317467 0 0 0 85255 757 0 0 25 0 1 0 910909844 50601984 11637 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12354 11637 1111 63 0 12291 0
vsize: 49416
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 318336 0 0 0 86253 759 0 0 25 0 1 0 910909844 48484352 11159 4294967295 134512640 134716908 3221224560 3221222560 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11837 11159 1111 63 0 11774 0
vsize: 47348
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 319304 0 0 0 87251 762 0 0 25 0 1 0 910909844 50745344 11657 4294967295 134512640 134716908 3221224560 3221221092 1074260528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12389 11657 1111 63 0 12326 0
vsize: 49556
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 321094 0 0 0 88246 767 0 0 25 0 1 0 910909844 50733056 11635 4294967295 134512640 134716908 3221224560 3221220788 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 11635 1111 63 0 12323 0
vsize: 49544
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 324631 0 0 0 89238 774 0 0 25 0 1 0 910909844 50737152 11653 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12387 11653 1111 63 0 12324 0
vsize: 49548
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 326457 0 0 0 90234 779 0 0 25 0 1 0 910909844 50728960 11661 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12385 11661 1111 63 0 12322 0
vsize: 49540
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 330846 0 0 0 91225 788 0 0 25 0 1 0 910909844 48570368 11180 4294967295 134512640 134716908 3221224560 3221222560 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11858 11180 1111 63 0 11795 0
vsize: 47432
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 334498 0 0 0 92217 796 0 0 25 0 1 0 910909844 48566272 11179 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11857 11179 1111 63 0 11794 0
vsize: 47428
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 335515 0 0 0 93215 798 0 0 25 0 1 0 910909844 50847744 11716 4294967295 134512640 134716908 3221224560 3221220720 1075091819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12414 11716 1111 63 0 12351 0
vsize: 49656
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 339100 0 0 0 94208 806 0 0 25 0 1 0 910909844 50835456 11625 4294967295 134512640 134716908 3221224560 3221220604 1074873604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12411 11625 1111 63 0 12348 0
vsize: 49644
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 341044 0 0 0 95203 811 0 0 25 0 1 0 910909844 51003392 11720 4294967295 134512640 134716908 3221224560 3221220800 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12452 11720 1111 63 0 12389 0
vsize: 49808
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 341911 0 0 0 96201 813 0 0 25 0 1 0 910909844 48574464 11152 4294967295 134512640 134716908 3221224560 3221221840 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11859 11152 1111 63 0 11796 0
vsize: 47436
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 342969 0 0 0 97199 815 0 0 25 0 1 0 910909844 51027968 11732 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12458 11732 1111 63 0 12395 0
vsize: 49832
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 346778 0 0 0 98191 823 0 0 25 0 1 0 910909844 51023872 11724 4294967295 134512640 134716908 3221224560 3221221048 1076116629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12457 11724 1111 63 0 12394 0
vsize: 49828
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 350538 0 0 0 99183 832 0 0 25 0 1 0 910909844 51003392 11651 4294967295 134512640 134716908 3221224560 3221220704 1074970401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12452 11651 1111 63 0 12389 0
vsize: 49808
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 351379 0 0 0 100181 833 0 0 25 0 1 0 910909844 48226304 11082 4294967295 134512640 134716908 3221224560 3221220504 1074138277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11774 11082 1111 63 0 11711 0
vsize: 47096
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 355743 0 0 0 101172 843 0 0 25 0 1 0 910909844 49901568 11490 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12183 11490 1111 63 0 12120 0
vsize: 48732
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 357203 0 0 0 102169 846 0 0 25 0 1 0 910909844 49119232 11271 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11992 11271 1111 63 0 11929 0
vsize: 47968
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 360150 0 0 0 103162 853 0 0 25 0 1 0 910909844 51101696 11749 4294967295 134512640 134716908 3221224560 3221220604 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 11749 1111 63 0 12413 0
vsize: 49904
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 361071 0 0 0 104160 855 0 0 25 0 1 0 910909844 48672768 11201 4294967295 134512640 134716908 3221224560 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11883 11201 1111 63 0 11820 0
vsize: 47532
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 363042 0 0 0 105155 860 0 0 25 0 1 0 910909844 48521216 11168 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11846 11168 1111 63 0 11783 0
vsize: 47384
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 367791 0 0 0 106145 871 0 0 25 0 1 0 910909844 51191808 11751 4294967295 134512640 134716908 3221224560 3221220532 1074786600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12498 11751 1111 63 0 12435 0
vsize: 49992
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 371466 0 0 0 107136 880 0 0 25 0 1 0 910909844 51191808 11761 4294967295 134512640 134716908 3221224560 3221220604 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12498 11761 1111 63 0 12435 0
vsize: 49992
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 374613 0 0 0 108129 887 0 0 25 0 1 0 910909844 50130944 11561 4294967295 134512640 134716908 3221224560 3221222560 1074917032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12239 11561 1111 63 0 12176 0
vsize: 48956
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 375182 0 0 0 109129 888 0 0 25 0 1 0 910909844 51191808 11789 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12498 11789 1111 63 0 12435 0
vsize: 49992
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 377075 0 0 0 110124 892 0 0 25 0 1 0 910909844 51191808 11785 4294967295 134512640 134716908 3221224560 3221220604 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12498 11785 1111 63 0 12435 0
vsize: 49992
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 379807 0 0 0 111118 898 0 0 25 0 1 0 910909844 49270784 11319 4294967295 134512640 134716908 3221224560 3221222748 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12029 11319 1111 63 0 11966 0
vsize: 48116
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 383330 0 0 0 112110 907 0 0 25 0 1 0 910909844 48418816 11143 4294967295 134512640 134716908 3221224560 3221222240 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11821 11143 1111 63 0 11758 0
vsize: 47284
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 385364 0 0 0 113105 912 0 0 25 0 1 0 910909844 49008640 11287 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11965 11287 1111 63 0 11902 0
vsize: 47860
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 388979 0 0 0 114098 919 0 0 25 0 1 0 910909844 48418816 11143 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11821 11143 1111 63 0 11758 0
vsize: 47284
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 390961 0 0 0 115093 925 0 0 25 0 1 0 910909844 48709632 11214 4294967295 134512640 134716908 3221224560 3221221584 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 11214 1111 63 0 11829 0
vsize: 47568
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 392060 0 0 0 116091 927 0 0 25 0 1 0 910909844 51302400 11816 4294967295 134512640 134716908 3221224560 3221220456 1074789534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12525 11816 1111 63 0 12462 0
vsize: 50100
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 393949 0 0 0 117087 931 0 0 25 0 1 0 910909844 51138560 11780 4294967295 134512640 134716908 3221224560 3221221216 1075967935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12485 11780 1111 63 0 12422 0
vsize: 49940
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 397603 0 0 0 118079 938 0 0 25 0 1 0 910909844 51367936 11802 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12541 11802 1111 63 0 12478 0
vsize: 50164
[startup+1192.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29452
Raw data (stat): 29452 (bsolo_lpr_cuts-) R 29451 31399 31398 0 -1 0 397603 0 0 0 118079 938 0 0 25 0 1 0 910909844 51367936 11802 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12541 11802 1111 63 0 12478 0
vsize: 0

Child status: 0
Real time (s): 1192.68
CPU time (s): 1192.84
CPU user time (s): 1183.38
CPU system time (s): 9.45956
CPU usage (%): 100.013
Max. virtual memory (Kb): 50164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####