PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-maros-r7.opb
MD5SUM	652a81faea87c0443f84aaa4223a3702
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	125440
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	6576662400
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4020224000000
Number of bits of the biggest number in a constraint	42
Biggest sum of numbers in a constraint	8483418475850
Number of bits of the biggest sum of numbers	43
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.71574
Number of variables	188160
Total number of constraints	3136
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	3136
Minimum length of a constraint	100
Maximum length of a constraint	480
Trace number 26025

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 21:22:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15979 boxname=wulflinc31 idbench=1230 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  652a81faea87c0443f84aaa4223a3702  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros-r7.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-maros-r7.opb
IDLAUNCH: 15979
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        778888 kB
Buffers:          7520 kB
Cached:         227156 kB
SwapCached:       1352 kB
Active:         181468 kB
Inactive:        55700 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        778636 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12928 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 21:42:06 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 15979 7 1200.23 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): 0.98 0.91 0.89 2/55 16635
Raw data (stat): 16635 (runsolver) R 16634 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824780921 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.98 0.92 0.89 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 1195 0 0 0 990 5 0 0 25 0 1 0 824780921 15917056 1118 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3886 1118 1111 63 0 3823 0
vsize: 15544
[startup+20.0023 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 1408 0 0 0 1989 6 0 0 25 0 1 0 824780921 16904192 1331 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4127 1331 1111 63 0 4064 0
vsize: 16508
[startup+30.0022 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 1622 0 0 0 2989 6 0 0 25 0 1 0 824780921 17747968 1545 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4333 1545 1111 63 0 4270 0
vsize: 17332
[startup+40.0024 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 1838 0 0 0 3989 6 0 0 25 0 1 0 824780921 18608128 1761 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1761 1111 63 0 4480 0
vsize: 18172
[startup+50.0031 s]
Raw data (loadavg): 0.99 0.92 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 2057 0 0 0 4989 7 0 0 25 0 1 0 824780921 19447808 1980 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4748 1980 1111 63 0 4685 0
vsize: 18992
[startup+60.003 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 2270 0 0 0 5989 7 0 0 25 0 1 0 824780921 20434944 2193 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4989 2193 1111 63 0 4926 0
vsize: 19956
[startup+70.0042 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 2489 0 0 0 6989 8 0 0 25 0 1 0 824780921 21278720 2412 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 2412 1111 63 0 5132 0
vsize: 20780
[startup+80.0049 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 2703 0 0 0 7988 8 0 0 25 0 1 0 824780921 22118400 2626 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5400 2626 1111 63 0 5337 0
vsize: 21600
[startup+90.0048 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 2916 0 0 0 8988 9 0 0 25 0 1 0 824780921 22966272 2839 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5607 2839 1111 63 0 5544 0
vsize: 22428
[startup+100.005 s]
Raw data (loadavg): 0.99 0.93 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 3136 0 0 0 9988 9 0 0 25 0 1 0 824780921 23953408 3059 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3059 1111 63 0 5785 0
vsize: 23392
[startup+110.006 s]
Raw data (loadavg): 0.99 0.94 0.90 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 3356 0 0 0 10988 9 0 0 25 0 1 0 824780921 24801280 3279 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6055 3279 1111 63 0 5992 0
vsize: 24220
[startup+120.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 3568 0 0 0 11988 9 0 0 25 0 1 0 824780921 25640960 3491 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 3491 1111 63 0 6197 0
vsize: 25040
[startup+130.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 3789 0 0 0 12988 10 0 0 25 0 1 0 824780921 26648576 3712 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6506 3712 1111 63 0 6443 0
vsize: 26024
[startup+140.006 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 4010 0 0 0 13987 10 0 0 25 0 1 0 824780921 27492352 3933 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6712 3933 1111 63 0 6649 0
vsize: 26848
[startup+150.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 4230 0 0 0 14987 11 0 0 25 0 1 0 824780921 28479488 4153 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6953 4153 1111 63 0 6890 0
vsize: 27812
[startup+160.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 4444 0 0 0 15987 11 0 0 25 0 1 0 824780921 29319168 4367 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4367 1111 63 0 7095 0
vsize: 28632
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 4665 0 0 0 16987 12 0 0 25 0 1 0 824780921 30167040 4588 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 4588 1111 63 0 7302 0
vsize: 29460
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 4885 0 0 0 17986 12 0 0 25 0 1 0 824780921 31154176 4808 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7606 4808 1111 63 0 7543 0
vsize: 30424
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 5099 0 0 0 18986 13 0 0 25 0 1 0 824780921 32002048 5022 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7813 5022 1111 63 0 7750 0
vsize: 31252
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 5320 0 0 0 19986 13 0 0 25 0 1 0 824780921 32841728 5243 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8018 5243 1111 63 0 7955 0
vsize: 32072
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 5540 0 0 0 20985 14 0 0 25 0 1 0 824780921 33824768 5463 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8258 5463 1111 63 0 8195 0
vsize: 33032
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 5761 0 0 0 21985 14 0 0 25 0 1 0 824780921 34672640 5684 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8465 5684 1111 63 0 8402 0
vsize: 33860
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 5981 0 0 0 22985 15 0 0 25 0 1 0 824780921 35520512 5904 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8672 5904 1111 63 0 8609 0
vsize: 34688
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 6200 0 0 0 23984 16 0 0 25 0 1 0 824780921 36499456 6123 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8911 6123 1111 63 0 8848 0
vsize: 35644
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 6420 0 0 0 24984 16 0 0 25 0 1 0 824780921 37347328 6343 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9118 6343 1111 63 0 9055 0
vsize: 36472
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 6652 0 0 0 25983 17 0 0 25 0 1 0 824780921 38346752 6575 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9362 6575 1111 63 0 9299 0
vsize: 37448
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 6879 0 0 0 26983 17 0 0 25 0 1 0 824780921 39333888 6802 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9603 6802 1111 63 0 9540 0
vsize: 38412
[startup+280.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 7098 0 0 0 27983 17 0 0 25 0 1 0 824780921 40173568 7021 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9808 7021 1111 63 0 9745 0
vsize: 39232
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 7320 0 0 0 28983 17 0 0 25 0 1 0 824780921 41160704 7243 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10049 7243 1111 63 0 9986 0
vsize: 40196
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 7547 0 0 0 29983 18 0 0 25 0 1 0 824780921 42008576 7470 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10256 7470 1111 63 0 10193 0
vsize: 41024
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 7768 0 0 0 30982 19 0 0 25 0 1 0 824780921 42991616 7691 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7691 1111 63 0 10433 0
vsize: 41984
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 7988 0 0 0 31982 19 0 0 25 0 1 0 824780921 43835392 7911 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10702 7911 1111 63 0 10639 0
vsize: 42808
[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 8216 0 0 0 32982 19 0 0 25 0 1 0 824780921 44822528 8139 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10943 8139 1111 63 0 10880 0
vsize: 43772
[startup+340.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 8443 0 0 0 33982 20 0 0 25 0 1 0 824780921 45666304 8366 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11149 8366 1111 63 0 11086 0
vsize: 44596
[startup+350.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 8665 0 0 0 34982 20 0 0 25 0 1 0 824780921 46653440 8588 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11390 8588 1111 63 0 11327 0
vsize: 45560
[startup+360.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 8893 0 0 0 35982 20 0 0 25 0 1 0 824780921 47493120 8816 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11595 8816 1111 63 0 11532 0
vsize: 46380
[startup+370.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 9118 0 0 0 36981 21 0 0 25 0 1 0 824780921 48480256 9041 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11836 9041 1111 63 0 11773 0
vsize: 47344
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 9340 0 0 0 37981 21 0 0 25 0 1 0 824780921 49328128 9263 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12043 9263 1111 63 0 11980 0
vsize: 48172
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 9568 0 0 0 38981 22 0 0 25 0 1 0 824780921 50315264 9491 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12284 9491 1111 63 0 12221 0
vsize: 49136
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 9795 0 0 0 39981 22 0 0 25 0 1 0 824780921 51159040 9718 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12490 9718 1111 63 0 12427 0
vsize: 49960
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 10022 0 0 0 40981 22 0 0 25 0 1 0 824780921 52142080 9945 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12730 9945 1111 63 0 12667 0
vsize: 50920
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 10250 0 0 0 41980 23 0 0 25 0 1 0 824780921 53129216 10173 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12971 10173 1111 63 0 12908 0
vsize: 51884
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 10477 0 0 0 42980 23 0 0 25 0 1 0 824780921 53972992 10400 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13177 10400 1111 63 0 13114 0
vsize: 52708
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 10706 0 0 0 43980 24 0 0 25 0 1 0 824780921 54964224 10629 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13419 10629 1111 63 0 13356 0
vsize: 53676
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 10932 0 0 0 44980 24 0 0 25 0 1 0 824780921 55803904 10855 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13624 10855 1111 63 0 13561 0
vsize: 54496
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 11160 0 0 0 45980 25 0 0 25 0 1 0 824780921 56786944 11083 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13864 11083 1111 63 0 13801 0
vsize: 55456
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 11393 0 0 0 46980 25 0 0 25 0 1 0 824780921 57778176 11316 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14106 11316 1111 63 0 14043 0
vsize: 56424
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 11621 0 0 0 47979 25 0 0 25 0 1 0 824780921 58621952 11544 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14312 11544 1111 63 0 14249 0
vsize: 57248
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 11848 0 0 0 48979 26 0 0 25 0 1 0 824780921 59609088 11771 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14553 11771 1111 63 0 14490 0
vsize: 58212
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 12098 0 0 0 49979 26 0 0 25 0 1 0 824780921 60678144 12021 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14814 12021 1111 63 0 14751 0
vsize: 59256
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 12326 0 0 0 50979 26 0 0 25 0 1 0 824780921 61657088 12249 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15053 12249 1111 63 0 14990 0
vsize: 60212
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 12561 0 0 0 51979 27 0 0 25 0 1 0 824780921 62644224 12484 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15294 12484 1111 63 0 15231 0
vsize: 61176
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 12789 0 0 0 52979 27 0 0 25 0 1 0 824780921 63627264 12712 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15534 12712 1111 63 0 15471 0
vsize: 62136
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 13023 0 0 0 53978 28 0 0 25 0 1 0 824780921 64471040 12946 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15740 12946 1111 63 0 15677 0
vsize: 62960
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 13256 0 0 0 54977 28 0 0 25 0 1 0 824780921 65458176 13179 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15981 13179 1111 63 0 15918 0
vsize: 63924
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 13485 0 0 0 55977 28 0 0 25 0 1 0 824780921 66441216 13408 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16221 13408 1111 63 0 16158 0
vsize: 64884
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 13719 0 0 0 56977 29 0 0 25 0 1 0 824780921 67432448 13642 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16463 13642 1111 63 0 16400 0
vsize: 65852
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 13954 0 0 0 57977 29 0 0 25 0 1 0 824780921 68276224 13877 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16669 13877 1111 63 0 16606 0
vsize: 66676
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 14187 0 0 0 58977 30 0 0 25 0 1 0 824780921 69255168 14110 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16908 14110 1111 63 0 16845 0
vsize: 67632
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 14421 0 0 0 59976 30 0 0 25 0 1 0 824780921 70246400 14344 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 14344 1111 63 0 17087 0
vsize: 68600
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 14657 0 0 0 60976 31 0 0 25 0 1 0 824780921 71229440 14580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17390 14580 1111 63 0 17327 0
vsize: 69560
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 14892 0 0 0 61975 32 0 0 25 0 1 0 824780921 72216576 14815 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17631 14815 1111 63 0 17568 0
vsize: 70524
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 15126 0 0 0 62975 32 0 0 25 0 1 0 824780921 73064448 15049 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17838 15049 1111 63 0 17775 0
vsize: 71352
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 15360 0 0 0 63975 32 0 0 25 0 1 0 824780921 74043392 15283 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18077 15283 1111 63 0 18014 0
vsize: 72308
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 15601 0 0 0 64975 33 0 0 25 0 1 0 824780921 75030528 15524 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18318 15524 1111 63 0 18255 0
vsize: 73272
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 15835 0 0 0 65974 33 0 0 25 0 1 0 824780921 76017664 15758 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18559 15758 1111 63 0 18496 0
vsize: 74236
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 16070 0 0 0 66974 34 0 0 25 0 1 0 824780921 77004800 15993 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18800 15993 1111 63 0 18737 0
vsize: 75200
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 16312 0 0 0 67974 34 0 0 25 0 1 0 824780921 77991936 16235 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19041 16235 1111 63 0 18978 0
vsize: 76164
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 16546 0 0 0 68973 35 0 0 25 0 1 0 824780921 78979072 16469 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19282 16469 1111 63 0 19219 0
vsize: 77128
[startup+700.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 16786 0 0 0 69972 36 0 0 25 0 1 0 824780921 79958016 16709 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19521 16709 1111 63 0 19458 0
vsize: 78084
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 17022 0 0 0 70972 37 0 0 25 0 1 0 824780921 80805888 16945 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19728 16945 1111 63 0 19665 0
vsize: 78912
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 17263 0 0 0 71972 37 0 0 25 0 1 0 824780921 81793024 17186 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19969 17186 1111 63 0 19906 0
vsize: 79876
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 17504 0 0 0 72971 38 0 0 25 0 1 0 824780921 82780160 17427 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20210 17427 1111 63 0 20147 0
vsize: 80840
[startup+740.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 17740 0 0 0 73971 38 0 0 25 0 1 0 824780921 83759104 17663 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20449 17663 1111 63 0 20386 0
vsize: 81796
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 17979 0 0 0 74971 38 0 0 25 0 1 0 824780921 84746240 17902 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20690 17902 1111 63 0 20627 0
vsize: 82760
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 18221 0 0 0 75971 39 0 0 25 0 1 0 824780921 85733376 18144 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20931 18144 1111 63 0 20868 0
vsize: 83724
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 18463 0 0 0 76970 40 0 0 25 0 1 0 824780921 86720512 18386 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21172 18386 1111 63 0 21109 0
vsize: 84688
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 18704 0 0 0 77970 40 0 0 25 0 1 0 824780921 87707648 18627 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21413 18627 1111 63 0 21350 0
vsize: 85652
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 18947 0 0 0 78970 40 0 0 25 0 1 0 824780921 88690688 18870 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21653 18870 1111 63 0 21590 0
vsize: 86612
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 19186 0 0 0 79969 41 0 0 25 0 1 0 824780921 89673728 19109 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21893 19109 1111 63 0 21830 0
vsize: 87572
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 19433 0 0 0 80969 41 0 0 25 0 1 0 824780921 90660864 19356 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22134 19356 1111 63 0 22071 0
vsize: 88536
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 19670 0 0 0 81969 42 0 0 25 0 1 0 824780921 91648000 19593 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22375 19593 1111 63 0 22312 0
vsize: 89500
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 19917 0 0 0 82968 42 0 0 25 0 1 0 824780921 92635136 19840 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22616 19840 1111 63 0 22553 0
vsize: 90464
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 20160 0 0 0 83968 43 0 0 25 0 1 0 824780921 93622272 20083 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22857 20083 1111 63 0 22794 0
vsize: 91428
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 20408 0 0 0 84968 43 0 0 25 0 1 0 824780921 94748672 20331 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23132 20331 1111 63 0 23069 0
vsize: 92528
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 20648 0 0 0 85968 44 0 0 25 0 1 0 824780921 95727616 20571 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23371 20571 1111 63 0 23308 0
vsize: 93484
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 20896 0 0 0 86967 45 0 0 25 0 1 0 824780921 96714752 20819 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23612 20819 1111 63 0 23549 0
vsize: 94448
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 21138 0 0 0 87967 45 0 0 25 0 1 0 824780921 97701888 21061 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23853 21061 1111 63 0 23790 0
vsize: 95412
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 21386 0 0 0 88966 46 0 0 25 0 1 0 824780921 98689024 21309 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24094 21309 1111 63 0 24031 0
vsize: 96376
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 21628 0 0 0 89966 46 0 0 25 0 1 0 824780921 99676160 21551 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24335 21551 1111 63 0 24272 0
vsize: 97340
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 21877 0 0 0 90965 47 0 0 25 0 1 0 824780921 100663296 21800 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24576 21800 1111 63 0 24513 0
vsize: 98304
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 22123 0 0 0 91965 47 0 0 25 0 1 0 824780921 101642240 22046 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24815 22046 1111 63 0 24752 0
vsize: 99260
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 22372 0 0 0 92965 48 0 0 25 0 1 0 824780921 102768640 22295 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25090 22295 1111 63 0 25027 0
vsize: 100360
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 22619 0 0 0 93965 48 0 0 25 0 1 0 824780921 103755776 22542 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25331 22542 1111 63 0 25268 0
vsize: 101324
[startup+950.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 22867 0 0 0 94963 49 0 0 25 0 1 0 824780921 104742912 22790 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25572 22790 1111 63 0 25509 0
vsize: 102288
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 23151 0 0 0 95963 50 0 0 25 0 1 0 824780921 106102784 23074 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25904 23074 1111 63 0 25841 0
vsize: 103616
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 23396 0 0 0 96962 51 0 0 25 0 1 0 824780921 107216896 23319 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26176 23319 1111 63 0 26113 0
vsize: 104704
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 23645 0 0 0 97962 51 0 0 25 0 1 0 824780921 108204032 23568 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26417 23568 1111 63 0 26354 0
vsize: 105668
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 23899 0 0 0 98962 51 0 0 25 0 1 0 824780921 109182976 23822 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26656 23822 1111 63 0 26593 0
vsize: 106624
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 24147 0 0 0 99962 52 0 0 25 0 1 0 824780921 110170112 24070 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26897 24070 1111 63 0 26834 0
vsize: 107588
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 24402 0 0 0 100962 52 0 0 25 0 1 0 824780921 111296512 24325 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27172 24325 1111 63 0 27109 0
vsize: 108688
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 24651 0 0 0 101962 52 0 0 25 0 1 0 824780921 112283648 24574 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27413 24574 1111 63 0 27350 0
vsize: 109652
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 24899 0 0 0 102962 52 0 0 25 0 1 0 824780921 113270784 24822 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27654 24822 1111 63 0 27591 0
vsize: 110616
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 25154 0 0 0 103961 53 0 0 25 0 1 0 824780921 114397184 25077 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27929 25077 1111 63 0 27866 0
vsize: 111716
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 25410 0 0 0 104960 54 0 0 25 0 1 0 824780921 115376128 25333 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28168 25333 1111 63 0 28105 0
vsize: 112672
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 25656 0 0 0 105960 54 0 0 25 0 1 0 824780921 116363264 25579 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28409 25579 1111 63 0 28346 0
vsize: 113636
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 25913 0 0 0 106960 55 0 0 25 0 1 0 824780921 117489664 25836 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28684 25836 1111 63 0 28621 0
vsize: 114736
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 26167 0 0 0 107960 55 0 0 25 0 1 0 824780921 118476800 26090 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28925 26090 1111 63 0 28862 0
vsize: 115700
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 26422 0 0 0 108960 55 0 0 25 0 1 0 824780921 119463936 26345 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29166 26345 1111 63 0 29103 0
vsize: 116664
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 26678 0 0 0 109959 56 0 0 25 0 1 0 824780921 120590336 26601 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29441 26601 1111 63 0 29378 0
vsize: 117764
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 26933 0 0 0 110959 57 0 0 25 0 1 0 824780921 121577472 26856 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29682 26856 1111 63 0 29619 0
vsize: 118728
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 27188 0 0 0 111959 57 0 0 25 0 1 0 824780921 122703872 27111 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29957 27111 1111 63 0 29894 0
vsize: 119828
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 27443 0 0 0 112958 58 0 0 25 0 1 0 824780921 123686912 27366 4294967295 134512640 134714508 3221221776 3221219864 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30197 27366 1111 63 0 30134 0
vsize: 120788
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 27697 0 0 0 113958 58 0 0 25 0 1 0 824780921 124669952 27620 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30437 27620 1111 63 0 30374 0
vsize: 121748
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 27954 0 0 0 114958 58 0 0 25 0 1 0 824780921 125796352 27877 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30712 27877 1111 63 0 30649 0
vsize: 122848
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 28209 0 0 0 115957 59 0 0 25 0 1 0 824780921 126787584 28132 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30954 28132 1111 63 0 30891 0
vsize: 123816
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 28470 0 0 0 116957 60 0 0 25 0 1 0 824780921 127913984 28393 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31229 28393 1111 63 0 31166 0
vsize: 124916
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 28726 0 0 0 117956 60 0 0 25 0 1 0 824780921 128897024 28649 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31469 28649 1111 63 0 31406 0
vsize: 125876
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 28981 0 0 0 118956 61 0 0 25 0 1 0 824780921 130023424 28904 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31744 28904 1111 63 0 31681 0
vsize: 126976
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) R 16634 7876 7672 0 -1 0 29242 0 0 0 119956 61 0 0 25 0 1 0 824780921 131006464 29165 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31984 29165 1111 63 0 31921 0
vsize: 127936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 16635
Raw data (stat): 16635 (bsolo_lpr_cuts) Z 16634 7876 7672 0 -1 1036 29242 0 0 0 119956 66 0 0 25 0 1 0 824780921 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.1
CPU time (s): 1200.23
CPU user time (s): 1199.57
CPU system time (s): 0.667898
CPU usage (%): 100.011
Max. virtual memory (Kb): 127936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####