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-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
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	70755
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	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 27928

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 23:40:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15212 boxname=wulflinc18 idbench=1171 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  575f632072d90cb1b2032661c3842261  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-siena1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-siena1.opb
IDLAUNCH: 15212
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        853500 kB
Buffers:         15304 kB
Cached:         144068 kB
SwapCached:        836 kB
Active:          40036 kB
Inactive:       121868 kB
HighTotal:      131008 kB
HighFree:        25368 kB
LowTotal:       903652 kB
LowFree:        828132 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            13512 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:00:24 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 15212 7 1200.38 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.94 0.92 2/54 27369
Raw data (stat): 27369 (runsolver) R 27368 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834257430 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.94 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 2011 0 0 0 992 6 0 0 25 0 1 0 834257430 19714048 1935 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4813 1935 1111 63 0 4750 0
vsize: 19252
[startup+20.0045 s]
Raw data (loadavg): 0.91 0.94 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 3147 0 0 0 1989 9 0 0 25 0 1 0 834257430 24342528 3071 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 3071 1111 63 0 5880 0
vsize: 23772
[startup+30.0058 s]
Raw data (loadavg): 0.92 0.94 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 4295 0 0 0 2988 11 0 0 25 0 1 0 834257430 29118464 4219 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7109 4219 1111 63 0 7046 0
vsize: 28436
[startup+40.0062 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 5437 0 0 0 3985 14 0 0 25 0 1 0 834257430 33746944 5361 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8239 5361 1111 63 0 8176 0
vsize: 32956
[startup+50.0073 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 6585 0 0 0 4981 17 0 0 25 0 1 0 834257430 38375424 6509 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9369 6509 1111 63 0 9306 0
vsize: 37476
[startup+60.0072 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 7742 0 0 0 5978 20 0 0 25 0 1 0 834257430 43139072 7666 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7666 1111 63 0 10469 0
vsize: 42128
[startup+70.0094 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 8914 0 0 0 6976 23 0 0 25 0 1 0 834257430 47915008 8838 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11698 8838 1111 63 0 11635 0
vsize: 46792
[startup+80.01 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 10094 0 0 0 7975 24 0 0 25 0 1 0 834257430 52846592 10018 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12902 10018 1111 63 0 12839 0
vsize: 51608
[startup+90.0103 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 11271 0 0 0 8973 26 0 0 25 0 1 0 834257430 57622528 11195 4294967295 134512640 134714508 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14068 11197 1111 63 0 14005 0
vsize: 56272
[startup+100.011 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 12451 0 0 0 9971 28 0 0 25 0 1 0 834257430 62402560 12375 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15235 12375 1111 63 0 15172 0
vsize: 60940
[startup+110.012 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 13640 0 0 0 10969 30 0 0 25 0 1 0 834257430 67301376 13564 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13564 1111 63 0 16368 0
vsize: 65724
[startup+120.012 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 14832 0 0 0 11968 32 0 0 25 0 1 0 834257430 72228864 14756 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17634 14756 1111 63 0 17571 0
vsize: 70536
[startup+130.012 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 16022 0 0 0 12965 34 0 0 25 0 1 0 834257430 77152256 15946 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18836 15946 1111 63 0 18773 0
vsize: 75344
[startup+140.012 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 17219 0 0 0 13963 37 0 0 25 0 1 0 834257430 81932288 17143 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20003 17143 1111 63 0 19940 0
vsize: 80012
[startup+150.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 18417 0 0 0 14960 40 0 0 25 0 1 0 834257430 86863872 18341 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21207 18341 1111 63 0 21144 0
vsize: 84828
[startup+160.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 19620 0 0 0 15958 42 0 0 25 0 1 0 834257430 91787264 19544 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22409 19544 1111 63 0 22346 0
vsize: 89636
[startup+170.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 20828 0 0 0 16957 44 0 0 25 0 1 0 834257430 96714752 20752 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23612 20752 1111 63 0 23549 0
vsize: 94448
[startup+180.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 22037 0 0 0 17955 46 0 0 25 0 1 0 834257430 101789696 21961 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24851 21961 1111 63 0 24788 0
vsize: 99404
[startup+190.013 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 23252 0 0 0 18952 48 0 0 25 0 1 0 834257430 106717184 23176 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26054 23176 1111 63 0 25991 0
vsize: 104216
[startup+200.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 24467 0 0 0 19950 51 0 0 25 0 1 0 834257430 111640576 24391 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27256 24391 1111 63 0 27193 0
vsize: 109024
[startup+210.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 25696 0 0 0 20949 53 0 0 25 0 1 0 834257430 116695040 25620 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28490 25620 1111 63 0 28427 0
vsize: 113960
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 26923 0 0 0 21947 54 0 0 25 0 1 0 834257430 121769984 26847 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29729 26847 1111 63 0 29666 0
vsize: 118916
[startup+230.015 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 28150 0 0 0 22945 57 0 0 25 0 1 0 834257430 126849024 28074 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30969 28074 1111 63 0 30906 0
vsize: 123876
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 29384 0 0 0 23942 59 0 0 25 0 1 0 834257430 131772416 29308 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32171 29308 1111 63 0 32108 0
vsize: 128684
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 30623 0 0 0 24940 62 0 0 25 0 1 0 834257430 136847360 30547 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33410 30547 1111 63 0 33347 0
vsize: 133640
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 31864 0 0 0 25938 64 0 0 25 0 1 0 834257430 141930496 31788 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34651 31788 1111 63 0 34588 0
vsize: 138604
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 33109 0 0 0 26936 66 0 0 25 0 1 0 834257430 147152896 33033 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35926 33033 1111 63 0 35863 0
vsize: 143704
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 34360 0 0 0 27935 68 0 0 25 0 1 0 834257430 152227840 34284 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37165 34284 1111 63 0 37102 0
vsize: 148660
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 35613 0 0 0 28933 70 0 0 25 0 1 0 834257430 157302784 35537 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38404 35537 1111 63 0 38341 0
vsize: 153616
[startup+300.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 36870 0 0 0 29931 72 0 0 25 0 1 0 834257430 162529280 36794 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39680 36794 1111 63 0 39617 0
vsize: 158720
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 38136 0 0 0 30929 74 0 0 25 0 1 0 834257430 167608320 38060 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40920 38060 1111 63 0 40857 0
vsize: 163680
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 39399 0 0 0 31927 76 0 0 25 0 1 0 834257430 172834816 39323 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42196 39323 1111 63 0 42133 0
vsize: 168784
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 40668 0 0 0 32925 78 0 0 25 0 1 0 834257430 178057216 40592 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43471 40592 1111 63 0 43408 0
vsize: 173884
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 41945 0 0 0 33923 81 0 0 25 0 1 0 834257430 183283712 41869 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44747 41869 1111 63 0 44684 0
vsize: 178988
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 43222 0 0 0 34920 84 0 0 25 0 1 0 834257430 188514304 43146 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46024 43146 1111 63 0 45961 0
vsize: 184096
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 44503 0 0 0 35918 86 0 0 25 0 1 0 834257430 193736704 44427 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47299 44427 1111 63 0 47236 0
vsize: 189196
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 45791 0 0 0 36916 89 0 0 25 0 1 0 834257430 198959104 45715 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48574 45715 1111 63 0 48511 0
vsize: 194296
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 47085 0 0 0 37913 91 0 0 25 0 1 0 834257430 204333056 47009 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49886 47009 1111 63 0 49823 0
vsize: 199544
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 48380 0 0 0 38911 94 0 0 25 0 1 0 834257430 209559552 48304 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51162 48304 1111 63 0 51099 0
vsize: 204648
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 49690 0 0 0 39909 96 0 0 25 0 1 0 834257430 215085056 49614 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52511 49614 1111 63 0 52448 0
vsize: 210044
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 50997 0 0 0 40907 99 0 0 25 0 1 0 834257430 220459008 50921 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53823 50921 1111 63 0 53760 0
vsize: 215292
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 52308 0 0 0 41904 101 0 0 25 0 1 0 834257430 225828864 52232 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55134 52232 1111 63 0 55071 0
vsize: 220536
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 53622 0 0 0 42902 103 0 0 25 0 1 0 834257430 231211008 53546 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56448 53546 1111 63 0 56385 0
vsize: 225792
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 54940 0 0 0 43900 106 0 0 25 0 1 0 834257430 236584960 54864 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57760 54864 1111 63 0 57697 0
vsize: 231040
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 56265 0 0 0 44899 107 0 0 25 0 1 0 834257430 241954816 56189 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59071 56189 1111 63 0 59008 0
vsize: 236284
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 57596 0 0 0 45897 109 0 0 25 0 1 0 834257430 247480320 57520 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60420 57520 1111 63 0 60357 0
vsize: 241680
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 58933 0 0 0 46895 112 0 0 25 0 1 0 834257430 252858368 58857 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61733 58857 1111 63 0 61670 0
vsize: 246932
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 60276 0 0 0 47893 113 0 0 25 0 1 0 834257430 258379776 60200 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63081 60200 1111 63 0 63018 0
vsize: 252324
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 61624 0 0 0 48891 116 0 0 25 0 1 0 834257430 263905280 61548 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64430 61548 1111 63 0 64367 0
vsize: 257720
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 62975 0 0 0 49888 119 0 0 25 0 1 0 834257430 269434880 62899 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65780 62899 1111 63 0 65717 0
vsize: 263120
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 64337 0 0 0 50885 122 0 0 25 0 1 0 834257430 274960384 64261 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67129 64261 1111 63 0 67066 0
vsize: 268516
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 65704 0 0 0 51883 124 0 0 25 0 1 0 834257430 280633344 65628 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68514 65628 1111 63 0 68451 0
vsize: 274056
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 67073 0 0 0 52882 126 0 0 25 0 1 0 834257430 286158848 66997 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69863 66997 1111 63 0 69800 0
vsize: 279452
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 68453 0 0 0 53880 127 0 0 25 0 1 0 834257430 291835904 68377 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71249 68377 1111 63 0 71186 0
vsize: 284996
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 69833 0 0 0 54878 130 0 0 25 0 1 0 834257430 297508864 69757 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72634 69757 1111 63 0 72571 0
vsize: 290536
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 71219 0 0 0 55876 132 0 0 25 0 1 0 834257430 303181824 71143 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74019 71143 1111 63 0 73956 0
vsize: 296076
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72479 0 0 0 56874 134 0 0 25 0 1 0 834257430 308420608 72403 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75298 72403 1111 63 0 75235 0
vsize: 301192
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72618 0 0 0 57874 135 0 0 25 0 1 0 834257430 308867072 72542 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75407 72542 1111 63 0 75344 0
vsize: 301628
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72758 0 0 0 58874 135 0 0 25 0 1 0 834257430 309469184 72682 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75554 72682 1111 63 0 75491 0
vsize: 302216
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 72891 0 0 0 59874 135 0 0 25 0 1 0 834257430 310071296 72815 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75701 72815 1111 63 0 75638 0
vsize: 302804
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73022 0 0 0 60874 135 0 0 25 0 1 0 834257430 310513664 72946 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75809 72946 1111 63 0 75746 0
vsize: 303236
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73162 0 0 0 61873 136 0 0 25 0 1 0 834257430 311115776 73086 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75956 73086 1111 63 0 75893 0
vsize: 303824
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73300 0 0 0 62873 136 0 0 25 0 1 0 834257430 311713792 73224 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76102 73224 1111 63 0 76039 0
vsize: 304408
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73433 0 0 0 63873 136 0 0 25 0 1 0 834257430 312315904 73357 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76249 73357 1111 63 0 76186 0
vsize: 304996
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73567 0 0 0 64873 136 0 0 25 0 1 0 834257430 312745984 73491 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76354 73491 1111 63 0 76291 0
vsize: 305416
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73698 0 0 0 65873 136 0 0 25 0 1 0 834257430 313331712 73622 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76497 73622 1111 63 0 76434 0
vsize: 305988
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73831 0 0 0 66873 137 0 0 25 0 1 0 834257430 313933824 73755 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76644 73755 1111 63 0 76581 0
vsize: 306576
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 73969 0 0 0 67873 137 0 0 25 0 1 0 834257430 314384384 73893 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76754 73893 1111 63 0 76691 0
vsize: 307016
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74108 0 0 0 68873 137 0 0 25 0 1 0 834257430 314986496 74032 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76901 74032 1111 63 0 76838 0
vsize: 307604
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74241 0 0 0 69873 137 0 0 25 0 1 0 834257430 315584512 74165 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77047 74165 1111 63 0 76984 0
vsize: 308188
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74379 0 0 0 70873 138 0 0 25 0 1 0 834257430 316182528 74303 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77193 74303 1111 63 0 77130 0
vsize: 308772
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74519 0 0 0 71873 138 0 0 25 0 1 0 834257430 316633088 74443 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77303 74443 1111 63 0 77240 0
vsize: 309212
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74685 0 0 0 72873 138 0 0 25 0 1 0 834257430 317546496 74609 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77526 74609 1111 63 0 77463 0
vsize: 310104
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74817 0 0 0 73873 139 0 0 25 0 1 0 834257430 317992960 74741 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77635 74741 1111 63 0 77572 0
vsize: 310540
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 74963 0 0 0 74872 139 0 0 25 0 1 0 834257430 318595072 74887 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77782 74887 1111 63 0 77719 0
vsize: 311128
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75097 0 0 0 75872 139 0 0 25 0 1 0 834257430 319193088 75021 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77928 75021 1111 63 0 77865 0
vsize: 311712
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75229 0 0 0 76872 139 0 0 25 0 1 0 834257430 319643648 75153 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78038 75153 1111 63 0 77975 0
vsize: 312152
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75376 0 0 0 77872 140 0 0 25 0 1 0 834257430 320245760 75300 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78185 75300 1111 63 0 78122 0
vsize: 312740
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75522 0 0 0 78872 140 0 0 25 0 1 0 834257430 320839680 75446 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78330 75446 1111 63 0 78267 0
vsize: 313320
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75677 0 0 0 79872 140 0 0 25 0 1 0 834257430 321593344 75601 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78514 75601 1111 63 0 78451 0
vsize: 314056
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75831 0 0 0 80872 140 0 0 25 0 1 0 834257430 322191360 75755 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78660 75755 1111 63 0 78597 0
vsize: 314640
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 75978 0 0 0 81872 140 0 0 25 0 1 0 834257430 322789376 75902 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78806 75902 1111 63 0 78743 0
vsize: 315224
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76132 0 0 0 82872 141 0 0 25 0 1 0 834257430 323391488 76056 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78953 76056 1111 63 0 78890 0
vsize: 315812
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76287 0 0 0 83872 141 0 0 25 0 1 0 834257430 323993600 76211 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79100 76211 1111 63 0 79037 0
vsize: 316400
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76434 0 0 0 84872 141 0 0 25 0 1 0 834257430 324587520 76358 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79245 76358 1111 63 0 79182 0
vsize: 316980
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76581 0 0 0 85871 142 0 0 25 0 1 0 834257430 325189632 76505 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79392 76505 1111 63 0 79329 0
vsize: 317568
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76728 0 0 0 86871 142 0 0 25 0 1 0 834257430 325791744 76652 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79539 76652 1111 63 0 79476 0
vsize: 318156
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 76876 0 0 0 87871 143 0 0 25 0 1 0 834257430 326385664 76800 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79684 76800 1111 63 0 79621 0
vsize: 318736
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77028 0 0 0 88871 143 0 0 25 0 1 0 834257430 326987776 76952 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79831 76952 1111 63 0 79768 0
vsize: 319324
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77182 0 0 0 89871 143 0 0 25 0 1 0 834257430 327737344 77106 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80014 77106 1111 63 0 79951 0
vsize: 320056
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77330 0 0 0 90871 143 0 0 25 0 1 0 834257430 328339456 77254 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80161 77254 1111 63 0 80098 0
vsize: 320644
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77490 0 0 0 91871 144 0 0 25 0 1 0 834257430 328933376 77414 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80306 77414 1111 63 0 80243 0
vsize: 321224
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77653 0 0 0 92871 144 0 0 25 0 1 0 834257430 329535488 77577 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80453 77577 1111 63 0 80390 0
vsize: 321812
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77814 0 0 0 93871 144 0 0 25 0 1 0 834257430 330289152 77738 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80637 77738 1111 63 0 80574 0
vsize: 322548
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 77976 0 0 0 94870 145 0 0 25 0 1 0 834257430 330883072 77900 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80782 77900 1111 63 0 80719 0
vsize: 323128
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78145 0 0 0 95870 145 0 0 25 0 1 0 834257430 331632640 78069 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80965 78069 1111 63 0 80902 0
vsize: 323860
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78314 0 0 0 96870 145 0 0 25 0 1 0 834257430 332234752 78238 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81112 78238 1111 63 0 81049 0
vsize: 324448
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78483 0 0 0 97871 145 0 0 25 0 1 0 834257430 332988416 78407 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81296 78407 1111 63 0 81233 0
vsize: 325184
[startup+990.063 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78653 0 0 0 98873 145 0 0 25 0 1 0 834257430 333733888 78577 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81478 78577 1111 63 0 81415 0
vsize: 325912
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78813 0 0 0 99873 145 0 0 25 0 1 0 834257430 334331904 78737 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81624 78737 1111 63 0 81561 0
vsize: 326496
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 78975 0 0 0 100873 145 0 0 25 0 1 0 834257430 334934016 78899 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81771 78899 1111 63 0 81708 0
vsize: 327084
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79138 0 0 0 101874 146 0 0 25 0 1 0 834257430 335683584 79062 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81954 79062 1111 63 0 81891 0
vsize: 327816
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79299 0 0 0 102873 146 0 0 25 0 1 0 834257430 336281600 79223 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82100 79223 1111 63 0 82037 0
vsize: 328400
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79460 0 0 0 103873 147 0 0 25 0 1 0 834257430 337031168 79384 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82283 79384 1111 63 0 82220 0
vsize: 329132
[startup+1050.07 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79621 0 0 0 104873 147 0 0 25 0 1 0 834257430 337629184 79545 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82429 79545 1111 63 0 82366 0
vsize: 329716
[startup+1060.07 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79784 0 0 0 105873 147 0 0 25 0 1 0 834257430 338231296 79708 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82576 79708 1111 63 0 82513 0
vsize: 330304
[startup+1070.07 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 79946 0 0 0 106873 148 0 0 25 0 1 0 834257430 338976768 79870 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82758 79870 1111 63 0 82695 0
vsize: 331032
[startup+1080.07 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80114 0 0 0 107873 148 0 0 25 0 1 0 834257430 339578880 80038 4294967295 134512640 134714508 3221224576 3221223232 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82905 80038 1111 63 0 82842 0
vsize: 331620
[startup+1090.07 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80270 0 0 0 108873 148 0 0 25 0 1 0 834257430 340328448 80194 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83088 80194 1111 63 0 83025 0
vsize: 332352
[startup+1100.07 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80432 0 0 0 109873 148 0 0 25 0 1 0 834257430 340930560 80356 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83235 80356 1111 63 0 83172 0
vsize: 332940
[startup+1110.07 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80592 0 0 0 110873 148 0 0 25 0 1 0 834257430 341524480 80516 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83380 80516 1111 63 0 83317 0
vsize: 333520
[startup+1120.08 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80754 0 0 0 111873 149 0 0 25 0 1 0 834257430 342278144 80678 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83564 80678 1111 63 0 83501 0
vsize: 334256
[startup+1130.08 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 80931 0 0 0 112872 149 0 0 25 0 1 0 834257430 343027712 80855 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83747 80855 1111 63 0 83684 0
vsize: 334988
[startup+1140.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81093 0 0 0 113872 150 0 0 25 0 1 0 834257430 343629824 81017 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83894 81017 1111 63 0 83831 0
vsize: 335576
[startup+1150.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81268 0 0 0 114872 150 0 0 25 0 1 0 834257430 344375296 81192 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84076 81192 1111 63 0 84013 0
vsize: 336304
[startup+1160.08 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81444 0 0 0 115872 150 0 0 25 0 1 0 834257430 345124864 81368 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84259 81368 1111 63 0 84196 0
vsize: 337036
[startup+1170.08 s]
Raw data (loadavg): 1.01 0.99 0.92 3/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81621 0 0 0 116872 151 0 0 25 0 1 0 834257430 345726976 81545 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84406 81545 1111 63 0 84343 0
vsize: 337624
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 27369
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81811 0 0 0 117872 151 0 0 25 0 1 0 834257430 346624000 81735 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84625 81735 1111 63 0 84562 0
vsize: 338500
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 27422
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 81996 0 0 0 118870 152 0 0 25 0 1 0 834257430 347377664 81920 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84809 81920 1111 63 0 84746 0
vsize: 339236
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 27422
Raw data (stat): 27369 (bsolo_lpr_cuts) R 27368 24172 24171 0 -1 0 82179 0 0 0 119869 153 0 0 25 0 1 0 834257430 348127232 82103 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84992 82103 1111 63 0 84929 0
vsize: 339968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 27422
Raw data (stat): 27369 (bsolo_lpr_cuts) Z 27368 24172 24171 0 -1 1036 82179 0 0 0 119869 168 0 0 25 0 1 0 834257430 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.23
CPU time (s): 1200.38
CPU user time (s): 1198.69
CPU system time (s): 1.68474
CPU usage (%): 100.012
Max. virtual memory (Kb): 339968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####