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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x12.opb
MD5SUM	eac61d4d68844395596b0518195dd6df
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	493056
Optimality of the best value was proved	NO
Number of terms in the objective function	3024
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	839045346
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	839045346
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	41.1977
Number of variables	3024
Total number of constraints	168
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	168
Minimum length of a constraint	21
Maximum length of a constraint	240
Trace number 41632

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 18:17:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29698 boxname=wulflinc5 idbench=1482 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  eac61d4d68844395596b0518195dd6df  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran12x12.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ran12x12.opb
IDLAUNCH: 29698
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        756008 kB
Buffers:         26140 kB
Cached:         231284 kB
SwapCached:        636 kB
Active:          27556 kB
Inactive:       231912 kB
HighTotal:      131008 kB
HighFree:         1176 kB
LowTotal:       903652 kB
LowFree:        754832 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13548 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:37:02 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 29698 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3024 variables and 192 constraints.
c After prepocess the problem consists of 1700 variables and 246 constraints.
c preprocess terminated 2.31 s
c Initial Lower Bound: 233799
c Lower Bound Elapsed time: 0.18375
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.85 0.95 0.90 2/54 4928
Raw data (stat): 4928 (runsolver) R 4927 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912370904 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.001 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 8646 0 0 0 977 20 0 0 25 0 1 0 912370904 21676032 4508 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 4508 1111 63 0 5229 0
vsize: 21168
[startup+20.0037 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 13998 0 0 0 1965 33 0 0 25 0 1 0 912370904 21344256 4497 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5211 4497 1111 63 0 5148 0
vsize: 20844
[startup+30.0064 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 19611 0 0 0 2953 46 0 0 25 0 1 0 912370904 21274624 4480 4294967295 134512640 134716908 3221224560 3221222848 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4480 1111 63 0 5131 0
vsize: 20776
[startup+40.0065 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 24836 0 0 0 3941 57 0 0 25 0 1 0 912370904 21831680 4552 4294967295 134512640 134716908 3221224560 3221220704 1074971133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4552 1111 63 0 5267 0
vsize: 21320
[startup+50.0069 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 29715 0 0 0 4929 69 0 0 25 0 1 0 912370904 21823488 4547 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5328 4547 1111 63 0 5265 0
vsize: 21312
[startup+60.0067 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 34294 0 0 0 5918 81 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221221288 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+70.0064 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 38581 0 0 0 6909 90 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221221272 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+80.0072 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 42904 0 0 0 7897 102 0 0 25 0 1 0 912370904 21811200 4542 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5325 4542 1111 63 0 5262 0
vsize: 21300
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 47246 0 0 0 8886 114 0 0 25 0 1 0 912370904 21803008 4537 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4537 1111 63 0 5260 0
vsize: 21292
[startup+100.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 51581 0 0 0 9874 125 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221222748 1077404744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+110.007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 55780 0 0 0 10863 136 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 59786 0 0 0 11852 148 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221220860 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 63647 0 0 0 12843 157 0 0 25 0 1 0 912370904 21430272 4483 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4483 1111 63 0 5169 0
vsize: 20928
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 67392 0 0 0 13834 166 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+150.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 70993 0 0 0 14824 177 0 0 25 0 1 0 912370904 21598208 4516 4294967295 134512640 134716908 3221224560 3221220788 1075114946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5273 4516 1111 63 0 5210 0
vsize: 21092
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 74548 0 0 0 15814 187 0 0 25 0 1 0 912370904 21491712 4483 4294967295 134512640 134716908 3221224560 3221221600 1075971438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5247 4483 1111 63 0 5184 0
vsize: 20988
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 76284 0 0 0 16808 193 0 0 25 0 1 0 912370904 21274624 4482 4294967295 134512640 134716908 3221224560 3221222152 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4482 1111 63 0 5131 0
vsize: 20776
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 78208 0 0 0 17800 201 0 0 25 0 1 0 912370904 21274624 4483 4294967295 134512640 134716908 3221224560 3221222092 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 4483 1111 63 0 5131 0
vsize: 20776
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 81646 0 0 0 18787 214 0 0 25 0 1 0 912370904 21614592 4567 4294967295 134512640 134716908 3221224560 3221222788 1077374123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5277 4567 1111 63 0 5214 0
vsize: 21108
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 84826 0 0 0 19775 226 0 0 25 0 1 0 912370904 21803008 4613 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4613 1111 63 0 5260 0
vsize: 21292
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 85560 0 0 0 20771 231 0 0 25 0 1 0 912370904 21803008 4613 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4613 1111 63 0 5260 0
vsize: 21292
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 86312 0 0 0 21766 235 0 0 25 0 1 0 912370904 21803008 4613 4294967295 134512640 134716908 3221224560 3221222856 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4613 1111 63 0 5260 0
vsize: 21292
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 87557 0 0 0 22759 242 0 0 25 0 1 0 912370904 21831680 4616 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4616 1111 63 0 5267 0
vsize: 21320
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 88768 0 0 0 23753 249 0 0 25 0 1 0 912370904 21803008 4613 4294967295 134512640 134716908 3221224560 3221222820 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4613 1111 63 0 5260 0
vsize: 21292
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 90114 0 0 0 24748 254 0 0 25 0 1 0 912370904 21831680 4620 4294967295 134512640 134716908 3221224560 3221223264 134654856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4620 1111 63 0 5267 0
vsize: 21320
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 96091 0 0 0 25731 271 0 0 25 0 1 0 912370904 21803008 4616 4294967295 134512640 134716908 3221224560 3221222960 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4616 1111 63 0 5260 0
vsize: 21292
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 102712 0 0 0 26710 293 0 0 25 0 1 0 912370904 21831680 4617 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4618 1111 63 0 5267 0
vsize: 21320
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 108265 0 0 0 27691 312 0 0 25 0 1 0 912370904 21889024 4626 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5344 4626 1111 63 0 5281 0
vsize: 21376
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 113626 0 0 0 28675 328 0 0 25 0 1 0 912370904 21803008 4617 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4617 1111 63 0 5260 0
vsize: 21292
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 119354 0 0 0 29656 347 0 0 25 0 1 0 912370904 22032384 4618 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4618 1111 63 0 5316 0
vsize: 21516
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 125209 0 0 0 30637 366 0 0 25 0 1 0 912370904 21803008 4617 4294967295 134512640 134716908 3221224560 3221222800 1074063742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4617 1111 63 0 5260 0
vsize: 21292
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 130851 0 0 0 31620 384 0 0 25 0 1 0 912370904 21831680 4624 4294967295 134512640 134716908 3221224560 3221223264 134654853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4624 1111 63 0 5267 0
vsize: 21320
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 136249 0 0 0 32600 404 0 0 25 0 1 0 912370904 21803008 4617 4294967295 134512640 134716908 3221224560 3221222768 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4617 1111 63 0 5260 0
vsize: 21292
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 142154 0 0 0 33584 420 0 0 25 0 1 0 912370904 21897216 4621 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4621 1111 63 0 5283 0
vsize: 21384
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 147628 0 0 0 34567 437 0 0 25 0 1 0 912370904 21975040 4635 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4635 1111 63 0 5302 0
vsize: 21460
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 153297 0 0 0 35549 456 0 0 25 0 1 0 912370904 21831680 4617 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4618 1111 63 0 5267 0
vsize: 21320
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 158974 0 0 0 36532 472 0 0 25 0 1 0 912370904 21831680 4624 4294967295 134512640 134716908 3221224560 3221222288 1075635584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4624 1111 63 0 5267 0
vsize: 21320
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 164390 0 0 0 37515 490 0 0 25 0 1 0 912370904 21803008 4617 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4617 1111 63 0 5260 0
vsize: 21292
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 168574 0 0 0 38500 505 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 172206 0 0 0 39487 518 0 0 25 0 1 0 912370904 22093824 4633 4294967295 134512640 134716908 3221224560 3221222528 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4633 1111 63 0 5331 0
vsize: 21576
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 175747 0 0 0 40474 531 0 0 25 0 1 0 912370904 22032384 4635 4294967295 134512640 134716908 3221224560 3221222384 1075824332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4635 1111 63 0 5316 0
vsize: 21516
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 179374 0 0 0 41462 543 0 0 25 0 1 0 912370904 22257664 4648 4294967295 134512640 134716908 3221224560 3221220524 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5434 4648 1111 63 0 5371 0
vsize: 21736
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 183012 0 0 0 42447 559 0 0 25 0 1 0 912370904 21893120 4634 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4634 1111 63 0 5282 0
vsize: 21380
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 186623 0 0 0 43433 573 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222800 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 190298 0 0 0 44418 588 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 193982 0 0 0 45406 600 0 0 25 0 1 0 912370904 22093824 4633 4294967295 134512640 134716908 3221224560 3221222672 1074867289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4633 1111 63 0 5331 0
vsize: 21576
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 197757 0 0 0 46394 612 0 0 25 0 1 0 912370904 22261760 4647 4294967295 134512640 134716908 3221224560 3221220928 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4647 1111 63 0 5372 0
vsize: 21740
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 201619 0 0 0 47377 629 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222344 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 205391 0 0 0 48363 643 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 209181 0 0 0 49351 656 0 0 25 0 1 0 912370904 22261760 4645 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4645 1111 63 0 5372 0
vsize: 21740
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 212774 0 0 0 50338 669 0 0 25 0 1 0 912370904 21897216 4636 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4636 1111 63 0 5283 0
vsize: 21384
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 216284 0 0 0 51323 684 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 220067 0 0 0 52311 696 0 0 25 0 1 0 912370904 22093824 4633 4294967295 134512640 134716908 3221224560 3221222624 1075961646 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4633 1111 63 0 5331 0
vsize: 21576
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 223909 0 0 0 53296 711 0 0 25 0 1 0 912370904 22261760 4651 4294967295 134512640 134716908 3221224560 3221221136 1076043574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4651 1111 63 0 5372 0
vsize: 21740
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 227692 0 0 0 54281 727 0 0 25 0 1 0 912370904 22093824 4633 4294967295 134512640 134716908 3221224560 3221222492 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4633 1111 63 0 5331 0
vsize: 21576
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 231523 0 0 0 55268 739 0 0 25 0 1 0 912370904 22093824 4633 4294967295 134512640 134716908 3221224560 3221222288 1075829485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 4633 1111 63 0 5331 0
vsize: 21576
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 235143 0 0 0 56255 753 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222956 1074152784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 238891 0 0 0 57239 769 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 242589 0 0 0 58227 781 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 246357 0 0 0 59213 795 0 0 25 0 1 0 912370904 21893120 4632 4294967295 134512640 134716908 3221224560 3221222860 1073967528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5345 4632 1111 63 0 5282 0
vsize: 21380
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 250009 0 0 0 60198 810 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 253855 0 0 0 61186 823 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222560 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 257625 0 0 0 62173 836 0 0 25 0 1 0 912370904 21864448 4632 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4632 1111 63 0 5275 0
vsize: 21352
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 263465 0 0 0 63153 856 0 0 25 0 1 0 912370904 21958656 4655 4294967295 134512640 134716908 3221224560 3221222944 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5361 4655 1111 63 0 5298 0
vsize: 21444
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 267156 0 0 0 64139 870 0 0 25 0 1 0 912370904 22142976 4693 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4693 1111 63 0 5343 0
vsize: 21624
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 269157 0 0 0 65130 880 0 0 25 0 1 0 912370904 22142976 4696 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4696 1111 63 0 5343 0
vsize: 21624
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 269884 0 0 0 66124 885 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 270625 0 0 0 67119 891 0 0 25 0 1 0 912370904 22253568 4697 4294967295 134512640 134716908 3221224560 3221220508 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4697 1111 63 0 5370 0
vsize: 21732
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 271349 0 0 0 68114 897 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 272086 0 0 0 69109 902 0 0 25 0 1 0 912370904 22253568 4697 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5433 4697 1111 63 0 5370 0
vsize: 21732
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 272794 0 0 0 70103 907 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 273512 0 0 0 71097 913 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 274257 0 0 0 72093 918 0 0 25 0 1 0 912370904 22310912 4697 4294967295 134512640 134716908 3221224560 3221221480 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 4697 1111 63 0 5357 0
vsize: 21788
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 274985 0 0 0 73088 923 0 0 25 0 1 0 912370904 22142976 4696 4294967295 134512640 134716908 3221224560 3221222288 1075635603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4696 1111 63 0 5343 0
vsize: 21624
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 275732 0 0 0 74082 929 0 0 25 0 1 0 912370904 22147072 4696 4294967295 134512640 134716908 3221224560 3221222960 1074118792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4696 1111 63 0 5344 0
vsize: 21628
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 276534 0 0 0 75076 935 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 277338 0 0 0 76068 942 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 278163 0 0 0 77061 948 0 0 25 0 1 0 912370904 22147072 4696 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4696 1111 63 0 5344 0
vsize: 21628
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 278948 0 0 0 78055 955 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222752 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 279737 0 0 0 79048 962 0 0 25 0 1 0 912370904 22147072 4694 4294967295 134512640 134716908 3221224560 3221221840 1074139935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4695 1111 63 0 5344 0
vsize: 21628
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 280396 0 0 0 80043 967 0 0 25 0 1 0 912370904 22364160 4697 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5460 4697 1111 63 0 5397 0
vsize: 21840
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 281006 0 0 0 81039 971 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 281569 0 0 0 82036 975 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 282062 0 0 0 83033 978 0 0 25 0 1 0 912370904 22142976 4693 4294967295 134512640 134716908 3221224560 3221222976 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4693 1111 63 0 5343 0
vsize: 21624
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 282555 0 0 0 84029 981 0 0 25 0 1 0 912370904 22147072 4696 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4696 1111 63 0 5344 0
vsize: 21628
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 283080 0 0 0 85026 985 0 0 25 0 1 0 912370904 22147072 4696 4294967295 134512640 134716908 3221224560 3221223304 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4696 1111 63 0 5344 0
vsize: 21628
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 283566 0 0 0 86023 988 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+880.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 284059 0 0 0 87018 993 0 0 25 0 1 0 912370904 22310912 4694 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4694 1111 63 0 5384 0
vsize: 21788
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 284520 0 0 0 88015 997 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 285009 0 0 0 89010 1001 0 0 25 0 1 0 912370904 22310912 4694 4294967295 134512640 134716908 3221224560 3221220656 1074790226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4694 1111 63 0 5384 0
vsize: 21788
[startup+910.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 285488 0 0 0 90007 1004 0 0 25 0 1 0 912370904 22142976 4694 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4694 1111 63 0 5343 0
vsize: 21624
[startup+920.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 285967 0 0 0 91004 1008 0 0 25 0 1 0 912370904 22147072 4694 4294967295 134512640 134716908 3221224560 3221222560 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4694 1111 63 0 5344 0
vsize: 21628
[startup+930.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 286460 0 0 0 92001 1011 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222348 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 286982 0 0 0 92998 1015 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222864 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 287487 0 0 0 93995 1018 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+960.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 287995 0 0 0 94991 1022 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 288470 0 0 0 95986 1027 0 0 25 0 1 0 912370904 22142976 4693 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4693 1111 63 0 5343 0
vsize: 21624
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 288935 0 0 0 96982 1031 0 0 25 0 1 0 912370904 22310912 4695 4294967295 134512640 134716908 3221224560 3221221060 1074846216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4695 1111 63 0 5384 0
vsize: 21788
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 289471 0 0 0 97977 1036 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 290003 0 0 0 98973 1040 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222712 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 290531 0 0 0 99969 1045 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222664 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 291053 0 0 0 100965 1049 0 0 25 0 1 0 912370904 22310912 4695 4294967295 134512640 134716908 3221224560 3221221064 1074971925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4695 1111 63 0 5384 0
vsize: 21788
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 291599 0 0 0 101961 1053 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 292131 0 0 0 102957 1057 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 292681 0 0 0 103953 1061 0 0 25 0 1 0 912370904 22142976 4693 4294967295 134512640 134716908 3221224560 3221222976 1074116648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4693 1111 63 0 5343 0
vsize: 21624
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 293238 0 0 0 104949 1066 0 0 25 0 1 0 912370904 22147072 4694 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4694 1111 63 0 5344 0
vsize: 21628
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 293754 0 0 0 105946 1069 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222816 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 294281 0 0 0 106943 1072 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 294796 0 0 0 107940 1075 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222540 1074248338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 295318 0 0 0 108936 1080 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 295858 0 0 0 109932 1083 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222632 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 296418 0 0 0 110928 1088 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222960 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 296945 0 0 0 111923 1092 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 297495 0 0 0 112920 1096 0 0 25 0 1 0 912370904 22142976 4694 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4694 1111 63 0 5343 0
vsize: 21624
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 298040 0 0 0 113915 1101 0 0 25 0 1 0 912370904 22147072 4694 4294967295 134512640 134716908 3221224560 3221222304 1075646682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5407 4694 1111 63 0 5344 0
vsize: 21628
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 298555 0 0 0 114911 1106 0 0 25 0 1 0 912370904 22114304 4693 4294967295 134512640 134716908 3221224560 3221222648 1077402401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 4693 1111 63 0 5336 0
vsize: 21596
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 299080 0 0 0 115906 1110 0 0 25 0 1 0 912370904 22310912 4695 4294967295 134512640 134716908 3221224560 3221221564 1074621110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4695 1111 63 0 5384 0
vsize: 21788
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4928
Raw data (stat): 4928 (bsolo_lpr_cuts-) R 4927 7266 7265 0 -1 0 299080 0 0 0 115906 1110 0 0 25 0 1 0 912370904 22310912 4695 4294967295 134512640 134716908 3221224560 3221221564 1074621110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5447 4695 1111 63 0 5384 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.08
CPU user time (s): 1163.94
CPU system time (s): 11.1363
CPU usage (%): 100.013
Max. virtual memory (Kb): 21840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####