PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	85408
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 26145

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        624456 kB
Buffers:         32776 kB
Cached:         355988 kB
SwapCached:        944 kB
Active:         165852 kB
Inactive:       225012 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624204 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13568 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 13:23:09 (client local time) WITH STATUS 0 IN 1200.34 SECONDS
stats: 15082 7 1200.34 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.87 0.98 0.98 2/55 28892
Raw data (stat): 28892 (runsolver) R 28891 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 830427899 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.89 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 1707 0 0 0 988 7 0 0 25 0 1 0 830427899 17920000 1630 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4375 1630 1111 63 0 4312 0
vsize: 17500
[startup+20.0018 s]
Raw data (loadavg): 0.91 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 2436 0 0 0 1988 8 0 0 25 0 1 0 830427899 20910080 2359 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 2359 1111 63 0 5042 0
vsize: 20420
[startup+30.0017 s]
Raw data (loadavg): 0.92 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 3160 0 0 0 2986 10 0 0 25 0 1 0 830427899 23896064 3083 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 3083 1111 63 0 5771 0
vsize: 23336
[startup+40.0026 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 3876 0 0 0 3984 12 0 0 25 0 1 0 830427899 26877952 3799 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6562 3799 1111 63 0 6499 0
vsize: 26248
[startup+50.0035 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 4599 0 0 0 4984 13 0 0 25 0 1 0 830427899 29868032 4522 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7292 4522 1111 63 0 7229 0
vsize: 29168
[startup+60.0045 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 5322 0 0 0 5983 14 0 0 25 0 1 0 830427899 32854016 5245 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8021 5245 1111 63 0 7958 0
vsize: 32084
[startup+70.0045 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 6052 0 0 0 6982 15 0 0 25 0 1 0 830427899 35844096 5975 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8751 5975 1111 63 0 8688 0
vsize: 35004
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 6774 0 0 0 7981 16 0 0 25 0 1 0 830427899 38674432 6697 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9442 6697 1111 63 0 9379 0
vsize: 37768
[startup+90.0053 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 7500 0 0 0 8980 17 0 0 25 0 1 0 830427899 41652224 7423 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10169 7423 1111 63 0 10106 0
vsize: 40676
[startup+100.005 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 8223 0 0 0 9979 18 0 0 25 0 1 0 830427899 44638208 8146 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10898 8146 1111 63 0 10835 0
vsize: 43592
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 8958 0 0 0 10977 20 0 0 25 0 1 0 830427899 47620096 8881 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11626 8881 1111 63 0 11563 0
vsize: 46504
[startup+120.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 9687 0 0 0 11976 21 0 0 25 0 1 0 830427899 50610176 9610 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12356 9610 1111 63 0 12293 0
vsize: 49424
[startup+130.007 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 10410 0 0 0 12975 23 0 0 25 0 1 0 830427899 53596160 10333 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13085 10333 1111 63 0 13022 0
vsize: 52340
[startup+140.008 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 28892
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 11138 0 0 0 13974 24 0 0 25 0 1 0 830427899 56578048 11061 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13813 11061 1111 63 0 13750 0
vsize: 55252
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 11874 0 0 0 14972 26 0 0 25 0 1 0 830427899 59568128 11797 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14543 11797 1111 63 0 14480 0
vsize: 58172
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 12616 0 0 0 15971 28 0 0 25 0 1 0 830427899 62701568 12539 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15308 12539 1111 63 0 15245 0
vsize: 61232
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 13356 0 0 0 16970 29 0 0 25 0 1 0 830427899 65667072 13279 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16032 13279 1111 63 0 15969 0
vsize: 64128
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 14091 0 0 0 17969 30 0 0 25 0 1 0 830427899 68648960 14014 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16760 14014 1111 63 0 16697 0
vsize: 67040
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 14826 0 0 0 18968 31 0 0 25 0 1 0 830427899 71782400 14749 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17525 14749 1111 63 0 17462 0
vsize: 70100
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 15562 0 0 0 19966 33 0 0 25 0 1 0 830427899 74772480 15485 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18255 15485 1111 63 0 18192 0
vsize: 73020
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 16296 0 0 0 20965 34 0 0 25 0 1 0 830427899 77754368 16219 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18983 16219 1111 63 0 18920 0
vsize: 75932
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 17086 0 0 0 21964 36 0 0 25 0 1 0 830427899 81039360 17009 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19785 17009 1111 63 0 19722 0
vsize: 79140
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 18095 0 0 0 22962 38 0 0 25 0 1 0 830427899 85069824 18018 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20769 18018 1111 63 0 20706 0
vsize: 83076
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 18830 0 0 0 23962 39 0 0 25 0 1 0 830427899 88059904 18753 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21499 18753 1111 63 0 21436 0
vsize: 85996
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 19572 0 0 0 24961 40 0 0 25 0 1 0 830427899 91197440 19495 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22265 19495 1111 63 0 22202 0
vsize: 89060
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 20312 0 0 0 25959 42 0 0 25 0 1 0 830427899 94179328 20235 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 20235 1111 63 0 22930 0
vsize: 91972
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 21308 0 0 0 26957 43 0 0 25 0 1 0 830427899 98209792 21231 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23977 21231 1111 63 0 23914 0
vsize: 95908
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 22111 0 0 0 27957 44 0 0 25 0 1 0 830427899 101494784 22034 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24779 22034 1111 63 0 24716 0
vsize: 99116
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 22858 0 0 0 28956 46 0 0 25 0 1 0 830427899 104632320 22781 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25545 22781 1111 63 0 25482 0
vsize: 102180
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 23600 0 0 0 29955 47 0 0 25 0 1 0 830427899 107614208 23523 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26273 23523 1111 63 0 26210 0
vsize: 105092
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 24760 0 0 0 30953 49 0 0 25 0 1 0 830427899 112398336 24683 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27441 24683 1111 63 0 27378 0
vsize: 109764
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 25574 0 0 0 31952 50 0 0 25 0 1 0 830427899 115802112 25497 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28272 25497 1111 63 0 28209 0
vsize: 113088
[startup+330.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 26327 0 0 0 32951 51 0 0 25 0 1 0 830427899 118788096 26250 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29001 26250 1111 63 0 28938 0
vsize: 116004
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 27081 0 0 0 33950 52 0 0 25 0 1 0 830427899 121925632 27004 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29767 27004 1111 63 0 29704 0
vsize: 119068
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 28041 0 0 0 34949 53 0 0 25 0 1 0 830427899 125808640 27964 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30715 27964 1111 63 0 30652 0
vsize: 122860
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 28796 0 0 0 35948 54 0 0 25 0 1 0 830427899 128937984 28719 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31479 28719 1111 63 0 31416 0
vsize: 125916
[startup+370.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 29554 0 0 0 36947 56 0 0 25 0 1 0 830427899 132075520 29477 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32245 29477 1111 63 0 32182 0
vsize: 128980
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 30308 0 0 0 37946 57 0 0 25 0 1 0 830427899 135213056 30231 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33011 30231 1111 63 0 32948 0
vsize: 132044
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 31068 0 0 0 38945 58 0 0 25 0 1 0 830427899 138199040 30991 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33740 30991 1111 63 0 33677 0
vsize: 134960
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 31956 0 0 0 39944 59 0 0 25 0 1 0 830427899 141934592 31879 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34652 31879 1111 63 0 34589 0
vsize: 138608
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 33055 0 0 0 40942 61 0 0 25 0 1 0 830427899 146411520 32978 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35745 32978 1111 63 0 35682 0
vsize: 142980
[startup+420.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 33814 0 0 0 41942 62 0 0 25 0 1 0 830427899 149544960 33737 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36510 33737 1111 63 0 36447 0
vsize: 146040
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 34580 0 0 0 42941 63 0 0 25 0 1 0 830427899 152678400 34503 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37275 34503 1111 63 0 37212 0
vsize: 149100
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 35346 0 0 0 43939 65 0 0 25 0 1 0 830427899 155815936 35269 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38041 35269 1111 63 0 37978 0
vsize: 152164
[startup+450.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 36112 0 0 0 44939 66 0 0 25 0 1 0 830427899 158953472 36035 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38807 36035 1111 63 0 38744 0
vsize: 155228
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 36974 0 0 0 45937 68 0 0 25 0 1 0 830427899 162381824 36897 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39644 36897 1111 63 0 39581 0
vsize: 158576
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 37747 0 0 0 46936 69 0 0 25 0 1 0 830427899 165670912 37670 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40447 37670 1111 63 0 40384 0
vsize: 161788
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 38513 0 0 0 47935 70 0 0 25 0 1 0 830427899 168804352 38436 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41212 38436 1111 63 0 41149 0
vsize: 164848
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 39284 0 0 0 48933 72 0 0 25 0 1 0 830427899 171941888 39207 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41978 39207 1111 63 0 41915 0
vsize: 167912
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 40079 0 0 0 49932 73 0 0 25 0 1 0 830427899 175222784 40002 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42779 40002 1111 63 0 42716 0
vsize: 171116
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 41290 0 0 0 50930 75 0 0 25 0 1 0 830427899 180154368 41213 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43983 41213 1111 63 0 43920 0
vsize: 175932
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 42067 0 0 0 51930 76 0 0 25 0 1 0 830427899 183287808 41990 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44748 41990 1111 63 0 44685 0
vsize: 178992
[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 42839 0 0 0 52928 78 0 0 25 0 1 0 830427899 186425344 42762 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45514 42762 1111 63 0 45451 0
vsize: 182056
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 43617 0 0 0 53927 80 0 0 25 0 1 0 830427899 189710336 43540 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46316 43540 1111 63 0 46253 0
vsize: 185264
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 44613 0 0 0 54925 81 0 0 25 0 1 0 830427899 193740800 44536 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47300 44536 1111 63 0 47237 0
vsize: 189200
[startup+560.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 45634 0 0 0 55924 83 0 0 25 0 1 0 830427899 197922816 45557 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48321 45557 1111 63 0 48258 0
vsize: 193284
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 46418 0 0 0 56922 85 0 0 25 0 1 0 830427899 201052160 46341 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49085 46341 1111 63 0 49022 0
vsize: 196340
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 47201 0 0 0 57922 86 0 0 25 0 1 0 830427899 204337152 47124 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49887 47124 1111 63 0 49824 0
vsize: 199548
[startup+590.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 47985 0 0 0 58921 87 0 0 25 0 1 0 830427899 207474688 47908 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50653 47908 1111 63 0 50590 0
vsize: 202612
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 48769 0 0 0 59919 88 0 0 25 0 1 0 830427899 210759680 48692 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51455 48692 1111 63 0 51392 0
vsize: 205820
[startup+610.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 49559 0 0 0 60918 90 0 0 25 0 1 0 830427899 214048768 49482 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52258 49482 1111 63 0 52195 0
vsize: 209032
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 50352 0 0 0 61917 91 0 0 25 0 1 0 830427899 217325568 50275 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53058 50275 1111 63 0 52995 0
vsize: 212232
[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 51143 0 0 0 62916 92 0 0 25 0 1 0 830427899 220463104 51066 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53824 51066 1111 63 0 53761 0
vsize: 215296
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 51933 0 0 0 63915 94 0 0 25 0 1 0 830427899 223748096 51856 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54626 51856 1111 63 0 54563 0
vsize: 218504
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 52729 0 0 0 64913 95 0 0 25 0 1 0 830427899 227033088 52652 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55428 52652 1111 63 0 55365 0
vsize: 221712
[startup+660.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 53518 0 0 0 65912 96 0 0 25 0 1 0 830427899 230313984 53441 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56229 53441 1111 63 0 56166 0
vsize: 224916
[startup+670.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 54320 0 0 0 66911 97 0 0 25 0 1 0 830427899 233598976 54243 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57031 54243 1111 63 0 56968 0
vsize: 228124
[startup+680.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 55256 0 0 0 67909 99 0 0 25 0 1 0 830427899 237334528 55179 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57943 55179 1111 63 0 57880 0
vsize: 231772
[startup+690.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 56065 0 0 0 68908 100 0 0 25 0 1 0 830427899 240619520 55988 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58745 55988 1111 63 0 58682 0
vsize: 234980
[startup+700.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 56874 0 0 0 69906 102 0 0 25 0 1 0 830427899 244056064 56797 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59584 56797 1111 63 0 59521 0
vsize: 238336
[startup+710.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 57821 0 0 0 70904 104 0 0 25 0 1 0 830427899 247930880 57744 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60530 57744 1111 63 0 60467 0
vsize: 242120
[startup+720.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 58629 0 0 0 71903 106 0 0 25 0 1 0 830427899 251215872 58552 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61332 58552 1111 63 0 61269 0
vsize: 245328
[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 59450 0 0 0 72901 108 0 0 25 0 1 0 830427899 254500864 59373 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62134 59373 1111 63 0 62071 0
vsize: 248536
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 60264 0 0 0 73899 110 0 0 25 0 1 0 830427899 257937408 60187 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62973 60187 1111 63 0 62910 0
vsize: 251892
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 61079 0 0 0 74897 112 0 0 25 0 1 0 830427899 261222400 61002 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63775 61002 1111 63 0 63712 0
vsize: 255100
[startup+760.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 61923 0 0 0 75895 114 0 0 25 0 1 0 830427899 264654848 61846 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64613 61846 1111 63 0 64550 0
vsize: 258452
[startup+770.043 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 62774 0 0 0 76894 115 0 0 25 0 1 0 830427899 268087296 62697 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65451 62697 1111 63 0 65388 0
vsize: 261804
[startup+780.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 63765 0 0 0 77893 116 0 0 25 0 1 0 830427899 272269312 63688 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66472 63688 1111 63 0 66409 0
vsize: 265888
[startup+790.045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 64591 0 0 0 78891 118 0 0 25 0 1 0 830427899 275554304 64514 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67274 64514 1111 63 0 67211 0
vsize: 269096
[startup+800.045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 65412 0 0 0 79889 121 0 0 25 0 1 0 830427899 278990848 65335 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68113 65335 1111 63 0 68050 0
vsize: 272452
[startup+810.046 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 66335 0 0 0 80887 122 0 0 25 0 1 0 830427899 282722304 66258 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69024 66258 1111 63 0 68961 0
vsize: 276096
[startup+820.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 67160 0 0 0 81886 124 0 0 25 0 1 0 830427899 286150656 67083 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69861 67083 1111 63 0 69798 0
vsize: 279444
[startup+830.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 68049 0 0 0 82884 126 0 0 25 0 1 0 830427899 289734656 67972 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70736 67972 1111 63 0 70673 0
vsize: 282944
[startup+840.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 68893 0 0 0 83882 128 0 0 25 0 1 0 830427899 293171200 68816 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71575 68816 1111 63 0 71512 0
vsize: 286300
[startup+850.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 69727 0 0 0 84879 131 0 0 25 0 1 0 830427899 296607744 69650 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72414 69650 1111 63 0 72351 0
vsize: 289656
[startup+860.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 70560 0 0 0 85877 133 0 0 25 0 1 0 830427899 300040192 70483 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73252 70483 1111 63 0 73189 0
vsize: 293008
[startup+870.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 71392 0 0 0 86876 134 0 0 25 0 1 0 830427899 303476736 71315 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74091 71315 1111 63 0 74028 0
vsize: 296364
[startup+880.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 72260 0 0 0 87874 136 0 0 25 0 1 0 830427899 307056640 72183 4294967295 134512640 134714508 3221221776 3221220004 1077414393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74965 72183 1111 63 0 74902 0
vsize: 299860
[startup+890.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 73104 0 0 0 88872 138 0 0 25 0 1 0 830427899 310489088 73027 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75803 73027 1111 63 0 75740 0
vsize: 303212
[startup+900.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 73981 0 0 0 89870 140 0 0 25 0 1 0 830427899 314073088 73904 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76678 73904 1111 63 0 76615 0
vsize: 306712
[startup+910.051 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 74831 0 0 0 90868 142 0 0 25 0 1 0 830427899 317509632 74754 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77517 74754 1111 63 0 77454 0
vsize: 310068
[startup+920.052 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 75726 0 0 0 91867 144 0 0 25 0 1 0 830427899 321245184 75649 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78429 75649 1111 63 0 78366 0
vsize: 313716
[startup+930.052 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 76582 0 0 0 92866 145 0 0 25 0 1 0 830427899 324677632 76505 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79267 76505 1111 63 0 79204 0
vsize: 317068
[startup+940.053 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 77426 0 0 0 93864 147 0 0 25 0 1 0 830427899 328105984 77349 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80104 77349 1111 63 0 80041 0
vsize: 320416
[startup+950.052 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 78276 0 0 0 94862 149 0 0 25 0 1 0 830427899 331689984 78199 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80979 78199 1111 63 0 80916 0
vsize: 323916
[startup+960.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 79127 0 0 0 95860 151 0 0 25 0 1 0 830427899 335126528 79050 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81818 79050 1111 63 0 81755 0
vsize: 327272
[startup+970.055 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 79978 0 0 0 96858 153 0 0 25 0 1 0 830427899 338563072 79901 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82657 79901 1111 63 0 82594 0
vsize: 330628
[startup+980.054 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 80836 0 0 0 97857 154 0 0 25 0 1 0 830427899 342147072 80759 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83532 80759 1111 63 0 83469 0
vsize: 334128
[startup+990.056 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 81735 0 0 0 98855 157 0 0 25 0 1 0 830427899 345731072 81658 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84407 81658 1111 63 0 84344 0
vsize: 337628
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 82592 0 0 0 99853 159 0 0 25 0 1 0 830427899 349306880 82515 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85280 82515 1111 63 0 85217 0
vsize: 341120
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 83600 0 0 0 100851 160 0 0 25 0 1 0 830427899 353488896 83523 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86301 83523 1111 63 0 86238 0
vsize: 345204
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 84457 0 0 0 101849 162 0 0 25 0 1 0 830427899 356925440 84380 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 87140 84380 1111 63 0 87077 0
vsize: 348560
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 85472 0 0 0 102847 165 0 0 25 0 1 0 830427899 361103360 85395 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88160 85395 1111 63 0 88097 0
vsize: 352640
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 86336 0 0 0 103846 166 0 0 25 0 1 0 830427899 364691456 86259 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89036 86259 1111 63 0 88973 0
vsize: 356144
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 87235 0 0 0 104844 168 0 0 25 0 1 0 830427899 368275456 87158 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 89911 87158 1111 63 0 89848 0
vsize: 359644
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 88098 0 0 0 105843 170 0 0 25 0 1 0 830427899 371859456 88021 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90786 88021 1111 63 0 90723 0
vsize: 363144
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 89035 0 0 0 106840 172 0 0 25 0 1 0 830427899 375742464 88958 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 91734 88958 1111 63 0 91671 0
vsize: 366936
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 90007 0 0 0 107839 174 0 0 25 0 1 0 830427899 379617280 89930 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92680 89930 1111 63 0 92617 0
vsize: 370720
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 91058 0 0 0 108836 176 0 0 25 0 1 0 830427899 383950848 90981 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93738 90981 1111 63 0 93675 0
vsize: 374952
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 92016 0 0 0 109835 178 0 0 25 0 1 0 830427899 387829760 91939 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 94685 91939 1111 63 0 94622 0
vsize: 378740
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 92903 0 0 0 110833 180 0 0 25 0 1 0 830427899 391561216 92826 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95596 92826 1111 63 0 95533 0
vsize: 382384
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 94033 0 0 0 111831 183 0 0 25 0 1 0 830427899 396189696 93956 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 96726 93956 1111 63 0 96663 0
vsize: 386904
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 94914 0 0 0 112830 183 0 0 25 0 1 0 830427899 399773696 94837 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 97601 94837 1111 63 0 97538 0
vsize: 390404
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 95808 0 0 0 113829 185 0 0 25 0 1 0 830427899 403357696 95731 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98476 95731 1111 63 0 98413 0
vsize: 393904
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 96719 0 0 0 114827 187 0 0 25 0 1 0 830427899 407093248 96642 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 99388 96642 1111 63 0 99325 0
vsize: 397552
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 97618 0 0 0 115824 189 0 0 25 0 1 0 830427899 410824704 97541 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100299 97541 1111 63 0 100236 0
vsize: 401196
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 98627 0 0 0 116822 192 0 0 25 0 1 0 830427899 415072256 98550 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 101336 98550 1111 63 0 101273 0
vsize: 405344
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 99562 0 0 0 117820 194 0 0 25 0 1 0 830427899 418955264 99485 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 102284 99485 1111 63 0 102221 0
vsize: 409136
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 100456 0 0 0 118818 196 0 0 25 0 1 0 830427899 422539264 100379 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103159 100379 1111 63 0 103096 0
vsize: 412636
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) R 28891 7876 7672 0 -1 0 101347 0 0 0 119817 197 0 0 25 0 1 0 830427899 426266624 101270 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 104069 101270 1111 63 0 104006 0
vsize: 416276
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 0.99 0.98 0.98 1/55 28894
Raw data (stat): 28892 (bsolo_lpr_cuts) Z 28891 7876 7672 0 -1 1036 101347 0 0 0 119817 216 0 0 25 0 1 0 830427899 0 0 4294967295 0 0 0 0 0 0 0 1 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.26
CPU time (s): 1200.34
CPU user time (s): 1198.18
CPU system time (s): 2.16367
CPU usage (%): 100.007
Max. virtual memory (Kb): 416276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####