PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26912

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        834888 kB
Buffers:         35448 kB
Cached:         141844 kB
SwapCached:        664 kB
Active:          80632 kB
Inactive:        99160 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834636 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            14236 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:18:01 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 19177 7 1200.31 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.91 0.95 0.93 2/54 8333
Raw data (stat): 8333 (runsolver) R 8332 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832218958 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 1158 0 0 0 994 4 0 0 25 0 1 0 832218958 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 1405 0 0 0 1994 4 0 0 25 0 1 0 832218958 17178624 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1329 1111 63 0 4131 0
vsize: 16776
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 1655 0 0 0 2993 5 0 0 25 0 1 0 832218958 18178048 1579 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1579 1111 63 0 4375 0
vsize: 17752
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 1903 0 0 0 3993 5 0 0 25 0 1 0 832218958 19165184 1827 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1827 1111 63 0 4616 0
vsize: 18716
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 2151 0 0 0 4993 5 0 0 25 0 1 0 832218958 20152320 2075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2075 1111 63 0 4857 0
vsize: 19680
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 2403 0 0 0 5993 6 0 0 25 0 1 0 832218958 21274624 2327 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2327 1111 63 0 5131 0
vsize: 20776
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 2651 0 0 0 6993 6 0 0 25 0 1 0 832218958 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2575 1111 63 0 5372 0
vsize: 21740
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 2899 0 0 0 7993 6 0 0 25 0 1 0 832218958 23240704 2823 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2823 1111 63 0 5611 0
vsize: 22696
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 3147 0 0 0 8992 7 0 0 25 0 1 0 832218958 24227840 3071 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3071 1111 63 0 5852 0
vsize: 23660
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 3401 0 0 0 9992 7 0 0 25 0 1 0 832218958 25354240 3325 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3325 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 3655 0 0 0 10992 8 0 0 25 0 1 0 832218958 26341376 3579 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3579 1111 63 0 6368 0
vsize: 25724
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8333
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 3910 0 0 0 11991 9 0 0 25 0 1 0 832218958 27348992 3834 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3834 1111 63 0 6614 0
vsize: 26708
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 4159 0 0 0 12990 10 0 0 25 0 1 0 832218958 28475392 4083 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4083 1111 63 0 6889 0
vsize: 27808
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 4414 0 0 0 13990 10 0 0 25 0 1 0 832218958 29462528 4338 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4338 1111 63 0 7130 0
vsize: 28772
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 4668 0 0 0 14989 11 0 0 25 0 1 0 832218958 30441472 4592 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 4592 1111 63 0 7369 0
vsize: 29728
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 4916 0 0 0 15989 12 0 0 25 0 1 0 832218958 31567872 4840 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4840 1111 63 0 7644 0
vsize: 30828
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 5171 0 0 0 16988 13 0 0 25 0 1 0 832218958 32555008 5095 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5095 1111 63 0 7885 0
vsize: 31792
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 5427 0 0 0 17987 14 0 0 25 0 1 0 832218958 33542144 5351 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8189 5351 1111 63 0 8126 0
vsize: 32756
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8386
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 5675 0 0 0 18987 14 0 0 25 0 1 0 832218958 34668544 5599 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5599 1111 63 0 8401 0
vsize: 33856
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 5936 0 0 0 19986 16 0 0 25 0 1 0 832218958 35655680 5860 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 5860 1111 63 0 8642 0
vsize: 34820
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 6184 0 0 0 20985 16 0 0 25 0 1 0 832218958 36642816 6108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6108 1111 63 0 8883 0
vsize: 35784
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 6456 0 0 0 21985 17 0 0 25 0 1 0 832218958 37920768 6380 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6380 1111 63 0 9195 0
vsize: 37032
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 6710 0 0 0 22985 17 0 0 25 0 1 0 832218958 38903808 6634 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 6634 1111 63 0 9435 0
vsize: 37992
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 6964 0 0 0 23985 18 0 0 25 0 1 0 832218958 39886848 6888 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9738 6888 1111 63 0 9675 0
vsize: 38952
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 7226 0 0 0 24984 19 0 0 25 0 1 0 832218958 41017344 7150 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7150 1111 63 0 9951 0
vsize: 40056
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 7482 0 0 0 25983 20 0 0 25 0 1 0 832218958 42004480 7406 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10255 7406 1111 63 0 10192 0
vsize: 41020
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 7737 0 0 0 26982 21 0 0 25 0 1 0 832218958 43130880 7661 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10530 7661 1111 63 0 10467 0
vsize: 42120
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 8000 0 0 0 27981 22 0 0 25 0 1 0 832218958 44113920 7924 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10770 7924 1111 63 0 10707 0
vsize: 43080
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 8255 0 0 0 28981 23 0 0 25 0 1 0 832218958 45244416 8179 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11046 8179 1111 63 0 10983 0
vsize: 44184
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 8517 0 0 0 29980 23 0 0 25 0 1 0 832218958 46223360 8441 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11285 8441 1111 63 0 11222 0
vsize: 45140
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 8772 0 0 0 30980 24 0 0 25 0 1 0 832218958 47349760 8696 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11560 8696 1111 63 0 11497 0
vsize: 46240
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 9033 0 0 0 31979 25 0 0 25 0 1 0 832218958 48336896 8957 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11801 8957 1111 63 0 11738 0
vsize: 47204
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 9295 0 0 0 32978 26 0 0 25 0 1 0 832218958 49463296 9219 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12076 9219 1111 63 0 12013 0
vsize: 48304
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 9558 0 0 0 33978 27 0 0 25 0 1 0 832218958 50589696 9482 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12351 9482 1111 63 0 12288 0
vsize: 49404
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 9819 0 0 0 34977 28 0 0 25 0 1 0 832218958 51576832 9743 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12592 9743 1111 63 0 12529 0
vsize: 50368
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 10083 0 0 0 35977 28 0 0 25 0 1 0 832218958 52703232 10007 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12867 10007 1111 63 0 12804 0
vsize: 51468
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 10344 0 0 0 36977 29 0 0 25 0 1 0 832218958 53690368 10268 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13108 10268 1111 63 0 13045 0
vsize: 52432
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 10607 0 0 0 37976 29 0 0 25 0 1 0 832218958 54816768 10531 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13383 10531 1111 63 0 13320 0
vsize: 53532
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 10875 0 0 0 38975 30 0 0 25 0 1 0 832218958 55939072 10799 4294967295 134512640 134714508 3221224592 3221221420 1077254121 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13657 10799 1111 63 0 13594 0
vsize: 54628
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 11135 0 0 0 39975 31 0 0 25 0 1 0 832218958 56926208 11059 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13898 11059 1111 63 0 13835 0
vsize: 55592
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 11403 0 0 0 40974 32 0 0 25 0 1 0 832218958 58052608 11327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14173 11327 1111 63 0 14110 0
vsize: 56692
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 11665 0 0 0 41974 33 0 0 25 0 1 0 832218958 59179008 11589 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14448 11589 1111 63 0 14385 0
vsize: 57792
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 11927 0 0 0 42973 34 0 0 25 0 1 0 832218958 60166144 11851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14689 11851 1111 63 0 14626 0
vsize: 58756
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 12213 0 0 0 43972 35 0 0 25 0 1 0 832218958 61513728 12137 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15018 12137 1111 63 0 14955 0
vsize: 60072
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 12482 0 0 0 44971 36 0 0 25 0 1 0 832218958 62640128 12406 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15293 12406 1111 63 0 15230 0
vsize: 61172
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 12751 0 0 0 45971 37 0 0 25 0 1 0 832218958 63766528 12675 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15568 12675 1111 63 0 15505 0
vsize: 62272
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8388
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 13019 0 0 0 46970 37 0 0 25 0 1 0 832218958 64753664 12943 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 12943 1111 63 0 15746 0
vsize: 63236
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 13282 0 0 0 47969 39 0 0 25 0 1 0 832218958 65880064 13206 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 13206 1111 63 0 16021 0
vsize: 64336
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 13557 0 0 0 48969 39 0 0 25 0 1 0 832218958 67006464 13481 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13481 1111 63 0 16296 0
vsize: 65436
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 13821 0 0 0 49968 40 0 0 25 0 1 0 832218958 68124672 13745 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16632 13745 1111 63 0 16569 0
vsize: 66528
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 14095 0 0 0 50967 41 0 0 25 0 1 0 832218958 69251072 14019 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16907 14019 1111 63 0 16844 0
vsize: 67628
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 14363 0 0 0 51967 41 0 0 25 0 1 0 832218958 70242304 14287 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17149 14287 1111 63 0 17086 0
vsize: 68596
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 14633 0 0 0 52966 42 0 0 25 0 1 0 832218958 71368704 14557 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17424 14557 1111 63 0 17361 0
vsize: 69696
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 14908 0 0 0 53966 43 0 0 25 0 1 0 832218958 72495104 14832 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17699 14832 1111 63 0 17636 0
vsize: 70796
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 15184 0 0 0 54965 44 0 0 25 0 1 0 832218958 73621504 15108 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17974 15108 1111 63 0 17911 0
vsize: 71896
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 15454 0 0 0 55964 45 0 0 25 0 1 0 832218958 74747904 15378 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18249 15378 1111 63 0 18186 0
vsize: 72996
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 15729 0 0 0 56963 46 0 0 25 0 1 0 832218958 75874304 15653 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18524 15653 1111 63 0 18461 0
vsize: 74096
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 16005 0 0 0 57962 47 0 0 25 0 1 0 832218958 77000704 15929 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18799 15929 1111 63 0 18736 0
vsize: 75196
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 16275 0 0 0 58962 48 0 0 25 0 1 0 832218958 78127104 16199 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19074 16199 1111 63 0 19011 0
vsize: 76296
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 16551 0 0 0 59961 49 0 0 25 0 1 0 832218958 79253504 16475 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 16475 1111 63 0 19286 0
vsize: 77396
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 16827 0 0 0 60961 50 0 0 25 0 1 0 832218958 80379904 16751 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19624 16751 1111 63 0 19561 0
vsize: 78496
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 17108 0 0 0 61960 50 0 0 25 0 1 0 832218958 81510400 17032 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19900 17032 1111 63 0 19837 0
vsize: 79600
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 17385 0 0 0 62960 51 0 0 25 0 1 0 832218958 82636800 17309 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20175 17309 1111 63 0 20112 0
vsize: 80700
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 17667 0 0 0 63959 52 0 0 25 0 1 0 832218958 83755008 17591 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20448 17591 1111 63 0 20385 0
vsize: 81792
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 17942 0 0 0 64959 53 0 0 25 0 1 0 832218958 84881408 17866 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20723 17866 1111 63 0 20660 0
vsize: 82892
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 18218 0 0 0 65958 54 0 0 25 0 1 0 832218958 86007808 18142 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20998 18142 1111 63 0 20935 0
vsize: 83992
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 18500 0 0 0 66957 55 0 0 25 0 1 0 832218958 87138304 18424 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21274 18424 1111 63 0 21211 0
vsize: 85096
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 18783 0 0 0 67956 56 0 0 25 0 1 0 832218958 88403968 18707 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21583 18707 1111 63 0 21520 0
vsize: 86332
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 19060 0 0 0 68955 57 0 0 25 0 1 0 832218958 89530368 18984 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21858 18984 1111 63 0 21795 0
vsize: 87432
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 19341 0 0 0 69954 58 0 0 25 0 1 0 832218958 90656768 19265 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22133 19265 1111 63 0 22070 0
vsize: 88532
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 19625 0 0 0 70954 59 0 0 25 0 1 0 832218958 91783168 19549 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22408 19549 1111 63 0 22345 0
vsize: 89632
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 19907 0 0 0 71953 60 0 0 25 0 1 0 832218958 92909568 19831 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22683 19831 1111 63 0 22620 0
vsize: 90732
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 20190 0 0 0 72952 61 0 0 25 0 1 0 832218958 94035968 20114 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22958 20114 1111 63 0 22895 0
vsize: 91832
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 20473 0 0 0 73952 61 0 0 25 0 1 0 832218958 95305728 20397 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23268 20397 1111 63 0 23205 0
vsize: 93072
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 20761 0 0 0 74951 62 0 0 25 0 1 0 832218958 96432128 20685 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23543 20685 1111 63 0 23480 0
vsize: 94172
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 21046 0 0 0 75950 63 0 0 25 0 1 0 832218958 97558528 20970 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23818 20970 1111 63 0 23755 0
vsize: 95272
[startup+770.027 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 21334 0 0 0 76949 65 0 0 25 0 1 0 832218958 98824192 21258 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24127 21258 1111 63 0 24064 0
vsize: 96508
[startup+780.026 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 21617 0 0 0 77949 65 0 0 25 0 1 0 832218958 99950592 21541 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24402 21541 1111 63 0 24339 0
vsize: 97608
[startup+790.027 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 21907 0 0 0 78948 66 0 0 25 0 1 0 832218958 101076992 21831 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24677 21831 1111 63 0 24614 0
vsize: 98708
[startup+800.027 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 22190 0 0 0 79948 66 0 0 25 0 1 0 832218958 102203392 22114 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24952 22114 1111 63 0 24889 0
vsize: 99808
[startup+810.028 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 22479 0 0 0 80947 67 0 0 25 0 1 0 832218958 103473152 22403 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25262 22403 1111 63 0 25199 0
vsize: 101048
[startup+820.028 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 22768 0 0 0 81946 68 0 0 25 0 1 0 832218958 104599552 22692 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25537 22692 1111 63 0 25474 0
vsize: 102148
[startup+830.028 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 23091 0 0 0 82946 69 0 0 25 0 1 0 832218958 106233856 23015 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25936 23015 1111 63 0 25873 0
vsize: 103744
[startup+840.028 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 23379 0 0 0 83945 71 0 0 25 0 1 0 832218958 107352064 23303 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26209 23303 1111 63 0 26146 0
vsize: 104836
[startup+850.027 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 23669 0 0 0 84944 71 0 0 25 0 1 0 832218958 108617728 23593 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26518 23593 1111 63 0 26455 0
vsize: 106072
[startup+860.028 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 23965 0 0 0 85944 72 0 0 25 0 1 0 832218958 109744128 23889 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26793 23889 1111 63 0 26730 0
vsize: 107172
[startup+870.029 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 24260 0 0 0 86943 73 0 0 25 0 1 0 832218958 111013888 24184 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27103 24184 1111 63 0 27040 0
vsize: 108412
[startup+880.028 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 24551 0 0 0 87942 75 0 0 25 0 1 0 832218958 112140288 24475 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27378 24475 1111 63 0 27315 0
vsize: 109512
[startup+890.029 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 24841 0 0 0 88940 76 0 0 25 0 1 0 832218958 113405952 24765 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27687 24765 1111 63 0 27624 0
vsize: 110748
[startup+900.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 25138 0 0 0 89940 77 0 0 25 0 1 0 832218958 114532352 25062 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27962 25062 1111 63 0 27899 0
vsize: 111848
[startup+910.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 25433 0 0 0 90939 78 0 0 25 0 1 0 832218958 115802112 25357 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28272 25357 1111 63 0 28209 0
vsize: 113088
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 25724 0 0 0 91938 79 0 0 25 0 1 0 832218958 116928512 25648 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28547 25648 1111 63 0 28484 0
vsize: 114188
[startup+930.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 26026 0 0 0 92937 80 0 0 25 0 1 0 832218958 118194176 25950 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28856 25950 1111 63 0 28793 0
vsize: 115424
[startup+940.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 26316 0 0 0 93937 81 0 0 25 0 1 0 832218958 119320576 26240 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 26240 1111 63 0 29068 0
vsize: 116524
[startup+950.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 26620 0 0 0 94937 81 0 0 25 0 1 0 832218958 120586240 26544 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29440 26544 1111 63 0 29377 0
vsize: 117760
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 26909 0 0 0 95936 82 0 0 25 0 1 0 832218958 121851904 26833 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29749 26833 1111 63 0 29686 0
vsize: 118996
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 27213 0 0 0 96935 83 0 0 25 0 1 0 832218958 122978304 27137 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30024 27137 1111 63 0 29961 0
vsize: 120096
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 27509 0 0 0 97934 85 0 0 25 0 1 0 832218958 124248064 27433 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30334 27433 1111 63 0 30271 0
vsize: 121336
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 27812 0 0 0 98934 85 0 0 25 0 1 0 832218958 125513728 27736 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30643 27736 1111 63 0 30580 0
vsize: 122572
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 28109 0 0 0 99933 86 0 0 25 0 1 0 832218958 126640128 28033 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30918 28033 1111 63 0 30855 0
vsize: 123672
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 28411 0 0 0 100933 87 0 0 25 0 1 0 832218958 127909888 28335 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31228 28335 1111 63 0 31165 0
vsize: 124912
[startup+1020.04 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 28716 0 0 0 101932 88 0 0 25 0 1 0 832218958 129175552 28640 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31537 28640 1111 63 0 31474 0
vsize: 126148
[startup+1030.04 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 29018 0 0 0 102931 89 0 0 25 0 1 0 832218958 130441216 28942 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31846 28942 1111 63 0 31783 0
vsize: 127384
[startup+1040.04 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 29316 0 0 0 103931 89 0 0 25 0 1 0 832218958 131567616 29240 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32121 29240 1111 63 0 32058 0
vsize: 128484
[startup+1050.04 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 29612 0 0 0 104930 90 0 0 25 0 1 0 832218958 132833280 29536 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32430 29536 1111 63 0 32367 0
vsize: 129720
[startup+1060.04 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 29914 0 0 0 105930 90 0 0 25 0 1 0 832218958 134103040 29838 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32740 29838 1111 63 0 32677 0
vsize: 130960
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 30211 0 0 0 106930 91 0 0 25 0 1 0 832218958 135229440 30135 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33015 30135 1111 63 0 32952 0
vsize: 132060
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 30513 0 0 0 107929 91 0 0 25 0 1 0 832218958 136495104 30437 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33324 30437 1111 63 0 33261 0
vsize: 133296
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 30818 0 0 0 108929 92 0 0 25 0 1 0 832218958 137764864 30742 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33634 30742 1111 63 0 33571 0
vsize: 134536
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 31120 0 0 0 109928 93 0 0 25 0 1 0 832218958 139030528 31044 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33943 31044 1111 63 0 33880 0
vsize: 135772
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 31425 0 0 0 110928 94 0 0 25 0 1 0 832218958 140296192 31349 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34252 31349 1111 63 0 34189 0
vsize: 137008
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 31734 0 0 0 111928 94 0 0 25 0 1 0 832218958 141561856 31658 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34561 31658 1111 63 0 34498 0
vsize: 138244
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 32038 0 0 0 112927 95 0 0 25 0 1 0 832218958 142688256 31962 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34836 31962 1111 63 0 34773 0
vsize: 139344
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 32347 0 0 0 113926 96 0 0 25 0 1 0 832218958 143958016 32271 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35146 32271 1111 63 0 35083 0
vsize: 140584
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 32656 0 0 0 114927 96 0 0 25 0 1 0 832218958 145223680 32580 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 32580 1111 63 0 35392 0
vsize: 141820
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 32961 0 0 0 115927 96 0 0 25 0 1 0 832218958 146489344 32885 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35764 32885 1111 63 0 35701 0
vsize: 143056
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 33266 0 0 0 116927 96 0 0 25 0 1 0 832218958 147759104 33190 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36074 33190 1111 63 0 36011 0
vsize: 144296
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 33583 0 0 0 117926 97 0 0 25 0 1 0 832218958 149024768 33507 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36383 33507 1111 63 0 36320 0
vsize: 145532
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 33886 0 0 0 118926 98 0 0 25 0 1 0 832218958 150298624 33810 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36694 33810 1111 63 0 36631 0
vsize: 146776
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) R 8332 5562 5561 0 -1 0 34204 0 0 0 119925 98 0 0 25 0 1 0 832218958 151564288 34128 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37003 34128 1111 63 0 36940 0
vsize: 148012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 8390
Raw data (stat): 8333 (bsolo_lpr_cuts) Z 8332 5562 5561 0 -1 1036 34204 0 0 0 119925 104 0 0 25 0 1 0 832218958 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.11
CPU time (s): 1200.31
CPU user time (s): 1199.26
CPU system time (s): 1.04984
CPU usage (%): 100.017
Max. virtual memory (Kb): 148012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####