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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-qap10.opb
MD5SUM	1c2ccb44cf4c8d63886f263017961035
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	190
Optimality of the best value was proved	NO
Number of terms in the objective function	52200
Biggest coefficient in the objective function	26214400
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	24146585100
Number of bits of the sum of numbers in the objective function	35
Biggest number in a constraint	26214400
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	24146585100
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.22
Number of variables	83000
Total number of constraints	1820
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1820
Minimum length of a constraint	200
Maximum length of a constraint	200
Trace number 27999

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-25 00:06:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14783 boxname=wulflinc18 idbench=1138 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1c2ccb44cf4c8d63886f263017961035  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-qap10.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-qap10.opb
IDLAUNCH: 14783
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        837672 kB
Buffers:         17408 kB
Cached:         157944 kB
SwapCached:        836 kB
Active:          39984 kB
Inactive:       137872 kB
HighTotal:      131008 kB
HighFree:        11508 kB
LowTotal:       903652 kB
LowFree:        826164 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            13380 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:26:42 (client local time) WITH STATUS 0 IN 1201 SECONDS
stats: 14783 7 1201 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 83000 variables and 3640 constraints.
#### 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.85 0.94 0.90 2/54 27611
Raw data (stat): 27611 (runsolver) R 27610 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834415152 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.88 0.94 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 967 0 0 0 994 4 0 0 25 0 1 0 834415152 16084992 891 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 891 1111 63 0 3864 0
vsize: 15708
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 1205 0 0 0 1993 5 0 0 25 0 1 0 834415152 17108992 1129 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4177 1129 1111 63 0 4114 0
vsize: 16708
[startup+30.005 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 1448 0 0 0 2993 5 0 0 25 0 1 0 834415152 17985536 1372 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4391 1372 1111 63 0 4328 0
vsize: 17564
[startup+40.0097 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 1701 0 0 0 3993 6 0 0 25 0 1 0 834415152 19021824 1625 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4644 1625 1111 63 0 4581 0
vsize: 18576
[startup+50.0106 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 1944 0 0 0 4991 7 0 0 25 0 1 0 834415152 20021248 1868 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4888 1868 1111 63 0 4825 0
vsize: 19552
[startup+60.0116 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 2194 0 0 0 5990 9 0 0 25 0 1 0 834415152 21037056 2118 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5136 2118 1111 63 0 5073 0
vsize: 20544
[startup+70.0115 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 2451 0 0 0 6990 10 0 0 25 0 1 0 834415152 22179840 2375 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5415 2375 1111 63 0 5352 0
vsize: 21660
[startup+80.0127 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 2702 0 0 0 7989 10 0 0 25 0 1 0 834415152 23191552 2626 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5662 2626 1111 63 0 5599 0
vsize: 22648
[startup+90.0133 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 2954 0 0 0 8988 11 0 0 25 0 1 0 834415152 24195072 2878 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5907 2878 1111 63 0 5844 0
vsize: 23628
[startup+100.017 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 3212 0 0 0 9987 12 0 0 25 0 1 0 834415152 25206784 3136 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6154 3136 1111 63 0 6091 0
vsize: 24616
[startup+110.023 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 3471 0 0 0 10987 13 0 0 25 0 1 0 834415152 26361856 3395 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6436 3395 1111 63 0 6373 0
vsize: 25744
[startup+120.024 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 3734 0 0 0 11986 15 0 0 25 0 1 0 834415152 27381760 3658 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6685 3658 1111 63 0 6622 0
vsize: 26740
[startup+130.025 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 4005 0 0 0 12985 16 0 0 25 0 1 0 834415152 28598272 3929 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6982 3929 1111 63 0 6919 0
vsize: 27928
[startup+140.025 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 4270 0 0 0 13983 17 0 0 25 0 1 0 834415152 29593600 4194 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7225 4194 1111 63 0 7162 0
vsize: 28900
[startup+150.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 4538 0 0 0 14983 18 0 0 25 0 1 0 834415152 30765056 4462 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7511 4462 1111 63 0 7448 0
vsize: 30044
[startup+160.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 4811 0 0 0 15982 19 0 0 25 0 1 0 834415152 31920128 4735 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7793 4735 1111 63 0 7730 0
vsize: 31172
[startup+170.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 5084 0 0 0 16981 20 0 0 25 0 1 0 834415152 32915456 5008 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8036 5008 1111 63 0 7973 0
vsize: 32144
[startup+180.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 5360 0 0 0 17981 21 0 0 25 0 1 0 834415152 34091008 5284 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8323 5284 1111 63 0 8260 0
vsize: 33292
[startup+190.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 5643 0 0 0 18980 22 0 0 25 0 1 0 834415152 35237888 5567 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8603 5567 1111 63 0 8540 0
vsize: 34412
[startup+200.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 5924 0 0 0 19979 23 0 0 25 0 1 0 834415152 36392960 5848 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8885 5848 1111 63 0 8822 0
vsize: 35540
[startup+210.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 6207 0 0 0 20978 24 0 0 25 0 1 0 834415152 37523456 6131 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9161 6131 1111 63 0 9098 0
vsize: 36644
[startup+220.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 6496 0 0 0 21978 24 0 0 25 0 1 0 834415152 38694912 6420 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9447 6420 1111 63 0 9384 0
vsize: 37788
[startup+230.039 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 6786 0 0 0 22977 25 0 0 25 0 1 0 834415152 39878656 6710 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 6710 1111 63 0 9673 0
vsize: 38944
[startup+240.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 7094 0 0 0 23976 26 0 0 25 0 1 0 834415152 41320448 7018 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7018 1111 63 0 10025 0
vsize: 40352
[startup+250.052 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 7391 0 0 0 24977 27 0 0 25 0 1 0 834415152 42475520 7315 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10370 7315 1111 63 0 10307 0
vsize: 41480
[startup+260.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 7690 0 0 0 25977 28 0 0 25 0 1 0 834415152 43778048 7614 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10688 7614 1111 63 0 10625 0
vsize: 42752
[startup+270.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 7995 0 0 0 26976 28 0 0 25 0 1 0 834415152 44924928 7919 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10968 7919 1111 63 0 10905 0
vsize: 43872
[startup+280.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 8302 0 0 0 27976 29 0 0 25 0 1 0 834415152 46235648 8226 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11288 8226 1111 63 0 11225 0
vsize: 45152
[startup+290.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 8608 0 0 0 28976 30 0 0 25 0 1 0 834415152 47390720 8532 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11570 8532 1111 63 0 11507 0
vsize: 46280
[startup+300.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 8920 0 0 0 29975 30 0 0 25 0 1 0 834415152 48697344 8844 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11889 8844 1111 63 0 11826 0
vsize: 47556
[startup+310.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 9242 0 0 0 30973 32 0 0 25 0 1 0 834415152 50008064 9166 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9166 1111 63 0 12146 0
vsize: 48836
[startup+320.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 9572 0 0 0 31973 32 0 0 25 0 1 0 834415152 51445760 9496 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12560 9496 1111 63 0 12497 0
vsize: 50240
[startup+330.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 9910 0 0 0 32972 33 0 0 25 0 1 0 834415152 52736000 9834 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12875 9834 1111 63 0 12812 0
vsize: 51500
[startup+340.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 10261 0 0 0 33972 34 0 0 25 0 1 0 834415152 54169600 10185 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13225 10185 1111 63 0 13162 0
vsize: 52900
[startup+350.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 10637 0 0 0 34982 34 0 0 25 0 1 0 834415152 55771136 10561 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13616 10561 1111 63 0 13553 0
vsize: 54464
[startup+360.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 11015 0 0 0 35981 35 0 0 25 0 1 0 834415152 57233408 10939 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13973 10939 1111 63 0 13910 0
vsize: 55892
[startup+370.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 11422 0 0 0 36981 36 0 0 25 0 1 0 834415152 58966016 11346 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14396 11346 1111 63 0 14333 0
vsize: 57584
[startup+380.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 11837 0 0 0 37980 37 0 0 25 0 1 0 834415152 60555264 11761 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14784 11761 1111 63 0 14721 0
vsize: 59136
[startup+390.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 12269 0 0 0 38980 37 0 0 25 0 1 0 834415152 62418944 12193 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15239 12193 1111 63 0 15176 0
vsize: 60956
[startup+400.189 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 12701 0 0 0 39980 39 0 0 25 0 1 0 834415152 64143360 12625 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15660 12625 1111 63 0 15597 0
vsize: 62640
[startup+410.19 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 13146 0 0 0 40979 40 0 0 25 0 1 0 834415152 66023424 13070 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16119 13070 1111 63 0 16056 0
vsize: 64476
[startup+420.293 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 13632 0 0 0 41988 41 0 0 25 0 1 0 834415152 68136960 13556 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16635 13556 1111 63 0 16572 0
vsize: 66540
[startup+430.299 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 14096 0 0 0 42989 41 0 0 25 0 1 0 834415152 70152192 14020 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17127 14020 1111 63 0 17064 0
vsize: 68508
[startup+440.3 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 14566 0 0 0 43988 42 0 0 25 0 1 0 834415152 72032256 14490 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17586 14490 1111 63 0 17523 0
vsize: 70344
[startup+450.308 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 15029 0 0 0 44988 43 0 0 25 0 1 0 834415152 73920512 14953 4294967295 134512640 134714508 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18047 14953 1111 63 0 17984 0
vsize: 72188
[startup+460.311 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 15490 0 0 0 45988 44 0 0 25 0 1 0 834415152 75780096 15414 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18501 15414 1111 63 0 18438 0
vsize: 74004
[startup+470.311 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 15961 0 0 0 46986 45 0 0 25 0 1 0 834415152 77660160 15885 4294967295 134512640 134714508 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18960 15885 1111 63 0 18897 0
vsize: 75840
[startup+480.312 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 16447 0 0 0 47985 47 0 0 25 0 1 0 834415152 79699968 16371 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19458 16371 1111 63 0 19395 0
vsize: 77832
[startup+490.319 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 16981 0 0 0 48985 47 0 0 25 0 1 0 834415152 81850368 16905 4294967295 134512640 134714508 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19983 16905 1111 63 0 19920 0
vsize: 79932
[startup+500.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 17513 0 0 0 49985 48 0 0 25 0 1 0 834415152 84017152 17437 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20512 17437 1111 63 0 20449 0
vsize: 82048
[startup+510.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 18078 0 0 0 50984 49 0 0 25 0 1 0 834415152 86319104 18002 4294967295 134512640 134714508 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21074 18002 1111 63 0 21011 0
vsize: 84296
[startup+520.429 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 18643 0 0 0 51994 50 0 0 25 0 1 0 834415152 88625152 18567 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21637 18567 1111 63 0 21574 0
vsize: 86548
[startup+530.434 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 19199 0 0 0 52993 52 0 0 25 0 1 0 834415152 90927104 19123 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22199 19123 1111 63 0 22136 0
vsize: 88796
[startup+540.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 19735 0 0 0 53992 53 0 0 25 0 1 0 834415152 93093888 19659 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22728 19659 1111 63 0 22665 0
vsize: 90912
[startup+550.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 20273 0 0 0 54991 54 0 0 25 0 1 0 834415152 95264768 20197 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23258 20197 1111 63 0 23195 0
vsize: 93032
[startup+560.438 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 20832 0 0 0 55990 55 0 0 25 0 1 0 834415152 97566720 20756 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23820 20756 1111 63 0 23757 0
vsize: 95280
[startup+570.437 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 23254 0 0 0 56986 60 0 0 25 0 1 0 834415152 106577920 22970 4294967295 134512640 134714508 3221224576 3221221116 1077091057 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26020 22971 1111 63 0 25957 0
vsize: 104080
[startup+580.438 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 30146 0 0 0 57970 75 0 0 25 0 1 0 834415152 134963200 29736 4294967295 134512640 134714508 3221224576 3221222880 134566562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32950 29736 1111 63 0 32887 0
vsize: 131800
[startup+590.447 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 34688 0 0 0 58960 86 0 0 25 0 1 0 834415152 153460736 34278 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37466 34278 1111 63 0 37403 0
vsize: 149864
[startup+600.448 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 36255 0 0 0 59957 89 0 0 25 0 1 0 834415152 159838208 35845 4294967295 134512640 134714508 3221224576 3221222492 1077270186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39023 35845 1111 63 0 38960 0
vsize: 156092
[startup+610.448 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 39728 0 0 0 60949 97 0 0 25 0 1 0 834415152 173953024 39318 4294967295 134512640 134714508 3221224576 3221222236 1077246007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42469 39318 1111 63 0 42406 0
vsize: 169876
[startup+620.448 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 41126 0 0 0 61944 101 0 0 25 0 1 0 834415152 179765248 40716 4294967295 134512640 134714508 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43888 40716 1111 63 0 43825 0
vsize: 175552
[startup+630.45 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 42491 0 0 0 62941 105 0 0 25 0 1 0 834415152 185307136 42081 4294967295 134512640 134714508 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45241 42081 1111 63 0 45178 0
vsize: 180964
[startup+640.45 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 43852 0 0 0 63937 108 0 0 25 0 1 0 834415152 190849024 43442 4294967295 134512640 134714508 3221224576 3221222880 134566557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46594 43442 1111 63 0 46531 0
vsize: 186376
[startup+650.457 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 45171 0 0 0 64935 111 0 0 25 0 1 0 834415152 196255744 44761 4294967295 134512640 134714508 3221224576 3221221052 1077191832 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47914 44761 1111 63 0 47851 0
vsize: 191656
[startup+660.56 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 54204 0 0 0 65924 132 0 0 25 0 1 0 834415152 225263616 53529 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54996 53529 1111 63 0 54933 0
vsize: 219984
[startup+670.56 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 56668 0 0 0 66920 137 0 0 25 0 1 0 834415152 235270144 55993 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57439 55993 1111 63 0 57376 0
vsize: 229756
[startup+680.572 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 59070 0 0 0 67916 141 0 0 25 0 1 0 834415152 245141504 58395 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59849 58395 1111 63 0 59786 0
vsize: 239396
[startup+690.578 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 61404 0 0 0 68913 145 0 0 25 0 1 0 834415152 254742528 60729 4294967295 134512640 134714508 3221224576 3221223080 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62193 60731 1111 63 0 62130 0
vsize: 248772
[startup+700.578 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 63645 0 0 0 69909 150 0 0 25 0 1 0 834415152 263938048 62970 4294967295 134512640 134714508 3221224576 3221222944 134543046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64438 62970 1111 63 0 64375 0
vsize: 257752
[startup+710.583 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 65859 0 0 0 70907 153 0 0 25 0 1 0 834415152 272998400 65184 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66650 65184 1111 63 0 66587 0
vsize: 266600
[startup+720.588 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 68008 0 0 0 71904 156 0 0 25 0 1 0 834415152 281788416 67333 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68796 67333 1111 63 0 68733 0
vsize: 275184
[startup+730.595 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 70096 0 0 0 72901 159 0 0 25 0 1 0 834415152 290308096 69421 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70876 69421 1111 63 0 70813 0
vsize: 283504
[startup+740.595 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 72119 0 0 0 73898 163 0 0 25 0 1 0 834415152 298688512 71444 4294967295 134512640 134714508 3221224576 3221223304 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72922 71444 1111 63 0 72859 0
vsize: 291688
[startup+750.595 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 74048 0 0 0 74895 166 0 0 25 0 1 0 834415152 306532352 73373 4294967295 134512640 134714508 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74837 73373 1111 63 0 74774 0
vsize: 299348
[startup+760.609 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 76025 0 0 0 75893 169 0 0 25 0 1 0 834415152 314646528 75350 4294967295 134512640 134714508 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76818 75350 1111 63 0 76755 0
vsize: 307272
[startup+770.61 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 78183 0 0 0 76889 173 0 0 25 0 1 0 834415152 323436544 77508 4294967295 134512640 134714508 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78964 77508 1111 63 0 78901 0
vsize: 315856
[startup+780.61 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 80283 0 0 0 77886 178 0 0 25 0 1 0 834415152 332091392 79608 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81077 79608 1111 63 0 81014 0
vsize: 324308
[startup+790.613 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 82284 0 0 0 78882 181 0 0 25 0 1 0 834415152 340205568 81609 4294967295 134512640 134714508 3221224576 3221223056 134536707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83058 81609 1111 63 0 82995 0
vsize: 332232
[startup+800.622 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 84258 0 0 0 79879 185 0 0 25 0 1 0 834415152 348319744 83583 4294967295 134512640 134714508 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85039 83583 1111 63 0 84976 0
vsize: 340156
[startup+810.622 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 86164 0 0 0 80876 189 0 0 25 0 1 0 834415152 356163584 85489 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86954 85489 1111 63 0 86891 0
vsize: 347816
[startup+820.624 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 87978 0 0 0 81873 192 0 0 25 0 1 0 834415152 363597824 87303 4294967295 134512640 134714508 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88769 87303 1111 63 0 88706 0
vsize: 355076
[startup+830.625 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 89760 0 0 0 82870 196 0 0 25 0 1 0 834415152 370900992 89085 4294967295 134512640 134714508 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90552 89085 1111 63 0 90489 0
vsize: 362208
[startup+840.625 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 91475 0 0 0 83866 199 0 0 25 0 1 0 834415152 377933824 90800 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92269 90800 1111 63 0 92206 0
vsize: 369076
[startup+850.626 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 93188 0 0 0 84864 202 0 0 25 0 1 0 834415152 384966656 92513 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93986 92513 1111 63 0 93923 0
vsize: 375944
[startup+860.626 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 94989 0 0 0 85860 206 0 0 25 0 1 0 834415152 392265728 94314 4294967295 134512640 134714508 3221224576 3221222956 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95768 94314 1111 63 0 95705 0
vsize: 383072
[startup+870.626 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 96758 0 0 0 86857 209 0 0 25 0 1 0 834415152 399568896 96083 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97551 96083 1111 63 0 97488 0
vsize: 390204
[startup+880.627 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 98467 0 0 0 87854 212 0 0 25 0 1 0 834415152 406601728 97792 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99268 97792 1111 63 0 99205 0
vsize: 397072
[startup+890.626 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 100084 0 0 0 88851 215 0 0 25 0 1 0 834415152 413229056 99409 4294967295 134512640 134714508 3221224576 3221223136 134535767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100886 99409 1111 63 0 100823 0
vsize: 403544
[startup+900.627 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 101823 0 0 0 89848 219 0 0 25 0 1 0 834415152 420257792 101148 4294967295 134512640 134714508 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102602 101148 1111 63 0 102539 0
vsize: 410408
[startup+910.627 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 103587 0 0 0 90844 222 0 0 25 0 1 0 834415152 427560960 102912 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104385 102912 1111 63 0 104322 0
vsize: 417540
[startup+920.627 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 105249 0 0 0 91842 225 0 0 25 0 1 0 834415152 434323456 104574 4294967295 134512640 134714508 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106036 104574 1111 63 0 105973 0
vsize: 424144
[startup+930.628 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 106883 0 0 0 92839 228 0 0 25 0 1 0 834415152 441081856 106208 4294967295 134512640 134714508 3221224576 3221223080 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107686 106208 1111 63 0 107623 0
vsize: 430744
[startup+940.632 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 108457 0 0 0 93836 231 0 0 25 0 1 0 834415152 447438848 107782 4294967295 134512640 134714508 3221224576 3221223304 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109238 107782 1111 63 0 109175 0
vsize: 436952
[startup+950.633 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 109958 0 0 0 94833 235 0 0 25 0 1 0 834415152 453660672 109283 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110757 109283 1111 63 0 110694 0
vsize: 443028
[startup+960.633 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 111430 0 0 0 95831 237 0 0 25 0 1 0 834415152 459608064 110755 4294967295 134512640 134714508 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112209 110755 1111 63 0 112146 0
vsize: 448836
[startup+970.633 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 112889 0 0 0 96829 239 0 0 25 0 1 0 834415152 465559552 112214 4294967295 134512640 134714508 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113662 112214 1111 63 0 113599 0
vsize: 454648
[startup+980.633 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 114280 0 0 0 97827 241 0 0 25 0 1 0 834415152 471375872 113605 4294967295 134512640 134714508 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115082 113605 1111 63 0 115019 0
vsize: 460328
[startup+990.633 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 115678 0 0 0 98825 244 0 0 25 0 1 0 834415152 477052928 115003 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116468 115003 1111 63 0 116405 0
vsize: 465872
[startup+1000.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 117049 0 0 0 99823 246 0 0 25 0 1 0 834415152 482598912 116374 4294967295 134512640 134714508 3221224576 3221223304 134672921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117822 116374 1111 63 0 117759 0
vsize: 471288
[startup+1010.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 118332 0 0 0 100820 249 0 0 25 0 1 0 834415152 487870464 117657 4294967295 134512640 134714508 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119109 117657 1111 63 0 119046 0
vsize: 476436
[startup+1020.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 119572 0 0 0 101819 251 0 0 25 0 1 0 834415152 493010944 118897 4294967295 134512640 134714508 3221224576 3221223184 134529276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120364 118897 1111 63 0 120301 0
vsize: 481456
[startup+1030.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 120754 0 0 0 102816 253 0 0 25 0 1 0 834415152 497881088 120079 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121553 120079 1111 63 0 121490 0
vsize: 486212
[startup+1040.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 121870 0 0 0 103815 255 0 0 25 0 1 0 834415152 502341632 121195 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122642 121195 1111 63 0 122579 0
vsize: 490568
[startup+1050.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 123003 0 0 0 104814 256 0 0 25 0 1 0 834415152 507072512 122328 4294967295 134512640 134714508 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123797 122328 1111 63 0 123734 0
vsize: 495188
[startup+1060.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 124160 0 0 0 105812 258 0 0 25 0 1 0 834415152 511807488 123485 4294967295 134512640 134714508 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124953 123485 1111 63 0 124890 0
vsize: 499812
[startup+1070.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 125250 0 0 0 106810 260 0 0 25 0 1 0 834415152 516268032 124575 4294967295 134512640 134714508 3221224576 3221223040 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126042 124575 1111 63 0 125979 0
vsize: 504168
[startup+1080.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 126276 0 0 0 107809 261 0 0 25 0 1 0 834415152 520462336 125601 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127066 125601 1111 63 0 127003 0
vsize: 508264
[startup+1090.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 127226 0 0 0 108808 262 0 0 25 0 1 0 834415152 524382208 126551 4294967295 134512640 134714508 3221224576 3221223240 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128023 126551 1111 63 0 127960 0
vsize: 512092
[startup+1100.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 128055 0 0 0 109807 264 0 0 25 0 1 0 834415152 527765504 127380 4294967295 134512640 134714508 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128849 127380 1111 63 0 128786 0
vsize: 515396
[startup+1110.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 128738 0 0 0 110807 265 0 0 25 0 1 0 834415152 530468864 128063 4294967295 134512640 134714508 3221224576 3221223056 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129509 128063 1111 63 0 129446 0
vsize: 518036
[startup+1120.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 129433 0 0 0 111806 267 0 0 25 0 1 0 834415152 533442560 128758 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130235 128758 1111 63 0 130172 0
vsize: 520940
[startup+1130.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 130179 0 0 0 112805 268 0 0 25 0 1 0 834415152 536420352 129504 4294967295 134512640 134714508 3221224576 3221223328 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130962 129504 1111 63 0 130899 0
vsize: 523848
[startup+1140.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 130900 0 0 0 113804 269 0 0 25 0 1 0 834415152 539394048 130225 4294967295 134512640 134714508 3221224576 3221223308 134672949 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131688 130225 1111 63 0 131625 0
vsize: 526752
[startup+1150.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 131565 0 0 0 114803 270 0 0 25 0 1 0 834415152 542097408 130890 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132348 130890 1111 63 0 132285 0
vsize: 529392
[startup+1160.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 132193 0 0 0 115802 271 0 0 25 0 1 0 834415152 544665600 131518 4294967295 134512640 134714508 3221224576 3221223304 134672906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132975 131518 1111 63 0 132912 0
vsize: 531900
[startup+1170.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 132894 0 0 0 116802 272 0 0 25 0 1 0 834415152 547508224 132219 4294967295 134512640 134714508 3221224576 3221223304 134672932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133669 132219 1111 63 0 133606 0
vsize: 534676
[startup+1180.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 133570 0 0 0 117801 273 0 0 25 0 1 0 834415152 550346752 132895 4294967295 134512640 134714508 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134362 132895 1111 63 0 134299 0
vsize: 537448
[startup+1190.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 134182 0 0 0 118800 274 0 0 25 0 1 0 834415152 552779776 133507 4294967295 134512640 134714508 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134956 133507 1111 63 0 134893 0
vsize: 539824
[startup+1200.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) R 27610 24172 24171 0 -1 0 134609 0 0 0 119799 275 0 0 25 0 1 0 834415152 554541056 133934 4294967295 134512640 134714508 3221224576 3221223080 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135386 133934 1111 63 0 135323 0
vsize: 541544
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27611
Raw data (stat): 27611 (bsolo_lpr_cuts) Z 27610 24172 24171 0 -1 1036 134609 0 0 0 119799 300 0 0 25 0 1 0 834415152 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.91
CPU time (s): 1201
CPU user time (s): 1198
CPU system time (s): 3.00154
CPU usage (%): 100.008
Max. virtual memory (Kb): 541544
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####