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/unibo/normalized-mps-v2-13-7-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	11.8052
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 41717

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        744264 kB
Buffers:         23008 kB
Cached:         247076 kB
SwapCached:        692 kB
Active:          39700 kB
Inactive:       232428 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        744012 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12624 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:55:02 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 29774 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 516.247 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 28.152
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1166989452 @ 580.187
c NEW SOLUTION FOUND: -2147483648 @ 580.308
#### 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.98 0.91 2/54 15041
Raw data (stat): 15041 (runsolver) R 15040 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913187586 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 23257 0 0 0 955 43 0 0 25 0 1 0 913187586 108212224 23177 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26419 23177 1111 63 0 26356 0
vsize: 105676
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 45346 0 0 0 1918 80 0 0 25 0 1 0 913187586 198664192 45266 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48502 45266 1111 63 0 48439 0
vsize: 194008
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 67050 0 0 0 2878 120 0 0 25 0 1 0 913187586 287645696 66970 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70226 66970 1111 63 0 70163 0
vsize: 280904
[startup+40.0039 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 76992 0 0 0 3860 138 0 0 25 0 1 0 913187586 328282112 76912 4294967295 134512640 134716908 3221224560 3221222836 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80147 76912 1111 63 0 80084 0
vsize: 320588
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 77398 0 0 0 4858 140 0 0 25 0 1 0 913187586 330084352 77315 4294967295 134512640 134716908 3221224560 3221222836 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80587 77315 1111 63 0 80524 0
vsize: 322348
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 78047 0 0 0 5856 141 0 0 25 0 1 0 913187586 332845056 77963 4294967295 134512640 134716908 3221224560 3221222836 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81261 77963 1111 63 0 81198 0
vsize: 325044
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 78686 0 0 0 6855 142 0 0 25 0 1 0 913187586 335585280 78601 4294967295 134512640 134716908 3221224560 3221222836 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81930 78601 1111 63 0 81867 0
vsize: 327720
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 79468 0 0 0 7853 144 0 0 25 0 1 0 913187586 338886656 79382 4294967295 134512640 134716908 3221224560 3221223256 1076648078 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82736 79382 1111 63 0 82673 0
vsize: 330944
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 80201 0 0 0 8850 146 0 0 25 0 1 0 913187586 341893120 80115 4294967295 134512640 134716908 3221224560 3221222836 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83470 80115 1111 63 0 83407 0
vsize: 333880
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 80956 0 0 0 9848 148 0 0 25 0 1 0 913187586 345059328 80867 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84243 80867 1111 63 0 84180 0
vsize: 336972
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 81685 0 0 0 10846 150 0 0 25 0 1 0 913187586 348246016 81593 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85021 81593 1111 63 0 84958 0
vsize: 340084
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83327 0 0 0 11842 154 0 0 25 0 1 0 913187586 345366528 83166 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84318 83166 1111 63 0 84255 0
vsize: 337272
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83414 0 0 0 12842 154 0 0 25 0 1 0 913187586 345636864 83253 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84384 83253 1111 63 0 84321 0
vsize: 337536
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83498 0 0 0 13841 155 0 0 25 0 1 0 913187586 346046464 83337 4294967295 134512640 134716908 3221224560 3221223004 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84484 83337 1111 63 0 84421 0
vsize: 337936
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83541 0 0 0 14841 155 0 0 25 0 1 0 913187586 346181632 83380 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84517 83380 1111 63 0 84454 0
vsize: 338068
[startup+160.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83594 0 0 0 15842 155 0 0 25 0 1 0 913187586 346451968 83433 4294967295 134512640 134716908 3221224560 3221223088 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84583 83433 1111 63 0 84520 0
vsize: 338332
[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83674 0 0 0 16842 156 0 0 25 0 1 0 913187586 346722304 83513 4294967295 134512640 134716908 3221224560 3221223056 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84649 83513 1111 63 0 84586 0
vsize: 338596
[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83754 0 0 0 17842 156 0 0 25 0 1 0 913187586 347127808 83593 4294967295 134512640 134716908 3221224560 3221223008 134536753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84748 83593 1111 63 0 84685 0
vsize: 338992
[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83791 0 0 0 18842 156 0 0 25 0 1 0 913187586 347262976 83630 4294967295 134512640 134716908 3221224560 3221223004 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84781 83630 1111 63 0 84718 0
vsize: 339124
[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83867 0 0 0 19842 156 0 0 25 0 1 0 913187586 347533312 83706 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84847 83706 1111 63 0 84784 0
vsize: 339388
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 83942 0 0 0 20842 156 0 0 25 0 1 0 913187586 347803648 83781 4294967295 134512640 134716908 3221224560 3221223004 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84913 83781 1111 63 0 84850 0
vsize: 339652
[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84008 0 0 0 21842 157 0 0 25 0 1 0 913187586 348073984 83847 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84979 83847 1111 63 0 84916 0
vsize: 339916
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84066 0 0 0 22842 157 0 0 25 0 1 0 913187586 348344320 83905 4294967295 134512640 134716908 3221224560 3221223032 134543018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85045 83905 1111 63 0 84982 0
vsize: 340180
[startup+240.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84135 0 0 0 23841 158 0 0 25 0 1 0 913187586 348614656 83974 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85111 83974 1111 63 0 85048 0
vsize: 340444
[startup+250.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84180 0 0 0 24841 158 0 0 25 0 1 0 913187586 348749824 84019 4294967295 134512640 134716908 3221224560 3221223028 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85144 84019 1111 63 0 85081 0
vsize: 340576
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84212 0 0 0 25841 158 0 0 25 0 1 0 913187586 348884992 84051 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85177 84051 1111 63 0 85114 0
vsize: 340708
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84236 0 0 0 26841 158 0 0 25 0 1 0 913187586 349020160 84075 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85210 84075 1111 63 0 85147 0
vsize: 340840
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84263 0 0 0 27841 158 0 0 25 0 1 0 913187586 349155328 84102 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85243 84102 1111 63 0 85180 0
vsize: 340972
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84311 0 0 0 28842 158 0 0 25 0 1 0 913187586 349290496 84150 4294967295 134512640 134716908 3221224560 3221223028 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85276 84150 1111 63 0 85213 0
vsize: 341104
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84381 0 0 0 29841 159 0 0 25 0 1 0 913187586 349696000 84220 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85375 84220 1111 63 0 85312 0
vsize: 341500
[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84422 0 0 0 30841 159 0 0 25 0 1 0 913187586 349831168 84261 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85408 84261 1111 63 0 85345 0
vsize: 341632
[startup+320.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84488 0 0 0 31841 159 0 0 25 0 1 0 913187586 350101504 84327 4294967295 134512640 134716908 3221224560 3221223004 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85474 84327 1111 63 0 85411 0
vsize: 341896
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84569 0 0 0 32840 160 0 0 25 0 1 0 913187586 350371840 84408 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85540 84408 1111 63 0 85477 0
vsize: 342160
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84639 0 0 0 33840 161 0 0 25 0 1 0 913187586 350642176 84478 4294967295 134512640 134716908 3221224560 3221223020 134536748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85606 84478 1111 63 0 85543 0
vsize: 342424
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84708 0 0 0 34840 161 0 0 25 0 1 0 913187586 350912512 84547 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85672 84547 1111 63 0 85609 0
vsize: 342688
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84733 0 0 0 35840 161 0 0 25 0 1 0 913187586 351047680 84572 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85705 84572 1111 63 0 85642 0
vsize: 342820
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84766 0 0 0 36840 161 0 0 25 0 1 0 913187586 351182848 84605 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85738 84605 1111 63 0 85675 0
vsize: 342952
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84848 0 0 0 37840 162 0 0 25 0 1 0 913187586 351453184 84687 4294967295 134512640 134716908 3221224560 3221223040 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85804 84687 1111 63 0 85741 0
vsize: 343216
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84880 0 0 0 38840 162 0 0 25 0 1 0 913187586 351588352 84719 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85837 84719 1111 63 0 85774 0
vsize: 343348
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 84960 0 0 0 39839 162 0 0 25 0 1 0 913187586 351993856 84799 4294967295 134512640 134716908 3221224560 3221223040 134543043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85936 84799 1111 63 0 85873 0
vsize: 343744
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85003 0 0 0 40840 162 0 0 25 0 1 0 913187586 352129024 84842 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85969 84842 1111 63 0 85906 0
vsize: 343876
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85034 0 0 0 41840 163 0 0 25 0 1 0 913187586 352264192 84873 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86002 84873 1111 63 0 85939 0
vsize: 344008
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85081 0 0 0 42840 163 0 0 25 0 1 0 913187586 352399360 84920 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86035 84920 1111 63 0 85972 0
vsize: 344140
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85154 0 0 0 43840 163 0 0 25 0 1 0 913187586 352669696 84993 4294967295 134512640 134716908 3221224560 3221223004 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86101 84993 1111 63 0 86038 0
vsize: 344404
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85230 0 0 0 44839 163 0 0 25 0 1 0 913187586 352940032 85069 4294967295 134512640 134716908 3221224560 3221223024 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86167 85069 1111 63 0 86104 0
vsize: 344668
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85310 0 0 0 45840 163 0 0 25 0 1 0 913187586 353349632 85149 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85149 1111 63 0 86204 0
vsize: 345068
[startup+470.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85315 0 0 0 46840 164 0 0 25 0 1 0 913187586 353349632 85154 4294967295 134512640 134716908 3221224560 3221223216 134627219 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85154 1111 63 0 86204 0
vsize: 345068
[startup+480.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85317 0 0 0 47840 164 0 0 25 0 1 0 913187586 353349632 85156 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85156 1111 63 0 86204 0
vsize: 345068
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85323 0 0 0 48840 164 0 0 25 0 1 0 913187586 353349632 85162 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85162 1111 63 0 86204 0
vsize: 345068
[startup+500.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85326 0 0 0 49840 164 0 0 25 0 1 0 913187586 353349632 85165 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85165 1111 63 0 86204 0
vsize: 345068
[startup+510.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 85330 0 0 0 50840 164 0 0 25 0 1 0 913187586 353349632 85169 4294967295 134512640 134716908 3221224560 3221223208 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86267 85169 1111 63 0 86204 0
vsize: 345068
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 86613 0 0 0 51837 167 0 0 25 0 1 0 913187586 358653952 86438 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87562 86438 1111 63 0 87499 0
vsize: 350248
[startup+530.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 86688 0 0 0 52836 168 0 0 25 0 1 0 913187586 358952960 86513 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87635 86513 1111 63 0 87572 0
vsize: 350540
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 92040 0 0 0 53825 179 0 0 25 0 1 0 913187586 368709632 88868 4294967295 134512640 134716908 3221224560 3221221384 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90017 88868 1111 63 0 89954 0
vsize: 360068
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 96206 0 0 0 54817 188 0 0 25 0 1 0 913187586 360951808 87148 4294967295 134512640 134716908 3221224560 3221222976 134646693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88123 87148 1111 63 0 88060 0
vsize: 352492
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 105303 0 0 0 55799 206 0 0 25 0 1 0 913187586 361598976 87253 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87253 1111 63 0 88218 0
vsize: 353124
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 105335 0 0 0 56799 206 0 0 25 0 1 0 913187586 361598976 87285 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 105335 0 0 0 57798 206 0 0 25 0 1 0 913187586 361598976 87285 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88281 87285 1111 63 0 88218 0
vsize: 353124
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 127771 0 0 0 58750 254 0 0 25 0 1 0 913187586 357330944 86275 4294967295 134512640 134716908 3221224560 3221222672 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+600.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 143804 0 0 0 59719 286 0 0 25 0 1 0 913187586 357330944 86275 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+610.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 158019 0 0 0 60688 317 0 0 25 0 1 0 913187586 357330944 86275 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+620.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 170424 0 0 0 61662 344 0 0 25 0 1 0 913187586 357330944 86275 4294967295 134512640 134716908 3221224560 3221223024 1074121018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 181236 0 0 0 62639 366 0 0 25 0 1 0 913187586 357330944 86275 4294967295 134512640 134716908 3221224560 3221222672 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87239 86275 1111 63 0 87176 0
vsize: 348956
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 190724 0 0 0 63619 387 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 197809 0 0 0 64603 404 0 0 25 0 1 0 913187586 357584896 86337 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87301 86337 1111 63 0 87238 0
vsize: 349204
[startup+660.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 204625 0 0 0 65587 419 0 0 25 0 1 0 913187586 357670912 86347 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87322 86347 1111 63 0 87259 0
vsize: 349288
[startup+670.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 210991 0 0 0 66572 435 0 0 25 0 1 0 913187586 358477824 86376 4294967295 134512640 134716908 3221224560 3221222288 1075828205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87519 86376 1111 63 0 87456 0
vsize: 350076
[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 217382 0 0 0 67560 447 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+690.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 223567 0 0 0 68545 462 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222632 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 229569 0 0 0 69533 474 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+710.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 235460 0 0 0 70520 488 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+720.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 241693 0 0 0 71506 502 0 0 25 0 1 0 913187586 357961728 86340 4294967295 134512640 134716908 3221224560 3221221904 1074839021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87393 86340 1111 63 0 87330 0
vsize: 349572
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 247217 0 0 0 72493 514 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+740.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 252737 0 0 0 73480 528 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222960 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+750.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 258309 0 0 0 74469 540 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+760.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 263394 0 0 0 75458 550 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+770.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 268517 0 0 0 76447 561 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222816 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+780.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 273328 0 0 0 77436 572 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+790.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 278127 0 0 0 78425 584 0 0 25 0 1 0 913187586 357711872 86327 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87332 86331 1111 63 0 87269 0
vsize: 349328
[startup+800.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 282969 0 0 0 79414 595 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+810.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 287867 0 0 0 80402 607 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222664 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+820.046 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 292425 0 0 0 81392 618 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222816 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+830.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 296945 0 0 0 82382 628 0 0 25 0 1 0 913187586 357969920 86371 4294967295 134512640 134716908 3221224560 3221221664 1074139113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87395 86371 1111 63 0 87332 0
vsize: 349580
[startup+840.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 301383 0 0 0 83372 639 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+850.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 306085 0 0 0 84362 649 0 0 25 0 1 0 913187586 357904384 86415 4294967295 134512640 134716908 3221224560 3221222304 1075640415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87379 86415 1111 63 0 87316 0
vsize: 349516
[startup+860.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 310397 0 0 0 85352 659 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222760 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+870.047 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 314609 0 0 0 86343 668 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+880.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 318495 0 0 0 87336 675 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+890.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 322704 0 0 0 88327 684 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221223208 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+900.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 326524 0 0 0 89318 693 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+910.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 330313 0 0 0 90309 703 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 334096 0 0 0 91301 711 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 337918 0 0 0 92292 720 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222656 1074064919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 341851 0 0 0 93284 728 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222396 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+950.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 345408 0 0 0 94277 736 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222848 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+960.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 349365 0 0 0 95268 745 0 0 25 0 1 0 913187586 358002688 86389 4294967295 134512640 134716908 3221224560 3221221664 1074138614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87403 86389 1111 63 0 87340 0
vsize: 349612
[startup+970.049 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 353076 0 0 0 96260 753 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222672 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+980.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 356745 0 0 0 97252 761 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222720 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+990.051 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 360576 0 0 0 98244 770 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222816 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 364541 0 0 0 99235 778 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222672 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 368521 0 0 0 100227 786 0 0 25 0 1 0 913187586 357453824 86305 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87269 86305 1111 63 0 87206 0
vsize: 349076
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 372076 0 0 0 101218 796 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 376006 0 0 0 102209 806 0 0 25 0 1 0 913187586 357457920 86306 4294967295 134512640 134716908 3221224560 3221222672 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87270 86306 1111 63 0 87207 0
vsize: 349080
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 379860 0 0 0 103200 815 0 0 25 0 1 0 913187586 357711872 86368 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87332 86368 1111 63 0 87269 0
vsize: 349328
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 383189 0 0 0 104192 823 0 0 25 0 1 0 913187586 357834752 86398 4294967295 134512640 134716908 3221224560 3221222848 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87362 86398 1111 63 0 87299 0
vsize: 349448
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 386033 0 0 0 105185 830 0 0 25 0 1 0 913187586 357969920 86431 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87395 86431 1111 63 0 87332 0
vsize: 349580
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 388792 0 0 0 106178 837 0 0 25 0 1 0 913187586 358092800 86461 4294967295 134512640 134716908 3221224560 3221222816 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87425 86461 1111 63 0 87362 0
vsize: 349700
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 391402 0 0 0 107173 842 0 0 25 0 1 0 913187586 358092800 86461 4294967295 134512640 134716908 3221224560 3221222848 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87425 86461 1111 63 0 87362 0
vsize: 349700
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 394337 0 0 0 108168 848 0 0 25 0 1 0 913187586 358088704 86460 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87424 86460 1111 63 0 87361 0
vsize: 349696
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 396592 0 0 0 109163 853 0 0 25 0 1 0 913187586 360296448 86841 4294967295 134512640 134716908 3221224560 3221220720 1074795136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87963 86841 1111 63 0 87900 0
vsize: 351852
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 399624 0 0 0 110156 860 0 0 25 0 1 0 913187586 360656896 86912 4294967295 134512640 134716908 3221224560 3221221520 1074790215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88051 86912 1111 63 0 87988 0
vsize: 352204
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 403788 0 0 0 111146 870 0 0 25 0 1 0 913187586 358715392 86613 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87577 86613 1111 63 0 87514 0
vsize: 350308
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 407848 0 0 0 112136 880 0 0 25 0 1 0 913187586 358731776 86617 4294967295 134512640 134716908 3221224560 3221222672 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87581 86617 1111 63 0 87518 0
vsize: 350324
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 411122 0 0 0 113129 888 0 0 25 0 1 0 913187586 358854656 86647 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87611 86647 1111 63 0 87548 0
vsize: 350444
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 415438 0 0 0 114120 897 0 0 25 0 1 0 913187586 359206912 86733 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87697 86733 1111 63 0 87634 0
vsize: 350788
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 418107 0 0 0 115113 904 0 0 25 0 1 0 913187586 359825408 86884 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87848 86884 1111 63 0 87785 0
vsize: 351392
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 422097 0 0 0 116105 912 0 0 25 0 1 0 913187586 359899136 86902 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87866 86902 1111 63 0 87803 0
vsize: 351464
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 426312 0 0 0 117096 921 0 0 25 0 1 0 913187586 359833600 86886 4294967295 134512640 134716908 3221224560 3221196560 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87850 86886 1111 63 0 87787 0
vsize: 351400
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 428502 0 0 0 118090 927 0 0 25 0 1 0 913187586 364011520 87758 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88870 87758 1111 63 0 88807 0
vsize: 355480
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) R 15040 20224 20223 0 -1 0 430596 0 0 0 119085 933 0 0 25 0 1 0 913187586 360046592 86938 4294967295 134512640 134716908 3221224560 3221222672 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87902 86938 1111 63 0 87839 0
vsize: 351608
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 15041
Raw data (stat): 15041 (bsolo_lpr_cuts-) Z 15040 20224 20223 0 -1 1036 430596 0 0 0 119085 949 0 0 25 0 1 0 913187586 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.22
CPU time (s): 1200.35
CPU user time (s): 1190.86
CPU system time (s): 9.49256
CPU usage (%): 100.011
Max. virtual memory (Kb): 360068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####