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/MIPLIB/miplib2003/normalized-mps-v2-20-10-momentum3.opb
MD5SUM	fd20bcfe4a71405dc1e0ef3cb894b630
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	87370
Biggest coefficient in the objective function	1310720000
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	13573186735
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	10240000000000000927712935936
Number of bits of the biggest number in a constraint	94
Biggest sum of numbers in a constraint	29801266744107043904416645120
Number of bits of the biggest sum of numbers	95
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.893863
Number of variables	93400
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	1018
Trace number 28496

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-25 02:40:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12768 boxname=wulflinc25 idbench=983 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 12768
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        301904 kB
Buffers:         10020 kB
Cached:         698220 kB
SwapCached:        592 kB
Active:         325424 kB
Inactive:       385140 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        301624 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            16464 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:00:44 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 12768 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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): 1.07 1.02 1.00 2/54 7894
Raw data (stat): 7894 (runsolver) R 7893 1586 1585 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835368029 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+9.9997 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 1210 0 0 0 994 3 0 0 25 0 1 0 835368029 16711680 1134 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4080 1134 1111 63 0 4017 0
vsize: 16320
[startup+20.0001 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 1616 0 0 0 1993 4 0 0 25 0 1 0 835368029 18345984 1540 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4479 1540 1111 63 0 4416 0
vsize: 17916
[startup+29.9994 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 2018 0 0 0 2993 5 0 0 25 0 1 0 835368029 19992576 1942 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 1942 1111 63 0 4818 0
vsize: 19524
[startup+40.0006 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 2424 0 0 0 3992 6 0 0 25 0 1 0 835368029 21626880 2348 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5280 2348 1111 63 0 5217 0
vsize: 21120
[startup+50.0009 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 2834 0 0 0 4991 7 0 0 25 0 1 0 835368029 23392256 2758 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 2758 1111 63 0 5648 0
vsize: 22844
[startup+60.0012 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 3241 0 0 0 5990 8 0 0 25 0 1 0 835368029 25026560 3165 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6110 3165 1111 63 0 6047 0
vsize: 24440
[startup+70.0076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 3696 0 0 0 6990 9 0 0 25 0 1 0 835368029 26841088 3620 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6553 3620 1111 63 0 6490 0
vsize: 26212
[startup+80.0098 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 4240 0 0 0 7990 9 0 0 25 0 1 0 835368029 29147136 4164 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7116 4164 1111 63 0 7053 0
vsize: 28464
[startup+90.0101 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 4766 0 0 0 8990 10 0 0 25 0 1 0 835368029 31272960 4690 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7635 4690 1111 63 0 7572 0
vsize: 30540
[startup+100.01 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 5263 0 0 0 9989 11 0 0 25 0 1 0 835368029 33271808 5187 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8123 5187 1111 63 0 8060 0
vsize: 32492
[startup+110.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 5772 0 0 0 10989 11 0 0 25 0 1 0 835368029 35409920 5696 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8645 5696 1111 63 0 8582 0
vsize: 34580
[startup+120.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 6282 0 0 0 11988 12 0 0 25 0 1 0 835368029 37548032 6206 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9167 6206 1111 63 0 9104 0
vsize: 36668
[startup+130.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 6791 0 0 0 12988 13 0 0 25 0 1 0 835368029 39526400 6715 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 6715 1111 63 0 9587 0
vsize: 38600
[startup+140.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 7301 0 0 0 13987 13 0 0 25 0 1 0 835368029 41664512 7225 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10172 7225 1111 63 0 10109 0
vsize: 40688
[startup+150.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 7809 0 0 0 14986 15 0 0 25 0 1 0 835368029 43663360 7733 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 7733 1111 63 0 10597 0
vsize: 42640
[startup+160.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 8319 0 0 0 15986 15 0 0 25 0 1 0 835368029 45801472 8243 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11182 8243 1111 63 0 11119 0
vsize: 44728
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 8840 0 0 0 16985 16 0 0 25 0 1 0 835368029 47939584 8764 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11704 8764 1111 63 0 11641 0
vsize: 46816
[startup+180.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 9359 0 0 0 17985 17 0 0 25 0 1 0 835368029 50085888 9283 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12228 9283 1111 63 0 12165 0
vsize: 48912
[startup+190.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 9880 0 0 0 18984 18 0 0 25 0 1 0 835368029 52224000 9804 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12750 9804 1111 63 0 12687 0
vsize: 51000
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 10404 0 0 0 19983 18 0 0 25 0 1 0 835368029 54358016 10328 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13271 10328 1111 63 0 13208 0
vsize: 53084
[startup+210.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 10919 0 0 0 20982 20 0 0 25 0 1 0 835368029 56496128 10843 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13793 10843 1111 63 0 13730 0
vsize: 55172
[startup+220.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 11449 0 0 0 21982 21 0 0 25 0 1 0 835368029 58634240 11373 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14315 11373 1111 63 0 14252 0
vsize: 57260
[startup+230.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 11970 0 0 0 22980 22 0 0 25 0 1 0 835368029 60768256 11894 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14836 11894 1111 63 0 14773 0
vsize: 59344
[startup+240.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 12495 0 0 0 23979 23 0 0 25 0 1 0 835368029 62902272 12419 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15357 12419 1111 63 0 15294 0
vsize: 61428
[startup+250.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 13029 0 0 0 24979 24 0 0 25 0 1 0 835368029 65179648 12953 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15913 12953 1111 63 0 15850 0
vsize: 63652
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 13553 0 0 0 25978 25 0 0 25 0 1 0 835368029 67313664 13477 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 13477 1111 63 0 16371 0
vsize: 65736
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 14087 0 0 0 26978 25 0 0 25 0 1 0 835368029 69447680 14011 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16955 14011 1111 63 0 16892 0
vsize: 67820
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 14624 0 0 0 27976 27 0 0 25 0 1 0 835368029 71589888 14548 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17478 14548 1111 63 0 17415 0
vsize: 69912
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 15159 0 0 0 28975 28 0 0 25 0 1 0 835368029 73859072 15083 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18032 15083 1111 63 0 17969 0
vsize: 72128
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 15701 0 0 0 29975 29 0 0 25 0 1 0 835368029 75993088 15625 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18553 15625 1111 63 0 18490 0
vsize: 74212
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 16243 0 0 0 30974 30 0 0 25 0 1 0 835368029 78286848 16167 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19113 16167 1111 63 0 19050 0
vsize: 76452
[startup+320.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 16785 0 0 0 31973 31 0 0 25 0 1 0 835368029 80560128 16709 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19668 16709 1111 63 0 19605 0
vsize: 78672
[startup+330.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 17326 0 0 0 32972 32 0 0 25 0 1 0 835368029 82698240 17250 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20190 17250 1111 63 0 20127 0
vsize: 80760
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 17893 0 0 0 33971 34 0 0 25 0 1 0 835368029 85209088 17817 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20803 17817 1111 63 0 20740 0
vsize: 83212
[startup+350.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 18442 0 0 0 34969 35 0 0 25 0 1 0 835368029 87326720 18366 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18366 1111 63 0 21257 0
vsize: 85280
[startup+360.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 18991 0 0 0 35969 36 0 0 25 0 1 0 835368029 89620480 18915 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21880 18915 1111 63 0 21817 0
vsize: 87520
[startup+370.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 19539 0 0 0 36968 37 0 0 25 0 1 0 835368029 91889664 19463 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22434 19463 1111 63 0 22371 0
vsize: 89736
[startup+380.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 20102 0 0 0 37967 38 0 0 25 0 1 0 835368029 94187520 20026 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22995 20026 1111 63 0 22932 0
vsize: 91980
[startup+390.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 20650 0 0 0 38966 39 0 0 25 0 1 0 835368029 96456704 20574 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23549 20574 1111 63 0 23486 0
vsize: 94196
[startup+400.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 21212 0 0 0 39965 40 0 0 25 0 1 0 835368029 98725888 21136 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24103 21136 1111 63 0 24040 0
vsize: 96412
[startup+410.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 21773 0 0 0 40964 41 0 0 25 0 1 0 835368029 101023744 21697 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24664 21697 1111 63 0 24601 0
vsize: 98656
[startup+420.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 22335 0 0 0 41964 42 0 0 25 0 1 0 835368029 103292928 22259 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25218 22259 1111 63 0 25155 0
vsize: 100872
[startup+430.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 22896 0 0 0 42963 43 0 0 25 0 1 0 835368029 105586688 22820 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25778 22820 1111 63 0 25715 0
vsize: 103112
[startup+440.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 23460 0 0 0 43962 44 0 0 25 0 1 0 835368029 107859968 23384 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26333 23384 1111 63 0 26270 0
vsize: 105332
[startup+450.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 24020 0 0 0 44961 45 0 0 25 0 1 0 835368029 110264320 23944 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26920 23944 1111 63 0 26857 0
vsize: 107680
[startup+460.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 24595 0 0 0 45961 46 0 0 25 0 1 0 835368029 112533504 24519 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27474 24519 1111 63 0 27411 0
vsize: 109896
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 25157 0 0 0 46960 47 0 0 25 0 1 0 835368029 114782208 25081 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28023 25081 1111 63 0 27960 0
vsize: 112092
[startup+480.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 25732 0 0 0 47959 48 0 0 25 0 1 0 835368029 117211136 25656 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28616 25656 1111 63 0 28553 0
vsize: 114464
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 26307 0 0 0 48958 49 0 0 25 0 1 0 835368029 119500800 26231 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29175 26231 1111 63 0 29112 0
vsize: 116700
[startup+500.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 26882 0 0 0 49957 51 0 0 25 0 1 0 835368029 121913344 26806 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29764 26806 1111 63 0 29701 0
vsize: 119056
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 27462 0 0 0 50956 51 0 0 25 0 1 0 835368029 124338176 27386 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30356 27386 1111 63 0 30293 0
vsize: 121424
[startup+520.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 28045 0 0 0 51955 52 0 0 25 0 1 0 835368029 126615552 27969 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30912 27969 1111 63 0 30849 0
vsize: 123648
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 28626 0 0 0 52955 53 0 0 25 0 1 0 835368029 129040384 28550 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31504 28550 1111 63 0 31441 0
vsize: 126016
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 29207 0 0 0 53954 54 0 0 25 0 1 0 835368029 131465216 29131 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32096 29131 1111 63 0 32033 0
vsize: 128384
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 29795 0 0 0 54953 56 0 0 25 0 1 0 835368029 133877760 29719 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32685 29719 1111 63 0 32622 0
vsize: 130740
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 30382 0 0 0 55951 57 0 0 25 0 1 0 835368029 136167424 30306 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33244 30306 1111 63 0 33181 0
vsize: 132976
[startup+570.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 30977 0 0 0 56950 59 0 0 25 0 1 0 835368029 138579968 30901 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33833 30901 1111 63 0 33770 0
vsize: 135332
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 31571 0 0 0 57949 59 0 0 25 0 1 0 835368029 141139968 31495 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34458 31495 1111 63 0 34395 0
vsize: 137832
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 32166 0 0 0 58949 60 0 0 25 0 1 0 835368029 143544320 32090 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35045 32090 1111 63 0 34982 0
vsize: 140180
[startup+600.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 32760 0 0 0 59948 61 0 0 25 0 1 0 835368029 145944576 32684 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35631 32684 1111 63 0 35568 0
vsize: 142524
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 33361 0 0 0 60948 62 0 0 25 0 1 0 835368029 148348928 33285 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36218 33285 1111 63 0 36155 0
vsize: 144872
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 33962 0 0 0 61947 63 0 0 25 0 1 0 835368029 150917120 33886 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36845 33886 1111 63 0 36782 0
vsize: 147380
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 34567 0 0 0 62946 64 0 0 25 0 1 0 835368029 153341952 34491 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37437 34491 1111 63 0 37374 0
vsize: 149748
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 35213 0 0 0 63945 65 0 0 25 0 1 0 835368029 156291072 35137 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38157 35137 1111 63 0 38094 0
vsize: 152628
[startup+650.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 35814 0 0 0 64944 66 0 0 25 0 1 0 835368029 158724096 35738 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38751 35738 1111 63 0 38688 0
vsize: 155004
[startup+660.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 36430 0 0 0 65943 68 0 0 25 0 1 0 835368029 161136640 36354 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39340 36354 1111 63 0 39277 0
vsize: 157360
[startup+670.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 37042 0 0 0 66942 69 0 0 25 0 1 0 835368029 163696640 36966 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39965 36966 1111 63 0 39902 0
vsize: 159860
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 37664 0 0 0 67941 70 0 0 25 0 1 0 835368029 166264832 37588 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40592 37588 1111 63 0 40529 0
vsize: 162368
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 38278 0 0 0 68940 71 0 0 25 0 1 0 835368029 168824832 38202 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41217 38202 1111 63 0 41154 0
vsize: 164868
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 38905 0 0 0 69939 72 0 0 25 0 1 0 835368029 171257856 38829 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41811 38829 1111 63 0 41748 0
vsize: 167244
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 39531 0 0 0 70938 73 0 0 25 0 1 0 835368029 173817856 39455 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42436 39455 1111 63 0 42373 0
vsize: 169744
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 40159 0 0 0 71937 74 0 0 25 0 1 0 835368029 176386048 40083 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43063 40083 1111 63 0 43000 0
vsize: 172252
[startup+730.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 40799 0 0 0 72936 76 0 0 25 0 1 0 835368029 179081216 40723 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43721 40723 1111 63 0 43658 0
vsize: 174884
[startup+740.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 41433 0 0 0 73935 77 0 0 25 0 1 0 835368029 181645312 41357 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44347 41357 1111 63 0 44284 0
vsize: 177388
[startup+750.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 42079 0 0 0 74934 78 0 0 25 0 1 0 835368029 184365056 42003 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45011 42003 1111 63 0 44948 0
vsize: 180044
[startup+760.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 42720 0 0 0 75933 79 0 0 25 0 1 0 835368029 186908672 42644 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45632 42644 1111 63 0 45569 0
vsize: 182528
[startup+770.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 43372 0 0 0 76933 80 0 0 25 0 1 0 835368029 189628416 43296 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46296 43296 1111 63 0 46233 0
vsize: 185184
[startup+780.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 44020 0 0 0 77931 81 0 0 25 0 1 0 835368029 192192512 43944 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46922 43944 1111 63 0 46859 0
vsize: 187688
[startup+790.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 44678 0 0 0 78930 83 0 0 25 0 1 0 835368029 194891776 44602 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47581 44602 1111 63 0 47518 0
vsize: 190324
[startup+800.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 45333 0 0 0 79930 83 0 0 25 0 1 0 835368029 197611520 45257 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48245 45257 1111 63 0 48182 0
vsize: 192980
[startup+810.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 45992 0 0 0 80929 85 0 0 25 0 1 0 835368029 200314880 45916 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48905 45916 1111 63 0 48842 0
vsize: 195620
[startup+820.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 46651 0 0 0 81927 87 0 0 25 0 1 0 835368029 203010048 46575 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49563 46575 1111 63 0 49500 0
vsize: 198252
[startup+830.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 47319 0 0 0 82926 88 0 0 25 0 1 0 835368029 205733888 47243 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50228 47243 1111 63 0 50165 0
vsize: 200912
[startup+840.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 47983 0 0 0 83925 89 0 0 25 0 1 0 835368029 208429056 47907 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50886 47907 1111 63 0 50823 0
vsize: 203544
[startup+850.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 48663 0 0 0 84923 91 0 0 25 0 1 0 835368029 211238912 48587 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51572 48587 1111 63 0 51509 0
vsize: 206288
[startup+860.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 49343 0 0 0 85922 92 0 0 25 0 1 0 835368029 214069248 49267 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52263 49267 1111 63 0 52200 0
vsize: 209052
[startup+870.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 50021 0 0 0 86921 93 0 0 25 0 1 0 835368029 216788992 49945 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52927 49945 1111 63 0 52864 0
vsize: 211708
[startup+880.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 50702 0 0 0 87920 94 0 0 25 0 1 0 835368029 219623424 50626 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53619 50626 1111 63 0 53556 0
vsize: 214476
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 51392 0 0 0 88920 95 0 0 25 0 1 0 835368029 222343168 51316 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54283 51316 1111 63 0 54220 0
vsize: 217132
[startup+900.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 52086 0 0 0 89919 96 0 0 25 0 1 0 835368029 225177600 52010 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54975 52010 1111 63 0 54912 0
vsize: 219900
[startup+910.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 52779 0 0 0 90918 98 0 0 25 0 1 0 835368029 228036608 52703 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55673 52703 1111 63 0 55610 0
vsize: 222692
[startup+920.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 53470 0 0 0 91917 99 0 0 25 0 1 0 835368029 230887424 53394 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56369 53394 1111 63 0 56306 0
vsize: 225476
[startup+930.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 54176 0 0 0 92916 100 0 0 25 0 1 0 835368029 233725952 54100 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57062 54100 1111 63 0 56999 0
vsize: 228248
[startup+940.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 54882 0 0 0 93915 101 0 0 25 0 1 0 835368029 236584960 54806 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57760 54806 1111 63 0 57697 0
vsize: 231040
[startup+950.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 55588 0 0 0 94914 102 0 0 25 0 1 0 835368029 239575040 55512 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58490 55512 1111 63 0 58427 0
vsize: 233960
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 56299 0 0 0 95913 103 0 0 25 0 1 0 835368029 242405376 56223 4294967295 134512640 134714508 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59181 56223 1111 63 0 59118 0
vsize: 236724
[startup+970.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 57018 0 0 0 96912 104 0 0 25 0 1 0 835368029 245370880 56942 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59905 56942 1111 63 0 59842 0
vsize: 239620
[startup+980.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 57743 0 0 0 97912 105 0 0 25 0 1 0 835368029 248365056 57667 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60636 57667 1111 63 0 60573 0
vsize: 242544
[startup+990.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 58475 0 0 0 98911 106 0 0 25 0 1 0 835368029 251351040 58399 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61365 58399 1111 63 0 61302 0
vsize: 245460
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 59206 0 0 0 99910 107 0 0 25 0 1 0 835368029 254345216 59130 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62096 59130 1111 63 0 62033 0
vsize: 248384
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 59951 0 0 0 100909 108 0 0 25 0 1 0 835368029 257335296 59875 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62826 59875 1111 63 0 62763 0
vsize: 251304
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 60697 0 0 0 101908 110 0 0 25 0 1 0 835368029 260485120 60621 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63595 60621 1111 63 0 63532 0
vsize: 254380
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 61448 0 0 0 102907 111 0 0 25 0 1 0 835368029 263471104 61372 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64324 61372 1111 63 0 64261 0
vsize: 257296
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 62198 0 0 0 103906 112 0 0 25 0 1 0 835368029 266600448 62122 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65088 62122 1111 63 0 65025 0
vsize: 260352
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 62956 0 0 0 104905 113 0 0 25 0 1 0 835368029 269725696 62880 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65851 62880 1111 63 0 65788 0
vsize: 263404
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 63720 0 0 0 105904 114 0 0 25 0 1 0 835368029 272822272 63644 4294967295 134512640 134714508 3221224576 3221223232 134527972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66607 63644 1111 63 0 66544 0
vsize: 266428
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 64484 0 0 0 106902 116 0 0 25 0 1 0 835368029 275951616 64408 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67371 64408 1111 63 0 67308 0
vsize: 269484
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 65256 0 0 0 107900 118 0 0 25 0 1 0 835368029 279076864 65180 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68134 65180 1111 63 0 68071 0
vsize: 272536
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 66025 0 0 0 108899 120 0 0 25 0 1 0 835368029 282222592 65949 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68902 65949 1111 63 0 68839 0
vsize: 275608
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 66797 0 0 0 109898 121 0 0 25 0 1 0 835368029 285347840 66721 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69665 66721 1111 63 0 69602 0
vsize: 278660
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 67580 0 0 0 110898 121 0 0 25 0 1 0 835368029 288632832 67504 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70467 67504 1111 63 0 70404 0
vsize: 281868
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 68365 0 0 0 111897 122 0 0 25 0 1 0 835368029 291762176 68289 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71231 68289 1111 63 0 71168 0
vsize: 284924
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 69149 0 0 0 112895 124 0 0 25 0 1 0 835368029 295043072 69073 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72032 69073 1111 63 0 71969 0
vsize: 288128
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 69946 0 0 0 113895 125 0 0 25 0 1 0 835368029 298307584 69870 4294967295 134512640 134714508 3221224576 3221222508 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72829 69870 1111 63 0 72766 0
vsize: 291316
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 70871 0 0 0 114892 128 0 0 25 0 1 0 835368029 302313472 70669 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73807 70669 1111 63 0 73744 0
vsize: 295228
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7894
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 71669 0 0 0 115891 129 0 0 25 0 1 0 835368029 305598464 71467 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74609 71467 1111 63 0 74546 0
vsize: 298436
[startup+1170.02 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 7947
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 72480 0 0 0 116889 131 0 0 25 0 1 0 835368029 308858880 72278 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75405 72278 1111 63 0 75342 0
vsize: 301620
[startup+1180.02 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 7947
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 73290 0 0 0 117888 133 0 0 25 0 1 0 835368029 312143872 73088 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76207 73088 1111 63 0 76144 0
vsize: 304828
[startup+1190.02 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 7947
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 74108 0 0 0 118887 133 0 0 25 0 1 0 835368029 315559936 73906 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77041 73906 1111 63 0 76978 0
vsize: 308164
[startup+1200.02 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7947
Raw data (stat): 7894 (bsolo_lpr_cuts) R 7893 1586 1585 0 -1 0 74923 0 0 0 119885 135 0 0 25 0 1 0 835368029 318816256 74721 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77836 74721 1111 63 0 77773 0
vsize: 311344
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.04 1.01 1.00 1/54 7947
Raw data (stat): 7894 (bsolo_lpr_cuts) Z 7893 1586 1585 0 -1 1036 74923 0 0 0 119885 149 0 0 25 0 1 0 835368029 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.16
CPU time (s): 1200.36
CPU user time (s): 1198.86
CPU system time (s): 1.49677
CPU usage (%): 100.017
Max. virtual memory (Kb): 311344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####