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/submitted/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 25153

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 03:17:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5228 boxname=wulflinc31 idbench=403 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
IDLAUNCH: 5228
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764620 kB
Buffers:         52112 kB
Cached:         188696 kB
SwapCached:       1952 kB
Active:         204800 kB
Inactive:        44912 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764368 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              60 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14656 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 03:37:25 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 5228 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 535 variables and 156 constraints.
c After prepocess the problem consists of 530 variables and 154 constraints.
c preprocess terminated 0.157 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.027
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.96 2/55 21648
Raw data (stat): 21648 (runsolver) R 21647 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766428841 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 5583 0 0 0 973 22 0 0 25 0 1 0 766428841 7630848 1168 4294967295 134512640 134714508 3221221792 3221220240 1073990141 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1863 1168 1111 63 0 1800 0
vsize: 7452
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 14682 0 0 0 1951 45 0 0 25 0 1 0 766428841 8388608 1366 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2048 1366 1111 63 0 1985 0
vsize: 8192
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 22164 0 0 0 2931 65 0 0 25 0 1 0 766428841 8605696 1408 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2101 1408 1111 63 0 2038 0
vsize: 8404
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 32443 0 0 0 3901 95 0 0 25 0 1 0 766428841 10256384 1810 4294967295 134512640 134714508 3221221792 3221219696 1075460102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2504 1810 1111 63 0 2441 0
vsize: 10016
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 42213 0 0 0 4871 126 0 0 25 0 1 0 766428841 11763712 2170 4294967295 134512640 134714508 3221221792 3221219904 1074867289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2872 2170 1111 63 0 2809 0
vsize: 11488
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 51122 0 0 0 5843 154 0 0 25 0 1 0 766428841 14741504 2879 4294967295 134512640 134714508 3221221792 3221220168 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3599 2879 1111 63 0 3536 0
vsize: 14396
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 56050 0 0 0 6829 168 0 0 25 0 1 0 766428841 15855616 3178 4294967295 134512640 134714508 3221221792 3221220208 1074117042 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3871 3178 1111 63 0 3808 0
vsize: 15484
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 64972 0 0 0 7802 195 0 0 25 0 1 0 766428841 19202048 3977 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4688 3977 1111 63 0 4625 0
vsize: 18752
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 70820 0 0 0 8784 213 0 0 25 0 1 0 766428841 20512768 4329 4294967295 134512640 134714508 3221221792 3221220448 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5008 4329 1111 63 0 4945 0
vsize: 20032
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 77422 0 0 0 9764 233 0 0 25 0 1 0 766428841 23236608 4962 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5673 4962 1111 63 0 5610 0
vsize: 22692
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 80127 0 0 0 10757 240 0 0 25 0 1 0 766428841 24064000 5156 4294967295 134512640 134714508 3221221792 3221219216 1076057995 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5986 5157 1111 63 0 5923 0
vsize: 23500
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 85979 0 0 0 11738 260 0 0 25 0 1 0 766428841 26083328 5650 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6368 5650 1111 63 0 6305 0
vsize: 25472
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 94908 0 0 0 12716 282 0 0 25 0 1 0 766428841 28880896 6340 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7051 6340 1111 63 0 6988 0
vsize: 28204
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 98765 0 0 0 13705 293 0 0 25 0 1 0 766428841 28409856 6232 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7096 6237 1111 63 0 7033 0
vsize: 27744
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 112014 0 0 0 14667 331 0 0 25 0 1 0 766428841 31207424 6761 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7619 6761 1111 63 0 7556 0
vsize: 30476
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 116268 0 0 0 15657 342 0 0 25 0 1 0 766428841 31797248 7059 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7763 7059 1111 63 0 7700 0
vsize: 31052
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 120631 0 0 0 16647 352 0 0 25 0 1 0 766428841 32022528 7110 4294967295 134512640 134714508 3221221792 3221219520 1075828648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7818 7110 1111 63 0 7755 0
vsize: 31272
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 132316 0 0 0 17618 381 0 0 25 0 1 0 766428841 34017280 7602 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7602 1111 63 0 8242 0
vsize: 33220
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 139547 0 0 0 18597 401 0 0 25 0 1 0 766428841 37036032 8327 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8327 1111 63 0 8979 0
vsize: 36168
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 140809 0 0 0 19595 404 0 0 25 0 1 0 766428841 35971072 8079 4294967295 134512640 134714508 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8782 8079 1111 63 0 8719 0
vsize: 35128
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 142586 0 0 0 20590 409 0 0 25 0 1 0 766428841 35721216 7950 4294967295 134512640 134714508 3221221792 3221218684 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8925 7956 1111 63 0 8862 0
vsize: 34884
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 154068 0 0 0 21561 438 0 0 25 0 1 0 766428841 41000960 9118 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10010 9118 1111 63 0 9947 0
vsize: 40040
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 154956 0 0 0 22559 441 0 0 25 0 1 0 766428841 40144896 8911 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9801 8911 1111 63 0 9738 0
vsize: 39204
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 162002 0 0 0 23541 459 0 0 25 0 1 0 766428841 41705472 9287 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10182 9287 1111 63 0 10119 0
vsize: 40728
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 171958 0 0 0 24517 483 0 0 25 0 1 0 766428841 42962944 9586 4294967295 134512640 134714508 3221221792 3221220192 1074118790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10489 9586 1111 63 0 10426 0
vsize: 41956
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 185569 0 0 0 25488 512 0 0 25 0 1 0 766428841 45588480 10226 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11130 10226 1111 63 0 11067 0
vsize: 44520
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 197977 0 0 0 26454 546 0 0 25 0 1 0 766428841 48267264 10898 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11784 10898 1111 63 0 11721 0
vsize: 47136
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 202667 0 0 0 27443 557 0 0 25 0 1 0 766428841 50061312 11326 4294967295 134512640 134714508 3221221792 3221219792 1074916715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12222 11326 1111 63 0 12159 0
vsize: 48888
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 212916 0 0 0 28415 585 0 0 25 0 1 0 766428841 51871744 11786 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12664 11786 1111 63 0 12601 0
vsize: 50656
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 219776 0 0 0 29396 604 0 0 25 0 1 0 766428841 52920320 12042 4294967295 134512640 134714508 3221221792 3221219904 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12920 12042 1111 63 0 12857 0
vsize: 51680
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 224758 0 0 0 30384 617 0 0 25 0 1 0 766428841 53858304 12276 4294967295 134512640 134714508 3221221792 3221220152 1074143073 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13149 12276 1111 63 0 13086 0
vsize: 52596
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 231282 0 0 0 31367 634 0 0 25 0 1 0 766428841 55754752 12758 4294967295 134512640 134714508 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13612 12758 1111 63 0 13549 0
vsize: 54448
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 239717 0 0 0 32345 657 0 0 25 0 1 0 766428841 56942592 12981 4294967295 134512640 134714508 3221221792 3221218684 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14106 12987 1111 63 0 14043 0
vsize: 55608
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 252376 0 0 0 33312 689 0 0 25 0 1 0 766428841 59334656 13607 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14486 13607 1111 63 0 14423 0
vsize: 57944
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 253711 0 0 0 34309 693 0 0 25 0 1 0 766428841 59338752 13637 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14487 13637 1111 63 0 14424 0
vsize: 57948
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 261067 0 0 0 35289 713 0 0 25 0 1 0 766428841 60170240 13849 4294967295 134512640 134714508 3221221792 3221220016 1074146146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14690 13849 1111 63 0 14627 0
vsize: 58760
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 274472 0 0 0 36254 748 0 0 25 0 1 0 766428841 62578688 14423 4294967295 134512640 134714508 3221221792 3221220004 1073978420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15278 14423 1111 63 0 15215 0
vsize: 61112
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 277265 0 0 0 37247 755 0 0 25 0 1 0 766428841 63578112 14685 4294967295 134512640 134714508 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14685 1111 63 0 15459 0
vsize: 62088
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 277265 0 0 0 38247 755 0 0 25 0 1 0 766428841 63578112 14685 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14685 1111 63 0 15459 0
vsize: 62088
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 283261 0 0 0 39231 771 0 0 25 0 1 0 766428841 65273856 14832 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15936 14832 1111 63 0 15873 0
vsize: 63744
[startup+410.008 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 291056 0 0 0 40211 792 0 0 25 0 1 0 766428841 68554752 15665 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16737 15665 1111 63 0 16674 0
vsize: 66948
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 294641 0 0 0 41203 800 0 0 25 0 1 0 766428841 68661248 15681 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16763 15681 1111 63 0 16700 0
vsize: 67052
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 301114 0 0 0 42185 818 0 0 25 0 1 0 766428841 71553024 16257 4294967295 134512640 134714508 3221221792 3221220392 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17469 16257 1111 63 0 17406 0
vsize: 69876
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305285 0 0 0 43174 829 0 0 25 0 1 0 766428841 72937472 16607 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17807 16607 1111 63 0 17744 0
vsize: 71228
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305410 0 0 0 44173 830 0 0 25 0 1 0 766428841 73445376 16710 4294967295 134512640 134714508 3221221792 3221219936 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17931 16710 1111 63 0 17868 0
vsize: 71724
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305498 0 0 0 45172 831 0 0 25 0 1 0 766428841 73752576 16798 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18006 16798 1111 63 0 17943 0
vsize: 72024
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305607 0 0 0 46171 832 0 0 25 0 1 0 766428841 74170368 16907 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18108 16907 1111 63 0 18045 0
vsize: 72432
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305661 0 0 0 47171 833 0 0 25 0 1 0 766428841 74391552 16961 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18162 16961 1111 63 0 18099 0
vsize: 72648
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305709 0 0 0 48170 834 0 0 25 0 1 0 766428841 74588160 17009 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18210 17009 1111 63 0 18147 0
vsize: 72840
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305754 0 0 0 49170 834 0 0 25 0 1 0 766428841 74772480 17054 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18255 17054 1111 63 0 18192 0
vsize: 73020
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305837 0 0 0 50169 835 0 0 25 0 1 0 766428841 75145216 17137 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18346 17137 1111 63 0 18283 0
vsize: 73384
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305874 0 0 0 51169 836 0 0 25 0 1 0 766428841 75296768 17174 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18383 17174 1111 63 0 18320 0
vsize: 73532
[startup+530.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 305910 0 0 0 52169 836 0 0 25 0 1 0 766428841 75444224 17210 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18419 17210 1111 63 0 18356 0
vsize: 73676
[startup+540.014 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 53163 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 54163 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 55164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 56164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 57164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 58164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 59164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 60164 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 61165 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 62165 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 63165 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 64165 842 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 65165 843 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 308250 0 0 0 66165 843 0 0 25 0 1 0 766428841 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 67150 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 68150 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 69150 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 70151 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+720.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 71151 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 72151 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+740.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 73151 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 74151 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+760.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 75152 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 76152 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 77152 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+790.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 78152 858 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 79152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 80152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 81152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 82152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 83152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 84152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 85152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 86152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 87152 859 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 88152 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+900.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 89152 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 90152 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 91153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 92153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 93153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 94153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 95153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+970.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 96153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 97153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 98153 860 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 99153 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 100153 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 101153 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 102154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 103154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 104154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 105154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 106154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 107154 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 108155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 109155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 110155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 111155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 112155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 113155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 114155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 115155 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.96 2/55 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 116156 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.96 1/54 21648
Raw data (stat): 21648 (bsolo_lpr_cuts) R 21647 7876 7672 0 -1 0 314702 0 0 0 116156 861 0 0 25 0 1 0 766428841 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.06
CPU user time (s): 1166.3
CPU system time (s): 8.76467
CPU usage (%): 100.012
Max. virtual memory (Kb): 79756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####