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-n370d.opb
MD5SUM	5482c063922cabc25678dee80f9b5125
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	39256355821
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	39256355821
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.965852
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 26913

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 17:58:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19164 boxname=wulflinc8 idbench=1475 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5482c063922cabc25678dee80f9b5125  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-n370d.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-n370d.opb
IDLAUNCH: 19164
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        510472 kB
Buffers:         34768 kB
Cached:         467752 kB
SwapCached:          0 kB
Active:          71856 kB
Inactive:       433676 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        510220 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13032 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:18:04 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 19164 7 1200.26 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.92 0.95 0.90 2/54 5900
Raw data (stat): 5900 (runsolver) R 5899 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 760429919 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 1158 0 0 0 993 4 0 0 25 0 1 0 760429919 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 1398 0 0 0 1993 4 0 0 25 0 1 0 760429919 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 1648 0 0 0 2993 5 0 0 25 0 1 0 760429919 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 1890 0 0 0 3993 5 0 0 25 0 1 0 760429919 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 2144 0 0 0 4992 6 0 0 25 0 1 0 760429919 20152320 2068 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2068 1111 63 0 4857 0
vsize: 19680
[startup+60.0008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 2397 0 0 0 5992 6 0 0 25 0 1 0 760429919 21135360 2321 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2321 1111 63 0 5097 0
vsize: 20640
[startup+70.0006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 2651 0 0 0 6991 7 0 0 25 0 1 0 760429919 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2575 1111 63 0 5372 0
vsize: 21740
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 2898 0 0 0 7991 8 0 0 25 0 1 0 760429919 23240704 2822 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2822 1111 63 0 5611 0
vsize: 22696
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 3146 0 0 0 8991 8 0 0 25 0 1 0 760429919 24227840 3070 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3070 1111 63 0 5852 0
vsize: 23660
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 3400 0 0 0 9990 9 0 0 25 0 1 0 760429919 25354240 3324 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 3324 1111 63 0 6127 0
vsize: 24760
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 3655 0 0 0 10990 9 0 0 25 0 1 0 760429919 26341376 3579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3579 1111 63 0 6368 0
vsize: 25724
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5900
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 3911 0 0 0 11990 10 0 0 25 0 1 0 760429919 27348992 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3835 1111 63 0 6614 0
vsize: 26708
[startup+130.001 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 4165 0 0 0 12989 10 0 0 25 0 1 0 760429919 28475392 4089 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4089 1111 63 0 6889 0
vsize: 27808
[startup+140.001 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 4421 0 0 0 13989 11 0 0 25 0 1 0 760429919 29462528 4345 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7193 4345 1111 63 0 7130 0
vsize: 28772
[startup+150.001 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 4669 0 0 0 14988 11 0 0 25 0 1 0 760429919 30441472 4593 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4593 1111 63 0 7369 0
vsize: 29728
[startup+160.001 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 4929 0 0 0 15988 12 0 0 25 0 1 0 760429919 31567872 4853 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7707 4853 1111 63 0 7644 0
vsize: 30828
[startup+170 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 5179 0 0 0 16988 12 0 0 25 0 1 0 760429919 32555008 5103 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7948 5103 1111 63 0 7885 0
vsize: 31792
[startup+180 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 5953
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 5440 0 0 0 17987 13 0 0 25 0 1 0 760429919 33681408 5364 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8223 5364 1111 63 0 8160 0
vsize: 32892
[startup+190 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 5689 0 0 0 18987 14 0 0 25 0 1 0 760429919 34668544 5613 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 5613 1111 63 0 8401 0
vsize: 33856
[startup+200 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 5950 0 0 0 19986 14 0 0 25 0 1 0 760429919 35794944 5874 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5874 1111 63 0 8676 0
vsize: 34956
[startup+209.999 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 6204 0 0 0 20986 14 0 0 25 0 1 0 760429919 36782080 6128 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8980 6128 1111 63 0 8917 0
vsize: 35920
[startup+219.999 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 6470 0 0 0 21986 15 0 0 25 0 1 0 760429919 37920768 6394 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9258 6394 1111 63 0 9195 0
vsize: 37032
[startup+229.999 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 6730 0 0 0 22986 15 0 0 25 0 1 0 760429919 39043072 6654 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9532 6654 1111 63 0 9469 0
vsize: 38128
[startup+239.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 6985 0 0 0 23985 16 0 0 25 0 1 0 760429919 40030208 6909 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9773 6909 1111 63 0 9710 0
vsize: 39092
[startup+249.999 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 7247 0 0 0 24985 16 0 0 25 0 1 0 760429919 41156608 7171 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7171 1111 63 0 9985 0
vsize: 40192
[startup+259.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 7503 0 0 0 25985 17 0 0 25 0 1 0 760429919 42143744 7427 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10289 7427 1111 63 0 10226 0
vsize: 41156
[startup+269.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 7764 0 0 0 26985 17 0 0 25 0 1 0 760429919 43270144 7688 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10564 7688 1111 63 0 10501 0
vsize: 42256
[startup+279.999 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 8027 0 0 0 27985 17 0 0 25 0 1 0 760429919 44257280 7951 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10805 7951 1111 63 0 10742 0
vsize: 43220
[startup+290 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 8289 0 0 0 28984 18 0 0 25 0 1 0 760429919 45383680 8213 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11080 8213 1111 63 0 11017 0
vsize: 44320
[startup+299.999 s]
Raw data (loadavg): 1.15 1.03 0.93 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 8545 0 0 0 29984 18 0 0 25 0 1 0 760429919 46370816 8469 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11321 8469 1111 63 0 11258 0
vsize: 45284
[startup+309.999 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 8807 0 0 0 30983 19 0 0 25 0 1 0 760429919 47489024 8731 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11594 8731 1111 63 0 11531 0
vsize: 46376
[startup+319.999 s]
Raw data (loadavg): 1.19 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 9067 0 0 0 31983 19 0 0 25 0 1 0 760429919 48476160 8991 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 8991 1111 63 0 11772 0
vsize: 47340
[startup+329.999 s]
Raw data (loadavg): 1.16 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 9336 0 0 0 32983 20 0 0 25 0 1 0 760429919 49602560 9260 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12110 9260 1111 63 0 12047 0
vsize: 48440
[startup+339.998 s]
Raw data (loadavg): 1.13 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 9598 0 0 0 33983 20 0 0 25 0 1 0 760429919 50733056 9522 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12386 9522 1111 63 0 12323 0
vsize: 49544
[startup+349.998 s]
Raw data (loadavg): 1.11 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 9860 0 0 0 34982 21 0 0 25 0 1 0 760429919 51716096 9784 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12626 9784 1111 63 0 12563 0
vsize: 50504
[startup+359.999 s]
Raw data (loadavg): 1.10 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 10124 0 0 0 35982 21 0 0 25 0 1 0 760429919 52842496 10048 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12901 10048 1111 63 0 12838 0
vsize: 51604
[startup+369.999 s]
Raw data (loadavg): 1.08 1.04 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 10385 0 0 0 36982 21 0 0 25 0 1 0 760429919 53968896 10309 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 10309 1111 63 0 13113 0
vsize: 52704
[startup+379.998 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 10654 0 0 0 37982 22 0 0 25 0 1 0 760429919 54960128 10578 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13418 10578 1111 63 0 13355 0
vsize: 53672
[startup+389.998 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 10917 0 0 0 38982 22 0 0 25 0 1 0 760429919 56086528 10841 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13693 10841 1111 63 0 13630 0
vsize: 54772
[startup+399.998 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 11185 0 0 0 39982 22 0 0 25 0 1 0 760429919 57212928 11109 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13968 11109 1111 63 0 13905 0
vsize: 55872
[startup+409.998 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 11445 0 0 0 40981 23 0 0 25 0 1 0 760429919 58191872 11369 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14207 11369 1111 63 0 14144 0
vsize: 56828
[startup+419.998 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 11719 0 0 0 41980 24 0 0 25 0 1 0 760429919 59318272 11643 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 11643 1111 63 0 14419 0
vsize: 57928
[startup+429.997 s]
Raw data (loadavg): 1.03 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 12000 0 0 0 42980 24 0 0 25 0 1 0 760429919 60674048 11924 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14813 11924 1111 63 0 14750 0
vsize: 59252
[startup+439.997 s]
Raw data (loadavg): 1.02 1.03 0.94 2/54 5955
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 12268 0 0 0 43979 25 0 0 25 0 1 0 760429919 61792256 12192 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15086 12192 1111 63 0 15023 0
vsize: 60344
[startup+449.997 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 12537 0 0 0 44979 26 0 0 25 0 1 0 760429919 62779392 12461 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 12461 1111 63 0 15264 0
vsize: 61308
[startup+459.998 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 12806 0 0 0 45978 27 0 0 25 0 1 0 760429919 63905792 12730 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15602 12730 1111 63 0 15539 0
vsize: 62408
[startup+469.997 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 13075 0 0 0 46978 27 0 0 25 0 1 0 760429919 65032192 12999 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15877 12999 1111 63 0 15814 0
vsize: 63508
[startup+479.997 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 13350 0 0 0 47978 28 0 0 25 0 1 0 760429919 66158592 13274 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16152 13274 1111 63 0 16089 0
vsize: 64608
[startup+489.998 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 13619 0 0 0 48977 28 0 0 25 0 1 0 760429919 67284992 13543 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16427 13543 1111 63 0 16364 0
vsize: 65708
[startup+499.998 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 13889 0 0 0 49977 29 0 0 25 0 1 0 760429919 68411392 13813 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16702 13813 1111 63 0 16639 0
vsize: 66808
[startup+509.998 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 14165 0 0 0 50976 29 0 0 25 0 1 0 760429919 69537792 14089 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 14089 1111 63 0 16914 0
vsize: 67908
[startup+519.997 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 14434 0 0 0 51976 30 0 0 25 0 1 0 760429919 70520832 14358 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17217 14358 1111 63 0 17154 0
vsize: 68868
[startup+529.998 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 14709 0 0 0 52976 30 0 0 25 0 1 0 760429919 71647232 14633 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17492 14633 1111 63 0 17429 0
vsize: 69968
[startup+539.998 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 14977 0 0 0 53975 31 0 0 25 0 1 0 760429919 72773632 14901 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17767 14901 1111 63 0 17704 0
vsize: 71068
[startup+549.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 15254 0 0 0 54975 31 0 0 25 0 1 0 760429919 73900032 15178 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18042 15178 1111 63 0 17979 0
vsize: 72168
[startup+559.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 15536 0 0 0 55974 32 0 0 25 0 1 0 760429919 75026432 15460 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18317 15460 1111 63 0 18254 0
vsize: 73268
[startup+569.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 15811 0 0 0 56974 33 0 0 25 0 1 0 760429919 76152832 15735 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18592 15735 1111 63 0 18529 0
vsize: 74368
[startup+579.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 16094 0 0 0 57973 34 0 0 25 0 1 0 760429919 77418496 16018 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18901 16018 1111 63 0 18838 0
vsize: 75604
[startup+589.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 16370 0 0 0 58973 34 0 0 25 0 1 0 760429919 78548992 16294 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19177 16294 1111 63 0 19114 0
vsize: 76708
[startup+599.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 16647 0 0 0 59972 35 0 0 25 0 1 0 760429919 79675392 16571 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19452 16571 1111 63 0 19389 0
vsize: 77808
[startup+609.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 16935 0 0 0 60972 35 0 0 25 0 1 0 760429919 80801792 16859 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19727 16859 1111 63 0 19664 0
vsize: 78908
[startup+619.998 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 17211 0 0 0 61972 36 0 0 25 0 1 0 760429919 81928192 17135 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 17135 1111 63 0 19939 0
vsize: 80008
[startup+629.999 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 17495 0 0 0 62972 36 0 0 25 0 1 0 760429919 83054592 17419 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20277 17419 1111 63 0 20214 0
vsize: 81108
[startup+639.999 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 17777 0 0 0 63972 36 0 0 25 0 1 0 760429919 84180992 17701 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20552 17701 1111 63 0 20489 0
vsize: 82208
[startup+649.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 18060 0 0 0 64971 37 0 0 25 0 1 0 760429919 85450752 17984 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20862 17984 1111 63 0 20799 0
vsize: 83448
[startup+659.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 18343 0 0 0 65971 37 0 0 25 0 1 0 760429919 86577152 18267 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21137 18267 1111 63 0 21074 0
vsize: 84548
[startup+670 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 18631 0 0 0 66971 38 0 0 25 0 1 0 760429919 87703552 18555 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21412 18555 1111 63 0 21349 0
vsize: 85648
[startup+680 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 18916 0 0 0 67970 39 0 0 25 0 1 0 760429919 88829952 18840 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21687 18840 1111 63 0 21624 0
vsize: 86748
[startup+690 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 19204 0 0 0 68970 39 0 0 25 0 1 0 760429919 90095616 19128 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19128 1111 63 0 21933 0
vsize: 87984
[startup+699.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 19494 0 0 0 69969 40 0 0 25 0 1 0 760429919 91222016 19418 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22271 19418 1111 63 0 22208 0
vsize: 89084
[startup+709.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 19784 0 0 0 70969 41 0 0 25 0 1 0 760429919 92491776 19708 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 19708 1111 63 0 22518 0
vsize: 90324
[startup+719.999 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 20073 0 0 0 71968 41 0 0 25 0 1 0 760429919 93618176 19997 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 19997 1111 63 0 22793 0
vsize: 91424
[startup+730 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 20370 0 0 0 72968 42 0 0 25 0 1 0 760429919 94883840 20294 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23165 20294 1111 63 0 23102 0
vsize: 92660
[startup+740 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 20659 0 0 0 73968 42 0 0 25 0 1 0 760429919 96010240 20583 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23440 20583 1111 63 0 23377 0
vsize: 93760
[startup+750 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 20950 0 0 0 74967 43 0 0 25 0 1 0 760429919 97136640 20874 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20874 1111 63 0 23652 0
vsize: 94860
[startup+760.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 21246 0 0 0 75967 43 0 0 25 0 1 0 760429919 98402304 21170 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24024 21170 1111 63 0 23961 0
vsize: 96096
[startup+770.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 21542 0 0 0 76966 44 0 0 25 0 1 0 760429919 99672064 21466 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24334 21466 1111 63 0 24271 0
vsize: 97336
[startup+780.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 21832 0 0 0 77966 45 0 0 25 0 1 0 760429919 100798464 21756 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24609 21756 1111 63 0 24546 0
vsize: 98436
[startup+790.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 22134 0 0 0 78965 46 0 0 25 0 1 0 760429919 102064128 22058 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24918 22058 1111 63 0 24855 0
vsize: 99672
[startup+800.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 22431 0 0 0 79965 46 0 0 25 0 1 0 760429919 103190528 22355 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25193 22355 1111 63 0 25130 0
vsize: 100772
[startup+810.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 22727 0 0 0 80964 47 0 0 25 0 1 0 760429919 104456192 22651 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25502 22651 1111 63 0 25439 0
vsize: 102008
[startup+820.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 23067 0 0 0 81964 48 0 0 25 0 1 0 760429919 106098688 22991 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25903 22991 1111 63 0 25840 0
vsize: 103612
[startup+830.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 23352 0 0 0 82964 48 0 0 25 0 1 0 760429919 107212800 23276 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26175 23276 1111 63 0 26112 0
vsize: 104700
[startup+840.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 23655 0 0 0 83963 49 0 0 25 0 1 0 760429919 108478464 23579 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26484 23579 1111 63 0 26421 0
vsize: 105936
[startup+850.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 23952 0 0 0 84962 50 0 0 25 0 1 0 760429919 109744128 23876 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26793 23876 1111 63 0 26730 0
vsize: 107172
[startup+860.001 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 24254 0 0 0 85961 51 0 0 25 0 1 0 760429919 111013888 24178 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27103 24178 1111 63 0 27040 0
vsize: 108412
[startup+870.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 24552 0 0 0 86961 51 0 0 25 0 1 0 760429919 112140288 24476 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27378 24476 1111 63 0 27315 0
vsize: 109512
[startup+880.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 24854 0 0 0 87961 52 0 0 25 0 1 0 760429919 113405952 24778 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27687 24778 1111 63 0 27624 0
vsize: 110748
[startup+890.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 25158 0 0 0 88961 52 0 0 25 0 1 0 760429919 114671616 25082 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27996 25082 1111 63 0 27933 0
vsize: 111984
[startup+900.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 25461 0 0 0 89961 52 0 0 25 0 1 0 760429919 115937280 25385 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28305 25385 1111 63 0 28242 0
vsize: 113220
[startup+910.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 25764 0 0 0 90960 53 0 0 25 0 1 0 760429919 117067776 25688 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 25688 1111 63 0 28518 0
vsize: 114324
[startup+920.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 26068 0 0 0 91960 53 0 0 25 0 1 0 760429919 118333440 25992 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28890 25992 1111 63 0 28827 0
vsize: 115560
[startup+930.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 26371 0 0 0 92959 54 0 0 25 0 1 0 760429919 119599104 26295 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29199 26295 1111 63 0 29136 0
vsize: 116796
[startup+940.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 26675 0 0 0 93959 55 0 0 25 0 1 0 760429919 120868864 26599 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29509 26599 1111 63 0 29446 0
vsize: 118036
[startup+950.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 26984 0 0 0 94958 55 0 0 25 0 1 0 760429919 122134528 26908 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29818 26908 1111 63 0 29755 0
vsize: 119272
[startup+960.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 27295 0 0 0 95958 56 0 0 25 0 1 0 760429919 123400192 27219 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30127 27219 1111 63 0 30064 0
vsize: 120508
[startup+970.002 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 27598 0 0 0 96958 56 0 0 25 0 1 0 760429919 124665856 27522 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30436 27522 1111 63 0 30373 0
vsize: 121744
[startup+980.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 27909 0 0 0 97957 57 0 0 25 0 1 0 760429919 125935616 27833 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30746 27833 1111 63 0 30683 0
vsize: 122984
[startup+990.003 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 28219 0 0 0 98957 58 0 0 25 0 1 0 760429919 127201280 28143 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31055 28143 1111 63 0 30992 0
vsize: 124220
[startup+1000 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 28529 0 0 0 99956 58 0 0 25 0 1 0 760429919 128466944 28453 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31364 28453 1111 63 0 31301 0
vsize: 125456
[startup+1010 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 28839 0 0 0 100956 59 0 0 25 0 1 0 760429919 129732608 28763 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31673 28763 1111 63 0 31610 0
vsize: 126692
[startup+1020 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 29157 0 0 0 101955 60 0 0 25 0 1 0 760429919 131002368 29081 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31983 29081 1111 63 0 31920 0
vsize: 127932
[startup+1030 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 29475 0 0 0 102955 60 0 0 25 0 1 0 760429919 132276224 29399 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32294 29399 1111 63 0 32231 0
vsize: 129176
[startup+1040 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 29791 0 0 0 103954 61 0 0 25 0 1 0 760429919 133541888 29715 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32603 29715 1111 63 0 32540 0
vsize: 130412
[startup+1050 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 30108 0 0 0 104954 62 0 0 25 0 1 0 760429919 134807552 30032 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32912 30032 1111 63 0 32849 0
vsize: 131648
[startup+1060 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 30424 0 0 0 105953 63 0 0 25 0 1 0 760429919 136216576 30348 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33256 30348 1111 63 0 33193 0
vsize: 133024
[startup+1070 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 30743 0 0 0 106953 63 0 0 25 0 1 0 760429919 137482240 30667 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30667 1111 63 0 33502 0
vsize: 134260
[startup+1080 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 31059 0 0 0 107953 63 0 0 25 0 1 0 760429919 138747904 30983 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33874 30983 1111 63 0 33811 0
vsize: 135496
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 31377 0 0 0 108953 64 0 0 25 0 1 0 760429919 140017664 31301 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34184 31301 1111 63 0 34121 0
vsize: 136736
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 31693 0 0 0 109952 64 0 0 25 0 1 0 760429919 141283328 31617 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34493 31617 1111 63 0 34430 0
vsize: 137972
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 32017 0 0 0 110952 65 0 0 25 0 1 0 760429919 142688256 31941 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34836 31941 1111 63 0 34773 0
vsize: 139344
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 32340 0 0 0 111951 66 0 0 25 0 1 0 760429919 143958016 32264 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35146 32264 1111 63 0 35083 0
vsize: 140584
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 32657 0 0 0 112951 66 0 0 25 0 1 0 760429919 145223680 32581 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35455 32581 1111 63 0 35392 0
vsize: 141820
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 32977 0 0 0 113950 67 0 0 25 0 1 0 760429919 146628608 32901 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35798 32901 1111 63 0 35735 0
vsize: 143192
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 33300 0 0 0 114949 68 0 0 25 0 1 0 760429919 147902464 33224 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36109 33224 1111 63 0 36046 0
vsize: 144436
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 33624 0 0 0 115948 69 0 0 25 0 1 0 760429919 149172224 33548 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36419 33548 1111 63 0 36356 0
vsize: 145676
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 33947 0 0 0 116948 70 0 0 25 0 1 0 760429919 150577152 33871 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36762 33871 1111 63 0 36699 0
vsize: 147048
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 34272 0 0 0 117947 71 0 0 25 0 1 0 760429919 151846912 34196 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37072 34196 1111 63 0 37009 0
vsize: 148288
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 34595 0 0 0 118947 71 0 0 25 0 1 0 760429919 153251840 34519 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37415 34519 1111 63 0 37352 0
vsize: 149660
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) R 5899 3132 3131 0 -1 0 34920 0 0 0 119947 72 0 0 25 0 1 0 760429919 154517504 34844 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37724 34844 1111 63 0 37661 0
vsize: 150896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.39 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 5957
Raw data (stat): 5900 (bsolo_lpr_cuts) Z 5899 3132 3131 0 -1 1036 34920 0 0 0 119947 78 0 0 23 0 1 0 760429919 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.39
CPU time (s): 1200.26
CPU user time (s): 1199.47
CPU system time (s): 0.78888
CPU usage (%): 99.9889
Max. virtual memory (Kb): 150896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####