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/submitted/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 25073

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 12:51:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5020 boxname=wulflinc31 idbench=387 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a578bf261896413ca78de4dc6db2447f  /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-lseu.opb
IDLAUNCH: 5020
/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:        793196 kB
Buffers:         49156 kB
Cached:         170096 kB
SwapCached:       1952 kB
Active:         178336 kB
Inactive:        44120 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792944 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13284 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 13:11:04 (client local time) WITH STATUS 0 IN 1200.94 SECONDS
stats: 5020 7 1200.94 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.046 s
c Initial Lower Bound: 777
c Lower Bound Elapsed time: 0.0101667
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3071 @ 0.548
c NEW SOLUTION FOUND: 2833 @ 0.554
c NEW SOLUTION FOUND: 2701 @ 0.606
c NEW SOLUTION FOUND: 2637 @ 1.166
c NEW SOLUTION FOUND: 2630 @ 1.49
c NEW SOLUTION FOUND: 2620 @ 1.957
c NEW SOLUTION FOUND: 2612 @ 2.918
c NEW SOLUTION FOUND: 2523 @ 2.932
c NEW SOLUTION FOUND: 2440 @ 2.941
c NEW SOLUTION FOUND: 2199 @ 12.452
c NEW SOLUTION FOUND: 2198 @ 12.651
c NEW SOLUTION FOUND: 2111 @ 33.362
c NEW SOLUTION FOUND: 2105 @ 45.698
c NEW SOLUTION FOUND: 2065 @ 83.381
c NEW SOLUTION FOUND: 2057 @ 85.191
c NEW SOLUTION FOUND: 2030 @ 571.789
c NEW SOLUTION FOUND: 1885 @ 764.332
c NEW SOLUTION FOUND: 1884 @ 764.474
c NEW SOLUTION FOUND: 1807 @ 794.393
c NEW SOLUTION FOUND: 1743 @ 798.517
c NEW SOLUTION FOUND: 1649 @ 805.01
#### 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.98 2/55 13158
Raw data (stat): 13158 (runsolver) R 13157 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 761227385 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 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.0004 s]
Raw data (loadavg): 0.93 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 8734 0 0 0 960 35 0 0 25 0 1 0 761227385 9162752 1556 4294967295 134512640 134714508 3221221792 3221220192 1074118815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2237 1556 1111 63 0 2174 0
vsize: 8948
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 23743 0 0 0 1921 74 0 0 25 0 1 0 761227385 11071488 2015 4294967295 134512640 134714508 3221221792 3221220484 134591942 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2703 2015 1111 63 0 2640 0
vsize: 10812
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 36487 0 0 0 2887 109 0 0 25 0 1 0 761227385 13283328 2480 4294967295 134512640 134714508 3221221792 3221218624 1075115834 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3243 2480 1111 63 0 3180 0
vsize: 12972
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 53964 0 0 0 3841 154 0 0 25 0 1 0 761227385 15372288 3074 4294967295 134512640 134714508 3221221792 3221219792 1074140704 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3753 3074 1111 63 0 3690 0
vsize: 15012
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 70939 0 0 0 4800 196 0 0 25 0 1 0 761227385 17592320 3620 4294967295 134512640 134714508 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3620 1111 63 0 4232 0
vsize: 17180
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 75740 0 0 0 5789 207 0 0 25 0 1 0 761227385 18067456 3739 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3739 1111 63 0 4348 0
vsize: 17644
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 113174 0 0 0 6706 291 0 0 25 0 1 0 761227385 22065152 4469 4294967295 134512640 134714508 3221221792 3221218128 1075114289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5387 4469 1111 63 0 5324 0
vsize: 21548
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 148148 0 0 0 7625 371 0 0 25 0 1 0 761227385 25006080 5219 4294967295 134512640 134714508 3221221792 3221217792 1075088670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5219 1111 63 0 6042 0
vsize: 24420
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 179539 0 0 0 8555 441 0 0 25 0 1 0 761227385 25980928 5622 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6343 5622 1111 63 0 6280 0
vsize: 25372
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 223889 0 0 0 9459 538 0 0 25 0 1 0 761227385 29089792 6341 4294967295 134512640 134714508 3221221792 3221220560 134556887 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7102 6341 1111 63 0 7039 0
vsize: 28408
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 234356 0 0 0 10438 559 0 0 25 0 1 0 761227385 29851648 6522 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7288 6522 1111 63 0 7225 0
vsize: 29152
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 243674 0 0 0 11419 578 0 0 25 0 1 0 761227385 30441472 6633 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7432 6633 1111 63 0 7369 0
vsize: 29728
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 244428 0 0 0 12417 580 0 0 25 0 1 0 761227385 30982144 6797 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7564 6797 1111 63 0 7501 0
vsize: 30256
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 244546 0 0 0 13416 581 0 0 25 0 1 0 761227385 31596544 6915 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7714 6915 1111 63 0 7651 0
vsize: 30856
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 245592 0 0 0 14414 584 0 0 25 0 1 0 761227385 34410496 7626 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8401 7626 1111 63 0 8338 0
vsize: 33604
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 250215 0 0 0 15404 594 0 0 25 0 1 0 761227385 34893824 7659 4294967295 134512640 134714508 3221221792 3221219904 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8519 7659 1111 63 0 8456 0
vsize: 34076
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 260169 0 0 0 16380 618 0 0 25 0 1 0 761227385 34680832 7692 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7692 1111 63 0 8404 0
vsize: 33868
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 260169 0 0 0 17380 618 0 0 25 0 1 0 761227385 34680832 7692 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7692 1111 63 0 8404 0
vsize: 33868
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 260169 0 0 0 18381 618 0 0 25 0 1 0 761227385 34680832 7692 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7692 1111 63 0 8404 0
vsize: 33868
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 267564 0 0 0 19363 635 0 0 25 0 1 0 761227385 30580736 6699 4294967295 134512640 134714508 3221221792 3221219984 1074153766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7466 6699 1111 63 0 7403 0
vsize: 29864
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 274394 0 0 0 20347 652 0 0 25 0 1 0 761227385 30756864 6742 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7509 6742 1111 63 0 7446 0
vsize: 30036
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 281837 0 0 0 21330 669 0 0 25 0 1 0 761227385 31965184 7012 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7804 7012 1111 63 0 7741 0
vsize: 31216
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 289220 0 0 0 22314 685 0 0 25 0 1 0 761227385 30969856 6795 4294967295 134512640 134714508 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6795 1111 63 0 7498 0
vsize: 30244
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 300831 0 0 0 23288 711 0 0 25 0 1 0 761227385 31035392 6785 4294967295 134512640 134714508 3221221792 3221219536 1075646215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7538 6772 1111 63 0 7475 0
vsize: 30308
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 304146 0 0 0 24280 719 0 0 25 0 1 0 761227385 31920128 7027 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7793 7027 1111 63 0 7730 0
vsize: 31172
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 305984 0 0 0 25276 723 0 0 25 0 1 0 761227385 36225024 7959 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8844 7959 1111 63 0 8781 0
vsize: 35376
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 310759 0 0 0 26264 735 0 0 25 0 1 0 761227385 33099776 7285 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8081 7285 1111 63 0 8018 0
vsize: 32324
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 317282 0 0 0 27250 750 0 0 25 0 1 0 761227385 35627008 7746 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8698 7746 1111 63 0 8635 0
vsize: 34792
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 324870 0 0 0 28232 768 0 0 25 0 1 0 761227385 31408128 6902 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7668 6902 1111 63 0 7605 0
vsize: 30672
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 336444 0 0 0 29206 794 0 0 25 0 1 0 761227385 31600640 6921 4294967295 134512640 134714508 3221221792 3221219904 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7715 6921 1111 63 0 7652 0
vsize: 30860
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 346361 0 0 0 30182 818 0 0 25 0 1 0 761227385 32129024 7075 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7844 7075 1111 63 0 7781 0
vsize: 31376
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 350552 0 0 0 31171 830 0 0 25 0 1 0 761227385 32620544 7197 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7964 7197 1111 63 0 7901 0
vsize: 31856
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 350643 0 0 0 32170 831 0 0 25 0 1 0 761227385 32993280 7288 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8055 7288 1111 63 0 7992 0
vsize: 32220
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 351682 0 0 0 33167 834 0 0 25 0 1 0 761227385 35971072 8002 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8782 8002 1111 63 0 8719 0
vsize: 35128
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 353559 0 0 0 34164 837 0 0 25 0 1 0 761227385 40964096 8942 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10001 8942 1111 63 0 9938 0
vsize: 40004
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 355350 0 0 0 35159 842 0 0 25 0 1 0 761227385 33341440 7373 4294967295 134512640 134714508 3221221792 3221220508 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8140 7373 1111 63 0 8077 0
vsize: 32560
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 355350 0 0 0 36160 842 0 0 25 0 1 0 761227385 33341440 7373 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8140 7373 1111 63 0 8077 0
vsize: 32560
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 383669 0 0 0 37096 906 0 0 25 0 1 0 761227385 39067648 7537 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9538 7547 1111 63 0 9475 0
vsize: 38152
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 425347 0 0 0 37999 1002 0 0 25 0 1 0 761227385 34406400 7627 4294967295 134512640 134714508 3221221792 3221220584 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7627 1111 63 0 8337 0
vsize: 33600
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 460927 0 0 0 38918 1084 0 0 25 0 1 0 761227385 43380736 9148 4294967295 134512640 134714508 3221221792 3221217936 1074969680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10591 9148 1111 63 0 10528 0
vsize: 42364
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 476097 0 0 0 39882 1120 0 0 25 0 1 0 761227385 43053056 8847 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10511 8856 1111 63 0 10448 0
vsize: 42044
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 484062 0 0 0 40861 1141 0 0 25 0 1 0 761227385 38694912 8656 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9447 8656 1111 63 0 9384 0
vsize: 37788
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 486687 0 0 0 41855 1147 0 0 25 0 1 0 761227385 37130240 8276 4294967295 134512640 134714508 3221221792 3221219744 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9065 8276 1111 63 0 9002 0
vsize: 36260
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 507741 0 0 0 42805 1197 0 0 25 0 1 0 761227385 36478976 8134 4294967295 134512640 134714508 3221221792 3221220520 134622780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8906 8134 1111 63 0 8843 0
vsize: 35624
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 537207 0 0 0 43738 1265 0 0 25 0 1 0 761227385 45289472 9055 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11057 9055 1111 63 0 10994 0
vsize: 44228
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 560171 0 0 0 44684 1318 0 0 25 0 1 0 761227385 38064128 8516 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9293 8516 1111 63 0 9230 0
vsize: 37172
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 593409 0 0 0 45607 1396 0 0 25 0 1 0 761227385 39477248 8852 4294967295 134512640 134714508 3221221792 3221219888 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9638 8852 1111 63 0 9575 0
vsize: 38552
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 617440 0 0 0 46549 1454 0 0 25 0 1 0 761227385 39768064 8945 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9709 8945 1111 63 0 9646 0
vsize: 38836
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 642998 0 0 0 47489 1514 0 0 25 0 1 0 761227385 40173568 9044 4294967295 134512640 134714508 3221221792 3221219856 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9808 9044 1111 63 0 9745 0
vsize: 39232
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 669349 0 0 0 48427 1577 0 0 25 0 1 0 761227385 44834816 9214 4294967295 134512640 134714508 3221221792 3221219280 1074620360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10946 9214 1111 63 0 10883 0
vsize: 43784
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 690229 0 0 0 49375 1629 0 0 25 0 1 0 761227385 45674496 9685 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11151 9685 1111 63 0 11088 0
vsize: 44604
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 694814 0 0 0 50364 1640 0 0 25 0 1 0 761227385 43982848 9963 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10738 9963 1111 63 0 10675 0
vsize: 42952
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 697499 0 0 0 51358 1646 0 0 25 0 1 0 761227385 42389504 9582 4294967295 134512640 134714508 3221221792 3221220576 134622318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10349 9582 1111 63 0 10286 0
vsize: 41396
[startup+540.429 s]
Raw data (loadavg): 0.99 0.97 0.98 2/55 13158
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 721937 0 0 0 52345 1701 0 0 25 0 1 0 761227385 45760512 9649 4294967295 134512640 134714508 3221221792 3221217956 1075964264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11172 9649 1111 63 0 11109 0
vsize: 44688
[startup+550.873 s]
Raw data (loadavg): 1.07 0.99 0.99 3/58 13198
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 760071 0 0 0 53299 1791 0 0 25 0 1 0 761227385 42377216 9578 4294967295 134512640 134714508 3221221792 3221220304 134607124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10346 9578 1111 63 0 10283 0
vsize: 41384
[startup+560.873 s]
Raw data (loadavg): 1.22 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 784572 0 0 0 54237 1853 0 0 25 0 1 0 761227385 43663360 9879 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9879 1111 63 0 10597 0
vsize: 42640
[startup+570.973 s]
Raw data (loadavg): 1.18 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 789598 0 0 0 55236 1864 0 0 25 0 1 0 761227385 47005696 9977 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11476 9979 1111 63 0 11413 0
vsize: 45904
[startup+580.973 s]
Raw data (loadavg): 1.15 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 827335 0 0 0 56119 1955 0 0 25 0 1 0 761227385 47747072 10174 4294967295 134512640 134714508 3221221792 3221218864 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11657 10174 1111 63 0 11594 0
vsize: 46628
[startup+591.012 s]
Raw data (loadavg): 1.13 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 838388 0 0 0 57097 1981 0 0 25 0 1 0 761227385 43917312 9958 4294967295 134512640 134714508 3221221792 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10722 9958 1111 63 0 10659 0
vsize: 42888
[startup+601.013 s]
Raw data (loadavg): 1.11 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 871231 0 0 0 58021 2058 0 0 25 0 1 0 761227385 45981696 10464 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11226 10464 1111 63 0 11163 0
vsize: 44904
[startup+611.013 s]
Raw data (loadavg): 1.09 1.02 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 898037 0 0 0 58959 2120 0 0 25 0 1 0 761227385 51081216 11069 4294967295 134512640 134714508 3221221792 3221217756 1074788944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12471 11069 1111 63 0 12408 0
vsize: 49884
[startup+621.013 s]
Raw data (loadavg): 1.08 1.01 1.00 2/55 13211
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 922804 0 0 0 59900 2178 0 0 25 0 1 0 761227385 53616640 10937 4294967295 134512640 134714508 3221221792 3221218624 1075115388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13090 10937 1111 63 0 13027 0
vsize: 52360
[startup+631.013 s]
Raw data (loadavg): 1.06 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 945686 0 0 0 60848 2231 0 0 25 0 1 0 761227385 51679232 11138 4294967295 134512640 134714508 3221221792 3221218864 1074867334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12617 11138 1111 63 0 12554 0
vsize: 50468
[startup+641.014 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 977089 0 0 0 61775 2304 0 0 25 0 1 0 761227385 49229824 11232 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12019 11232 1111 63 0 11956 0
vsize: 48076
[startup+651.014 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 999444 0 0 0 62722 2358 0 0 25 0 1 0 761227385 49446912 11260 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12072 11260 1111 63 0 12009 0
vsize: 48288
[startup+661.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1021425 0 0 0 63670 2410 0 0 25 0 1 0 761227385 51326976 11726 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12531 11726 1111 63 0 12468 0
vsize: 50124
[startup+671.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1028925 0 0 0 64653 2427 0 0 25 0 1 0 761227385 49983488 11414 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12203 11414 1111 63 0 12140 0
vsize: 48812
[startup+681.016 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1043066 0 0 0 65618 2462 0 0 25 0 1 0 761227385 56918016 11741 4294967295 134512640 134714508 3221221792 3221217952 1075091205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13896 11741 1111 63 0 13833 0
vsize: 55584
[startup+691.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1057744 0 0 0 66581 2499 0 0 25 0 1 0 761227385 50679808 11594 4294967295 134512640 134714508 3221221792 3221219648 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12373 11594 1111 63 0 12310 0
vsize: 49492
[startup+701.017 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1063441 0 0 0 67567 2513 0 0 25 0 1 0 761227385 51589120 11810 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12595 11810 1111 63 0 12532 0
vsize: 50380
[startup+711.018 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1069613 0 0 0 68552 2528 0 0 25 0 1 0 761227385 51208192 11720 4294967295 134512640 134714508 3221221792 3221220272 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12502 11720 1111 63 0 12439 0
vsize: 50008
[startup+721.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1082654 0 0 0 69524 2557 0 0 25 0 1 0 761227385 51150848 11698 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12488 11698 1111 63 0 12425 0
vsize: 49952
[startup+731.017 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1098566 0 0 0 70486 2595 0 0 25 0 1 0 761227385 51531776 11776 4294967295 134512640 134714508 3221221792 3221219792 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12581 11776 1111 63 0 12518 0
vsize: 50324
[startup+741.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1106537 0 0 0 71467 2614 0 0 25 0 1 0 761227385 57475072 12548 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14032 12548 1111 63 0 13969 0
vsize: 56128
[startup+751.018 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1122757 0 0 0 72427 2654 0 0 25 0 1 0 761227385 51347456 11741 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12536 11741 1111 63 0 12473 0
vsize: 50144
[startup+761.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1129645 0 0 0 73413 2669 0 0 25 0 1 0 761227385 51773440 11862 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12640 11862 1111 63 0 12577 0
vsize: 50560
[startup+771.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1159996 0 0 0 74339 2742 0 0 25 0 1 0 761227385 53452800 12261 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13050 12261 1111 63 0 12987 0
vsize: 52200
[startup+781.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1168653 0 0 0 75319 2762 0 0 25 0 1 0 761227385 53211136 12202 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12991 12202 1111 63 0 12928 0
vsize: 51964
[startup+791.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1202483 0 0 0 76234 2847 0 0 25 0 1 0 761227385 54644736 12531 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13585 12531 1111 63 0 13522 0
vsize: 53364
[startup+801.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1252755 0 0 0 77115 2967 0 0 25 0 1 0 761227385 57618432 13243 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14067 13243 1111 63 0 14004 0
vsize: 56268
[startup+811.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1284177 0 0 0 78038 3044 0 0 25 0 1 0 761227385 59121664 13607 4294967295 134512640 134714508 3221221792 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14434 13607 1111 63 0 14371 0
vsize: 57736
[startup+821.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1312774 0 0 0 78973 3110 0 0 25 0 1 0 761227385 59924480 13788 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14630 13788 1111 63 0 14567 0
vsize: 58520
[startup+831.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1358045 0 0 0 79866 3217 0 0 25 0 1 0 761227385 65097728 14116 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15893 14119 1111 63 0 15830 0
vsize: 63572
[startup+841.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1359626 0 0 0 80860 3222 0 0 25 0 1 0 761227385 62468096 14400 4294967295 134512640 134714508 3221221792 3221219632 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15251 14400 1111 63 0 15188 0
vsize: 61004
[startup+851.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1360471 0 0 0 81858 3225 0 0 25 0 1 0 761227385 64827392 14980 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15827 14980 1111 63 0 15764 0
vsize: 63308
[startup+861.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13213
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1363460 0 0 0 82851 3232 0 0 25 0 1 0 761227385 62685184 14468 4294967295 134512640 134714508 3221221792 3221220508 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15304 14468 1111 63 0 15241 0
vsize: 61216
[startup+871.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1363460 0 0 0 83851 3232 0 0 25 0 1 0 761227385 62685184 14468 4294967295 134512640 134714508 3221221792 3221220516 134622785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15304 14468 1111 63 0 15241 0
vsize: 61216
[startup+881.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1364095 0 0 0 84849 3234 0 0 25 0 1 0 761227385 63594496 14683 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15526 14683 1111 63 0 15463 0
vsize: 62104
[startup+891.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1366289 0 0 0 85844 3239 0 0 25 0 1 0 761227385 62300160 14374 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15210 14374 1111 63 0 15147 0
vsize: 60840
[startup+901.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1368550 0 0 0 86839 3245 0 0 25 0 1 0 761227385 63483904 14546 4294967295 134512640 134714508 3221221792 3221218984 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15499 14558 1111 63 0 15436 0
vsize: 61996
[startup+911.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1372965 0 0 0 87829 3255 0 0 25 0 1 0 761227385 62930944 14528 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15364 14528 1111 63 0 15301 0
vsize: 61456
[startup+921.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1379755 0 0 0 88812 3272 0 0 25 0 1 0 761227385 62357504 14378 4294967295 134512640 134714508 3221221792 3221220516 134622785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15224 14378 1111 63 0 15161 0
vsize: 60896
[startup+931.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1387871 0 0 0 89793 3291 0 0 25 0 1 0 761227385 61992960 14275 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15135 14275 1111 63 0 15072 0
vsize: 60540
[startup+941.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1400860 0 0 0 90763 3322 0 0 25 0 1 0 761227385 63275008 14605 4294967295 134512640 134714508 3221221792 3221219704 1074138316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15448 14605 1111 63 0 15385 0
vsize: 61792
[startup+951.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1408104 0 0 0 91748 3337 0 0 25 0 1 0 761227385 62816256 14464 4294967295 134512640 134714508 3221221792 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15336 14464 1111 63 0 15273 0
vsize: 61344
[startup+961.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1413022 0 0 0 92737 3349 0 0 25 0 1 0 761227385 67452928 15051 4294967295 134512640 134714508 3221221792 3221218864 1074867340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15051 1111 63 0 16405 0
vsize: 65872
[startup+971.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1424548 0 0 0 93709 3377 0 0 25 0 1 0 761227385 62332928 14375 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15218 14375 1111 63 0 15155 0
vsize: 60872
[startup+981.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1443655 0 0 0 94662 3424 0 0 25 0 1 0 761227385 62775296 14469 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15326 14469 1111 63 0 15263 0
vsize: 61304
[startup+991.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1462576 0 0 0 95614 3472 0 0 25 0 1 0 761227385 64118784 14797 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15654 14797 1111 63 0 15591 0
vsize: 62616
[startup+1001.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1463307 0 0 0 96612 3474 0 0 25 0 1 0 761227385 66265088 15310 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16178 15310 1111 63 0 16115 0
vsize: 64712
[startup+1011.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1466004 0 0 0 97606 3481 0 0 25 0 1 0 761227385 64438272 14875 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15732 14875 1111 63 0 15669 0
vsize: 62928
[startup+1021.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1467766 0 0 0 98602 3485 0 0 25 0 1 0 761227385 69492736 15492 4294967295 134512640 134714508 3221221792 3221217952 1075091326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16966 15492 1111 63 0 16903 0
vsize: 67864
[startup+1031.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1470344 0 0 0 99596 3491 0 0 25 0 1 0 761227385 64839680 14957 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15830 14957 1111 63 0 15767 0
vsize: 63320
[startup+1041.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1478702 0 0 0 100577 3510 0 0 25 0 1 0 761227385 63418368 14626 4294967295 134512640 134714508 3221221792 3221219296 1073986838 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15483 14626 1111 63 0 15420 0
vsize: 61932
[startup+1051.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1490051 0 0 0 101551 3536 0 0 25 0 1 0 761227385 64319488 14831 4294967295 134512640 134714508 3221221792 3221220584 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15703 14831 1111 63 0 15640 0
vsize: 62812
[startup+1061.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1497882 0 0 0 102533 3555 0 0 25 0 1 0 761227385 64118784 14797 4294967295 134512640 134714508 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15654 14797 1111 63 0 15591 0
vsize: 62616
[startup+1071.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1511360 0 0 0 103499 3588 0 0 25 0 1 0 761227385 64118784 14797 4294967295 134512640 134714508 3221221792 3221220192 1074119094 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15654 14797 1111 63 0 15591 0
vsize: 62616
[startup+1081.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1539014 0 0 0 104433 3655 0 0 25 0 1 0 761227385 68509696 14984 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16726 14984 1111 63 0 16663 0
vsize: 66904
[startup+1091.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1564097 0 0 0 105372 3716 0 0 25 0 1 0 761227385 65478656 15115 4294967295 134512640 134714508 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15986 15115 1111 63 0 15923 0
vsize: 63944
[startup+1101.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1580535 0 0 0 106335 3753 0 0 25 0 1 0 761227385 65908736 15188 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16091 15188 1111 63 0 16028 0
vsize: 64364
[startup+1111.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1610024 0 0 0 107266 3822 0 0 25 0 1 0 761227385 70717440 15708 4294967295 134512640 134714508 3221221792 3221217756 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17265 15708 1111 63 0 17202 0
vsize: 69060
[startup+1121.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1618608 0 0 0 108245 3843 0 0 25 0 1 0 761227385 67129344 15512 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16389 15512 1111 63 0 16326 0
vsize: 65556
[startup+1131.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1618725 0 0 0 109244 3845 0 0 25 0 1 0 761227385 67633152 15613 4294967295 134512640 134714508 3221221792 3221220032 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16512 15613 1111 63 0 16449 0
vsize: 66048
[startup+1141.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1618824 0 0 0 110243 3846 0 0 25 0 1 0 761227385 68079616 15712 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16621 15712 1111 63 0 16558 0
vsize: 66484
[startup+1151.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1618907 0 0 0 111242 3847 0 0 25 0 1 0 761227385 68300800 15795 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16675 15795 1111 63 0 16612 0
vsize: 66700
[startup+1161.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1618950 0 0 0 112242 3847 0 0 25 0 1 0 761227385 68476928 15838 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16718 15838 1111 63 0 16655 0
vsize: 66872
[startup+1171.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1620568 0 0 0 113238 3852 0 0 25 0 1 0 761227385 72978432 16925 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17817 16925 1111 63 0 17754 0
vsize: 71268
[startup+1181.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1620568 0 0 0 114238 3852 0 0 25 0 1 0 761227385 72978432 16925 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17817 16925 1111 63 0 17754 0
vsize: 71268
[startup+1191.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1620568 0 0 0 115238 3852 0 0 25 0 1 0 761227385 72978432 16925 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17817 16925 1111 63 0 17754 0
vsize: 71268
[startup+1201.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) R 13157 7876 7672 0 -1 0 1620568 0 0 0 116238 3852 0 0 25 0 1 0 761227385 72978432 16925 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17817 16925 1111 63 0 17754 0
vsize: 71268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 13215
Raw data (stat): 13158 (bsolo_lpr_cuts) Z 13157 7876 7672 0 -1 1036 1620568 0 0 0 116238 3855 0 0 25 0 1 0 761227385 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): 1201.08
CPU time (s): 1200.94
CPU user time (s): 1162.39
CPU system time (s): 38.5551
CPU usage (%): 99.989
Max. virtual memory (Kb): 71268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####