PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39171467771
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39171467771
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01184
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25571

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 19:05:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19125 boxname=wulflinc31 idbench=1472 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 19125
/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:        654032 kB
Buffers:         32164 kB
Cached:         327136 kB
SwapCached:       1168 kB
Active:         246536 kB
Inactive:       115244 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        653780 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13156 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 19:25:32 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19125 7 1200.28 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.93 0.97 0.97 2/55 1789
Raw data (stat): 1789 (runsolver) R 1788 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798038502 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 1789
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 1160 0 0 0 990 6 0 0 25 0 1 0 798038502 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0021 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 1789
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 1406 0 0 0 1989 6 0 0 25 0 1 0 798038502 17182720 1329 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4195 1329 1111 63 0 4132 0
vsize: 16780
[startup+30.003 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 1789
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 1657 0 0 0 2989 7 0 0 25 0 1 0 798038502 18182144 1580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4439 1580 1111 63 0 4376 0
vsize: 17756
[startup+40.004 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 1904 0 0 0 3988 8 0 0 25 0 1 0 798038502 19169280 1827 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4680 1827 1111 63 0 4617 0
vsize: 18720
[startup+50.0052 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 2152 0 0 0 4988 9 0 0 25 0 1 0 798038502 20156416 2075 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4921 2075 1111 63 0 4858 0
vsize: 19684
[startup+60.006 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 2405 0 0 0 5987 9 0 0 25 0 1 0 798038502 21278720 2328 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 2328 1111 63 0 5132 0
vsize: 20780
[startup+70.0068 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 2653 0 0 0 6986 10 0 0 25 0 1 0 798038502 22265856 2576 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5436 2576 1111 63 0 5373 0
vsize: 21744
[startup+80.0077 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 2900 0 0 0 7986 11 0 0 25 0 1 0 798038502 23244800 2823 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5675 2823 1111 63 0 5612 0
vsize: 22700
[startup+90.0078 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 3148 0 0 0 8985 12 0 0 25 0 1 0 798038502 24231936 3071 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5916 3071 1111 63 0 5853 0
vsize: 23664
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 3396 0 0 0 9985 12 0 0 25 0 1 0 798038502 25219072 3319 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6157 3319 1111 63 0 6094 0
vsize: 24628
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 3644 0 0 0 10984 13 0 0 25 0 1 0 798038502 26345472 3567 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6432 3567 1111 63 0 6369 0
vsize: 25728
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 3906 0 0 0 11984 14 0 0 25 0 1 0 798038502 27353088 3829 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6678 3829 1111 63 0 6615 0
vsize: 26712
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 4160 0 0 0 12983 15 0 0 25 0 1 0 798038502 28479488 4083 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6953 4083 1111 63 0 6890 0
vsize: 27812
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 4409 0 0 0 13982 16 0 0 25 0 1 0 798038502 29466624 4332 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7194 4332 1111 63 0 7131 0
vsize: 28776
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 4657 0 0 0 14982 17 0 0 25 0 1 0 798038502 30445568 4580 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7433 4580 1111 63 0 7370 0
vsize: 29732
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 4911 0 0 0 15981 17 0 0 25 0 1 0 798038502 31432704 4834 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7674 4834 1111 63 0 7611 0
vsize: 30696
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 5167 0 0 0 16981 18 0 0 25 0 1 0 798038502 32559104 5090 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7949 5090 1111 63 0 7886 0
vsize: 31796
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 5422 0 0 0 17980 19 0 0 25 0 1 0 798038502 33546240 5345 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8190 5345 1111 63 0 8127 0
vsize: 32760
[startup+190.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 5676 0 0 0 18979 20 0 0 25 0 1 0 798038502 34672640 5599 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8465 5599 1111 63 0 8402 0
vsize: 33860
[startup+200.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 5925 0 0 0 19979 21 0 0 25 0 1 0 798038502 35659776 5848 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8706 5848 1111 63 0 8643 0
vsize: 34824
[startup+210.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 6185 0 0 0 20978 22 0 0 25 0 1 0 798038502 36646912 6108 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8947 6108 1111 63 0 8884 0
vsize: 35788
[startup+220.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 6432 0 0 0 21978 22 0 0 25 0 1 0 798038502 37769216 6355 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9221 6355 1111 63 0 9158 0
vsize: 36884
[startup+230.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 6698 0 0 0 22978 22 0 0 25 0 1 0 798038502 38907904 6621 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9499 6621 1111 63 0 9436 0
vsize: 37996
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 6952 0 0 0 23977 23 0 0 25 0 1 0 798038502 39890944 6875 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9739 6875 1111 63 0 9676 0
vsize: 38956
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 7202 0 0 0 24977 23 0 0 25 0 1 0 798038502 40882176 7125 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9981 7125 1111 63 0 9918 0
vsize: 39924
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 7463 0 0 0 25977 24 0 0 25 0 1 0 798038502 42008576 7386 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10256 7386 1111 63 0 10193 0
vsize: 41024
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 7718 0 0 0 26976 24 0 0 25 0 1 0 798038502 42991616 7641 4294967295 134512640 134714508 3221221776 3221220004 1077414418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10496 7641 1111 63 0 10433 0
vsize: 41984
[startup+280.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 7975 0 0 0 27976 24 0 0 25 0 1 0 798038502 44118016 7898 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10771 7898 1111 63 0 10708 0
vsize: 43084
[startup+290.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 8229 0 0 0 28976 25 0 0 25 0 1 0 798038502 45101056 8152 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11011 8152 1111 63 0 10948 0
vsize: 44044
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 8483 0 0 0 29975 26 0 0 25 0 1 0 798038502 46088192 8406 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11252 8406 1111 63 0 11189 0
vsize: 45008
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 8739 0 0 0 30975 27 0 0 25 0 1 0 798038502 47214592 8662 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11527 8662 1111 63 0 11464 0
vsize: 46108
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 8994 0 0 0 31975 27 0 0 25 0 1 0 798038502 48201728 8917 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11768 8917 1111 63 0 11705 0
vsize: 47072
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 9256 0 0 0 32975 27 0 0 25 0 1 0 798038502 49328128 9179 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12043 9179 1111 63 0 11980 0
vsize: 48172
[startup+340.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 9518 0 0 0 33974 28 0 0 25 0 1 0 798038502 50315264 9441 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12284 9441 1111 63 0 12221 0
vsize: 49136
[startup+350.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 9773 0 0 0 34974 28 0 0 25 0 1 0 798038502 51441664 9696 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12559 9696 1111 63 0 12496 0
vsize: 50236
[startup+360.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 10029 0 0 0 35974 29 0 0 25 0 1 0 798038502 52428800 9952 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12800 9952 1111 63 0 12737 0
vsize: 51200
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 10291 0 0 0 36974 29 0 0 25 0 1 0 798038502 53555200 10214 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13075 10214 1111 63 0 13012 0
vsize: 52300
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 10551 0 0 0 37973 29 0 0 25 0 1 0 798038502 54534144 10474 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13314 10474 1111 63 0 13251 0
vsize: 53256
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 10814 0 0 0 38973 30 0 0 25 0 1 0 798038502 55660544 10737 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13589 10737 1111 63 0 13526 0
vsize: 54356
[startup+400.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 11076 0 0 0 39972 31 0 0 25 0 1 0 798038502 56786944 10999 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13864 10999 1111 63 0 13801 0
vsize: 55456
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 11337 0 0 0 40972 31 0 0 25 0 1 0 798038502 57778176 11260 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14106 11260 1111 63 0 14043 0
vsize: 56424
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 11599 0 0 0 41972 32 0 0 25 0 1 0 798038502 58904576 11522 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14381 11522 1111 63 0 14318 0
vsize: 57524
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 11860 0 0 0 42972 32 0 0 25 0 1 0 798038502 59887616 11783 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14621 11783 1111 63 0 14558 0
vsize: 58484
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 12140 0 0 0 43972 33 0 0 25 0 1 0 798038502 61235200 12063 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14950 12063 1111 63 0 14887 0
vsize: 59800
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 12402 0 0 0 44971 33 0 0 25 0 1 0 798038502 62222336 12325 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15191 12325 1111 63 0 15128 0
vsize: 60764
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 12665 0 0 0 45970 34 0 0 25 0 1 0 798038502 63344640 12588 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15465 12588 1111 63 0 15402 0
vsize: 61860
[startup+470.029 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 12931 0 0 0 46970 35 0 0 25 0 1 0 798038502 64471040 12854 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15740 12854 1111 63 0 15677 0
vsize: 62960
[startup+480.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 13200 0 0 0 47970 35 0 0 25 0 1 0 798038502 65597440 13123 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16015 13123 1111 63 0 15952 0
vsize: 64060
[startup+490.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 13463 0 0 0 48969 36 0 0 25 0 1 0 798038502 66584576 13386 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16256 13386 1111 63 0 16193 0
vsize: 65024
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 13732 0 0 0 49969 36 0 0 25 0 1 0 798038502 67710976 13655 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16531 13655 1111 63 0 16468 0
vsize: 66124
[startup+510.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 13994 0 0 0 50969 37 0 0 25 0 1 0 798038502 68837376 13917 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16806 13917 1111 63 0 16743 0
vsize: 67224
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 14263 0 0 0 51968 37 0 0 25 0 1 0 798038502 69824512 14186 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17047 14186 1111 63 0 16984 0
vsize: 68188
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 14532 0 0 0 52968 38 0 0 25 0 1 0 798038502 70950912 14455 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17322 14455 1111 63 0 17259 0
vsize: 69288
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 14801 0 0 0 53967 39 0 0 25 0 1 0 798038502 72077312 14724 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17597 14724 1111 63 0 17534 0
vsize: 70388
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 15069 0 0 0 54967 39 0 0 25 0 1 0 798038502 73203712 14992 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17872 14992 1111 63 0 17809 0
vsize: 71488
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 15339 0 0 0 55967 40 0 0 25 0 1 0 798038502 74330112 15262 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18147 15262 1111 63 0 18084 0
vsize: 72588
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 15608 0 0 0 56966 40 0 0 25 0 1 0 798038502 75313152 15531 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18387 15531 1111 63 0 18324 0
vsize: 73548
[startup+580.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 15876 0 0 0 57966 41 0 0 25 0 1 0 798038502 76439552 15799 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18662 15799 1111 63 0 18599 0
vsize: 74648
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 16152 0 0 0 58966 41 0 0 25 0 1 0 798038502 77565952 16075 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18937 16075 1111 63 0 18874 0
vsize: 75748
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 16420 0 0 0 59965 42 0 0 25 0 1 0 798038502 78692352 16343 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19212 16343 1111 63 0 19149 0
vsize: 76848
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 16690 0 0 0 60965 43 0 0 25 0 1 0 798038502 79818752 16613 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19487 16613 1111 63 0 19424 0
vsize: 77948
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 16965 0 0 0 61964 43 0 0 25 0 1 0 798038502 80945152 16888 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19762 16888 1111 63 0 19699 0
vsize: 79048
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 17240 0 0 0 62964 44 0 0 25 0 1 0 798038502 82071552 17163 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20037 17163 1111 63 0 19974 0
vsize: 80148
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 17517 0 0 0 63963 45 0 0 25 0 1 0 798038502 83197952 17440 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20312 17440 1111 63 0 20249 0
vsize: 81248
[startup+650.039 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 17792 0 0 0 64963 45 0 0 25 0 1 0 798038502 84328448 17715 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20588 17715 1111 63 0 20525 0
vsize: 82352
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 18062 0 0 0 65962 46 0 0 25 0 1 0 798038502 85454848 17985 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20863 17985 1111 63 0 20800 0
vsize: 83452
[startup+670.041 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 18344 0 0 0 66962 47 0 0 25 0 1 0 798038502 86581248 18267 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21138 18267 1111 63 0 21075 0
vsize: 84552
[startup+680.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 18619 0 0 0 67962 47 0 0 25 0 1 0 798038502 87707648 18542 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21413 18542 1111 63 0 21350 0
vsize: 85652
[startup+690.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 18897 0 0 0 68961 48 0 0 25 0 1 0 798038502 88834048 18820 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21688 18820 1111 63 0 21625 0
vsize: 86752
[startup+700.042 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 19172 0 0 0 69961 48 0 0 25 0 1 0 798038502 89960448 19095 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21963 19095 1111 63 0 21900 0
vsize: 87852
[startup+710.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 19449 0 0 0 70961 49 0 0 25 0 1 0 798038502 91086848 19372 4294967295 134512640 134714508 3221221776 3221219864 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22238 19372 1111 63 0 22175 0
vsize: 88952
[startup+720.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 19731 0 0 0 71960 49 0 0 25 0 1 0 798038502 92213248 19654 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22513 19654 1111 63 0 22450 0
vsize: 90052
[startup+730.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 20013 0 0 0 72960 50 0 0 25 0 1 0 798038502 93335552 19936 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22787 19936 1111 63 0 22724 0
vsize: 91148
[startup+740.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 20289 0 0 0 73959 51 0 0 25 0 1 0 798038502 94461952 20212 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23062 20212 1111 63 0 22999 0
vsize: 92248
[startup+750.045 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 20564 0 0 0 74959 51 0 0 25 0 1 0 798038502 95588352 20487 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23337 20487 1111 63 0 23274 0
vsize: 93348
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 20853 0 0 0 75959 52 0 0 25 0 1 0 798038502 96854016 20776 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23646 20776 1111 63 0 23583 0
vsize: 94584
[startup+770.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 21130 0 0 0 76958 52 0 0 25 0 1 0 798038502 97980416 21053 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23921 21053 1111 63 0 23858 0
vsize: 95684
[startup+780.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 21412 0 0 0 77958 53 0 0 25 0 1 0 798038502 99106816 21335 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24196 21335 1111 63 0 24133 0
vsize: 96784
[startup+790.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 21696 0 0 0 78957 54 0 0 25 0 1 0 798038502 100233216 21619 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24471 21619 1111 63 0 24408 0
vsize: 97884
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 21984 0 0 0 79956 55 0 0 25 0 1 0 798038502 101359616 21907 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24746 21907 1111 63 0 24683 0
vsize: 98984
[startup+810.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 22261 0 0 0 80956 56 0 0 25 0 1 0 798038502 102486016 22184 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25021 22184 1111 63 0 24958 0
vsize: 100084
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 22549 0 0 0 81956 56 0 0 25 0 1 0 798038502 103755776 22472 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25331 22472 1111 63 0 25268 0
vsize: 101324
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 22838 0 0 0 82955 57 0 0 25 0 1 0 798038502 104882176 22761 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25606 22761 1111 63 0 25543 0
vsize: 102424
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 23154 0 0 0 83955 58 0 0 25 0 1 0 798038502 106508288 23077 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26003 23077 1111 63 0 25940 0
vsize: 104012
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 23436 0 0 0 84954 58 0 0 25 0 1 0 798038502 107634688 23359 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26278 23359 1111 63 0 26215 0
vsize: 105112
[startup+860.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 23726 0 0 0 85954 59 0 0 25 0 1 0 798038502 108765184 23649 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26554 23649 1111 63 0 26491 0
vsize: 106216
[startup+870.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 24016 0 0 0 86954 59 0 0 25 0 1 0 798038502 110030848 23939 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26863 23939 1111 63 0 26800 0
vsize: 107452
[startup+880.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 24305 0 0 0 87953 60 0 0 25 0 1 0 798038502 111157248 24228 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27138 24228 1111 63 0 27075 0
vsize: 108552
[startup+890.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 24601 0 0 0 88953 60 0 0 25 0 1 0 798038502 112422912 24524 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27447 24524 1111 63 0 27384 0
vsize: 109788
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 24897 0 0 0 89952 61 0 0 25 0 1 0 798038502 113549312 24820 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27722 24820 1111 63 0 27659 0
vsize: 110888
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 25188 0 0 0 90952 62 0 0 25 0 1 0 798038502 114814976 25111 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28031 25111 1111 63 0 27968 0
vsize: 112124
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 25490 0 0 0 91952 62 0 0 25 0 1 0 798038502 115941376 25413 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28306 25413 1111 63 0 28243 0
vsize: 113224
[startup+930.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 25781 0 0 0 92951 63 0 0 25 0 1 0 798038502 117211136 25704 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28616 25704 1111 63 0 28553 0
vsize: 114464
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 26084 0 0 0 93951 63 0 0 25 0 1 0 798038502 118476800 26007 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28925 26007 1111 63 0 28862 0
vsize: 115700
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 26379 0 0 0 94950 64 0 0 25 0 1 0 798038502 119603200 26302 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29200 26302 1111 63 0 29137 0
vsize: 116800
[startup+960.053 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 26677 0 0 0 95950 65 0 0 25 0 1 0 798038502 120872960 26600 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29510 26600 1111 63 0 29447 0
vsize: 118040
[startup+970.071 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 26980 0 0 0 96951 65 0 0 25 0 1 0 798038502 122138624 26903 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29819 26903 1111 63 0 29756 0
vsize: 119276
[startup+980.071 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 27284 0 0 0 97951 66 0 0 25 0 1 0 798038502 123265024 27207 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30094 27207 1111 63 0 30031 0
vsize: 120376
[startup+990.072 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 27587 0 0 0 98950 67 0 0 25 0 1 0 798038502 124530688 27510 4294967295 134512640 134714508 3221221776 3221220484 134562944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30403 27510 1111 63 0 30340 0
vsize: 121612
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 27891 0 0 0 99949 67 0 0 25 0 1 0 798038502 125796352 27814 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30712 27814 1111 63 0 30649 0
vsize: 122848
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 28193 0 0 0 100949 68 0 0 25 0 1 0 798038502 127066112 28116 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31022 28116 1111 63 0 30959 0
vsize: 124088
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 28496 0 0 0 101948 69 0 0 25 0 1 0 798038502 128331776 28419 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31331 28419 1111 63 0 31268 0
vsize: 125324
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 28807 0 0 0 102948 69 0 0 25 0 1 0 798038502 129601536 28730 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31641 28730 1111 63 0 31578 0
vsize: 126564
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 29110 0 0 0 103948 70 0 0 25 0 1 0 798038502 130727936 29033 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31916 29033 1111 63 0 31853 0
vsize: 127664
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 29420 0 0 0 104947 70 0 0 25 0 1 0 798038502 131993600 29343 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32225 29343 1111 63 0 32162 0
vsize: 128900
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 29723 0 0 0 105947 71 0 0 25 0 1 0 798038502 133259264 29646 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32534 29646 1111 63 0 32471 0
vsize: 130136
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 30027 0 0 0 106946 71 0 0 25 0 1 0 798038502 134524928 29950 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32843 29950 1111 63 0 32780 0
vsize: 131372
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 30344 0 0 0 107945 72 0 0 25 0 1 0 798038502 135794688 30267 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33153 30267 1111 63 0 33090 0
vsize: 132612
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 30649 0 0 0 108945 73 0 0 25 0 1 0 798038502 137064448 30572 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33463 30572 1111 63 0 33400 0
vsize: 133852
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 30958 0 0 0 109945 74 0 0 25 0 1 0 798038502 138334208 30881 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33773 30881 1111 63 0 33710 0
vsize: 135092
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 31267 0 0 0 110944 74 0 0 25 0 1 0 798038502 139599872 31190 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34082 31190 1111 63 0 34019 0
vsize: 136328
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 31579 0 0 0 111943 75 0 0 25 0 1 0 798038502 140869632 31502 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34392 31502 1111 63 0 34329 0
vsize: 137568
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 31888 0 0 0 112943 76 0 0 25 0 1 0 798038502 142135296 31811 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34701 31811 1111 63 0 34638 0
vsize: 138804
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 32206 0 0 0 113943 76 0 0 25 0 1 0 798038502 143400960 32129 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35010 32129 1111 63 0 34947 0
vsize: 140040
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 32515 0 0 0 114943 76 0 0 25 0 1 0 798038502 144666624 32438 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35319 32438 1111 63 0 35256 0
vsize: 141276
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 32827 0 0 0 115943 77 0 0 25 0 1 0 798038502 145936384 32750 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35629 32750 1111 63 0 35566 0
vsize: 142516
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 33142 0 0 0 116942 77 0 0 25 0 1 0 798038502 147202048 33065 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35938 33065 1111 63 0 35875 0
vsize: 143752
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 33453 0 0 0 117942 78 0 0 25 0 1 0 798038502 148467712 33376 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36247 33376 1111 63 0 36184 0
vsize: 144988
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 33763 0 0 0 118941 79 0 0 25 0 1 0 798038502 149733376 33686 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36556 33686 1111 63 0 36493 0
vsize: 146224
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) R 1788 7876 7672 0 -1 0 34080 0 0 0 119941 79 0 0 25 0 1 0 798038502 151142400 34003 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36900 34003 1111 63 0 36837 0
vsize: 147600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.97 1/55 1791
Raw data (stat): 1789 (bsolo_lpr_cuts) Z 1788 7876 7672 0 -1 1036 34080 0 0 0 119941 86 0 0 25 0 1 0 798038502 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.15
CPU time (s): 1200.28
CPU user time (s): 1199.41
CPU system time (s): 0.861868
CPU usage (%): 100.011
Max. virtual memory (Kb): 147600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####