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-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
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	39177236543
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	39177236543
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.03484
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 41614

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 17:17:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29680 boxname=wulflinc4 idbench=1464 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 29680
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        885768 kB
Buffers:          6696 kB
Cached:         121520 kB
SwapCached:        916 kB
Active:          32276 kB
Inactive:        97996 kB
HighTotal:      131008 kB
HighFree:         6748 kB
LowTotal:       903652 kB
LowFree:        879020 kB
SwapTotal:     2097136 kB
SwapFree:      2095168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12968 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:37:36 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 29680 7 1200.3 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.91 2/54 18854
Raw data (stat): 18854 (runsolver) R 18853 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912001911 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912001911 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 1406 0 0 0 1992 5 0 0 25 0 1 0 912001911 17178624 1326 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1326 1111 63 0 4131 0
vsize: 16776
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 1651 0 0 0 2991 5 0 0 25 0 1 0 912001911 18178048 1571 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1571 1111 63 0 4375 0
vsize: 17752
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 1898 0 0 0 3991 6 0 0 25 0 1 0 912001911 19165184 1818 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1818 1111 63 0 4616 0
vsize: 18716
[startup+50.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 2146 0 0 0 4991 7 0 0 25 0 1 0 912001911 20152320 2066 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2066 1111 63 0 4857 0
vsize: 19680
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 2392 0 0 0 5990 7 0 0 25 0 1 0 912001911 21135360 2312 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5160 2312 1111 63 0 5097 0
vsize: 20640
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 2640 0 0 0 6990 7 0 0 25 0 1 0 912001911 22114304 2560 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 2560 1111 63 0 5336 0
vsize: 21596
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 2887 0 0 0 7990 8 0 0 25 0 1 0 912001911 23240704 2807 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2807 1111 63 0 5611 0
vsize: 22696
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 3135 0 0 0 8990 8 0 0 25 0 1 0 912001911 24227840 3055 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3055 1111 63 0 5852 0
vsize: 23660
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 3383 0 0 0 9990 9 0 0 25 0 1 0 912001911 25214976 3303 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3303 1111 63 0 6093 0
vsize: 24624
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 3630 0 0 0 10989 9 0 0 25 0 1 0 912001911 26202112 3550 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 3550 1111 63 0 6334 0
vsize: 25588
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 3892 0 0 0 11989 10 0 0 25 0 1 0 912001911 27348992 3812 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3812 1111 63 0 6614 0
vsize: 26708
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 4140 0 0 0 12989 10 0 0 25 0 1 0 912001911 28336128 4060 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6918 4060 1111 63 0 6855 0
vsize: 27672
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 4395 0 0 0 13988 11 0 0 25 0 1 0 912001911 29315072 4315 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 4315 1111 63 0 7094 0
vsize: 28628
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 4643 0 0 0 14988 12 0 0 25 0 1 0 912001911 30441472 4563 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 4563 1111 63 0 7369 0
vsize: 29728
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 4891 0 0 0 15988 12 0 0 25 0 1 0 912001911 31428608 4811 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4811 1111 63 0 7610 0
vsize: 30692
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 5146 0 0 0 16987 13 0 0 25 0 1 0 912001911 32415744 5066 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5066 1111 63 0 7851 0
vsize: 31656
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 5395 0 0 0 17987 13 0 0 25 0 1 0 912001911 33402880 5315 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5315 1111 63 0 8092 0
vsize: 32620
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 5649 0 0 0 18987 14 0 0 25 0 1 0 912001911 34529280 5569 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8430 5569 1111 63 0 8367 0
vsize: 33720
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 5898 0 0 0 19986 14 0 0 25 0 1 0 912001911 35516416 5818 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8671 5818 1111 63 0 8608 0
vsize: 34684
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 6158 0 0 0 20986 15 0 0 25 0 1 0 912001911 36642816 6078 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6078 1111 63 0 8883 0
vsize: 35784
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 6405 0 0 0 21986 15 0 0 25 0 1 0 912001911 37625856 6325 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6325 1111 63 0 9123 0
vsize: 36744
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 6671 0 0 0 22985 16 0 0 25 0 1 0 912001911 38760448 6591 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6591 1111 63 0 9400 0
vsize: 37852
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 6925 0 0 0 23985 16 0 0 25 0 1 0 912001911 39747584 6845 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9704 6845 1111 63 0 9641 0
vsize: 38816
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 7181 0 0 0 24985 17 0 0 25 0 1 0 912001911 40878080 7101 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7101 1111 63 0 9917 0
vsize: 39920
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 7437 0 0 0 25984 17 0 0 25 0 1 0 912001911 41861120 7357 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7357 1111 63 0 10157 0
vsize: 40880
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 7697 0 0 0 26984 18 0 0 25 0 1 0 912001911 42987520 7617 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7617 1111 63 0 10432 0
vsize: 41980
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 7953 0 0 0 27984 18 0 0 25 0 1 0 912001911 43974656 7873 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7873 1111 63 0 10673 0
vsize: 42944
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 8208 0 0 0 28984 19 0 0 25 0 1 0 912001911 44957696 8128 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 8128 1111 63 0 10913 0
vsize: 43904
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 8468 0 0 0 29983 19 0 0 25 0 1 0 912001911 46084096 8388 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11251 8388 1111 63 0 11188 0
vsize: 45004
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 8726 0 0 0 30983 19 0 0 25 0 1 0 912001911 47071232 8646 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8646 1111 63 0 11429 0
vsize: 45968
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 8981 0 0 0 31983 20 0 0 25 0 1 0 912001911 48197632 8901 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 8901 1111 63 0 11704 0
vsize: 47068
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 9243 0 0 0 32982 21 0 0 25 0 1 0 912001911 49184768 9163 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12008 9163 1111 63 0 11945 0
vsize: 48032
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 9505 0 0 0 33982 21 0 0 25 0 1 0 912001911 50311168 9425 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12283 9425 1111 63 0 12220 0
vsize: 49132
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 9766 0 0 0 34982 21 0 0 25 0 1 0 912001911 51437568 9686 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12558 9686 1111 63 0 12495 0
vsize: 50232
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 10028 0 0 0 35982 22 0 0 25 0 1 0 912001911 52424704 9948 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12799 9948 1111 63 0 12736 0
vsize: 51196
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 10291 0 0 0 36981 22 0 0 25 0 1 0 912001911 53551104 10211 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13074 10211 1111 63 0 13011 0
vsize: 52296
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 10551 0 0 0 37981 23 0 0 25 0 1 0 912001911 54530048 10471 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13313 10471 1111 63 0 13250 0
vsize: 53252
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 10814 0 0 0 38981 23 0 0 25 0 1 0 912001911 55656448 10734 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13588 10734 1111 63 0 13525 0
vsize: 54352
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 11076 0 0 0 39981 23 0 0 25 0 1 0 912001911 56782848 10996 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13863 10996 1111 63 0 13800 0
vsize: 55452
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 11337 0 0 0 40981 24 0 0 25 0 1 0 912001911 57774080 11257 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14105 11257 1111 63 0 14042 0
vsize: 56420
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 11599 0 0 0 41981 24 0 0 25 0 1 0 912001911 58900480 11519 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14380 11519 1111 63 0 14317 0
vsize: 57520
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 11860 0 0 0 42981 24 0 0 25 0 1 0 912001911 59883520 11780 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14620 11780 1111 63 0 14557 0
vsize: 58480
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 12146 0 0 0 43981 25 0 0 25 0 1 0 912001911 61231104 12066 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14949 12066 1111 63 0 14886 0
vsize: 59796
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 12409 0 0 0 44980 26 0 0 25 0 1 0 912001911 62357504 12329 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15224 12329 1111 63 0 15161 0
vsize: 60896
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 12678 0 0 0 45979 26 0 0 25 0 1 0 912001911 63340544 12598 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15464 12598 1111 63 0 15401 0
vsize: 61856
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 12940 0 0 0 46979 27 0 0 25 0 1 0 912001911 64466944 12860 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15739 12860 1111 63 0 15676 0
vsize: 62956
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 13207 0 0 0 47979 27 0 0 25 0 1 0 912001911 65593344 13127 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16014 13127 1111 63 0 15951 0
vsize: 64056
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 13476 0 0 0 48978 28 0 0 25 0 1 0 912001911 66719744 13396 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16289 13396 1111 63 0 16226 0
vsize: 65156
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 13746 0 0 0 49978 28 0 0 25 0 1 0 912001911 67706880 13666 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16530 13666 1111 63 0 16467 0
vsize: 66120
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 14014 0 0 0 50978 29 0 0 25 0 1 0 912001911 68833280 13934 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16805 13934 1111 63 0 16742 0
vsize: 67220
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 14283 0 0 0 51977 30 0 0 25 0 1 0 912001911 69959680 14203 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17080 14203 1111 63 0 17017 0
vsize: 68320
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 14553 0 0 0 52977 30 0 0 25 0 1 0 912001911 71086080 14473 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17355 14473 1111 63 0 17292 0
vsize: 69420
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 14828 0 0 0 53977 31 0 0 25 0 1 0 912001911 72212480 14748 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17630 14748 1111 63 0 17567 0
vsize: 70520
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 15097 0 0 0 54977 31 0 0 25 0 1 0 912001911 73338880 15017 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 15017 1111 63 0 17842 0
vsize: 71620
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 15366 0 0 0 55976 31 0 0 25 0 1 0 912001911 74326016 15286 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 15286 1111 63 0 18083 0
vsize: 72584
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 15642 0 0 0 56976 32 0 0 25 0 1 0 912001911 75452416 15562 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15562 1111 63 0 18358 0
vsize: 73684
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 15918 0 0 0 57975 33 0 0 25 0 1 0 912001911 76578816 15838 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18696 15838 1111 63 0 18633 0
vsize: 74784
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 16188 0 0 0 58975 34 0 0 25 0 1 0 912001911 77701120 16108 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18970 16108 1111 63 0 18907 0
vsize: 75880
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 16461 0 0 0 59975 34 0 0 25 0 1 0 912001911 78827520 16381 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16381 1111 63 0 19182 0
vsize: 76980
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 16737 0 0 0 60974 35 0 0 25 0 1 0 912001911 79953920 16657 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16657 1111 63 0 19457 0
vsize: 78080
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 17013 0 0 0 61973 36 0 0 25 0 1 0 912001911 81080320 16933 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19795 16933 1111 63 0 19732 0
vsize: 79180
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 17289 0 0 0 62973 36 0 0 25 0 1 0 912001911 82206720 17209 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17209 1111 63 0 20007 0
vsize: 80280
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 17565 0 0 0 63973 37 0 0 25 0 1 0 912001911 83333120 17485 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20345 17485 1111 63 0 20282 0
vsize: 81380
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 17841 0 0 0 64972 38 0 0 25 0 1 0 912001911 84459520 17761 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20620 17761 1111 63 0 20557 0
vsize: 82480
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 18123 0 0 0 65972 38 0 0 25 0 1 0 912001911 85590016 18043 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18043 1111 63 0 20833 0
vsize: 83584
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 18399 0 0 0 66972 38 0 0 25 0 1 0 912001911 86716416 18319 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21171 18319 1111 63 0 21108 0
vsize: 84684
[startup+680.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 18676 0 0 0 67971 39 0 0 25 0 1 0 912001911 87842816 18596 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18596 1111 63 0 21383 0
vsize: 85784
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 18959 0 0 0 68970 40 0 0 25 0 1 0 912001911 89108480 18879 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21755 18879 1111 63 0 21692 0
vsize: 87020
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 19240 0 0 0 69970 41 0 0 25 0 1 0 912001911 90234880 19160 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22030 19160 1111 63 0 21967 0
vsize: 88120
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 19517 0 0 0 70970 41 0 0 25 0 1 0 912001911 91365376 19437 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22306 19437 1111 63 0 22243 0
vsize: 89224
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 19800 0 0 0 71970 41 0 0 25 0 1 0 912001911 92491776 19720 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22581 19720 1111 63 0 22518 0
vsize: 90324
[startup+730.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 20083 0 0 0 72969 42 0 0 25 0 1 0 912001911 93618176 20003 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22856 20003 1111 63 0 22793 0
vsize: 91424
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 20365 0 0 0 73969 43 0 0 25 0 1 0 912001911 94744576 20285 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23131 20285 1111 63 0 23068 0
vsize: 92524
[startup+750.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 20647 0 0 0 74969 43 0 0 25 0 1 0 912001911 96010240 20567 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23440 20567 1111 63 0 23377 0
vsize: 93760
[startup+760.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 20930 0 0 0 75968 43 0 0 25 0 1 0 912001911 97136640 20850 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23715 20850 1111 63 0 23652 0
vsize: 94860
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 21214 0 0 0 76968 44 0 0 25 0 1 0 912001911 98263040 21134 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23990 21134 1111 63 0 23927 0
vsize: 95960
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 21503 0 0 0 77968 45 0 0 25 0 1 0 912001911 99385344 21423 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 21423 1111 63 0 24201 0
vsize: 97056
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 21792 0 0 0 78967 46 0 0 25 0 1 0 912001911 100659200 21712 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24575 21712 1111 63 0 24512 0
vsize: 98300
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 22075 0 0 0 79966 47 0 0 25 0 1 0 912001911 101777408 21995 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24848 21995 1111 63 0 24785 0
vsize: 99392
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 22364 0 0 0 80966 47 0 0 25 0 1 0 912001911 102903808 22284 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25123 22284 1111 63 0 25060 0
vsize: 100492
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 22645 0 0 0 81966 48 0 0 25 0 1 0 912001911 104169472 22565 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25432 22565 1111 63 0 25369 0
vsize: 101728
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 22934 0 0 0 82965 48 0 0 25 0 1 0 912001911 105295872 22854 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25707 22854 1111 63 0 25644 0
vsize: 102828
[startup+840.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 23256 0 0 0 83964 49 0 0 25 0 1 0 912001911 106926080 23176 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26105 23176 1111 63 0 26042 0
vsize: 104420
[startup+850.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 23545 0 0 0 84965 50 0 0 25 0 1 0 912001911 108052480 23465 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26380 23465 1111 63 0 26317 0
vsize: 105520
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 23836 0 0 0 85965 50 0 0 25 0 1 0 912001911 109178880 23756 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23756 1111 63 0 26592 0
vsize: 106620
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 24124 0 0 0 86964 51 0 0 25 0 1 0 912001911 110444544 24044 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 24044 1111 63 0 26901 0
vsize: 107856
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 24414 0 0 0 87964 51 0 0 25 0 1 0 912001911 111575040 24334 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24334 1111 63 0 27177 0
vsize: 108960
[startup+890.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 24704 0 0 0 88964 52 0 0 25 0 1 0 912001911 112840704 24624 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27549 24624 1111 63 0 27486 0
vsize: 110196
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 24994 0 0 0 89963 52 0 0 25 0 1 0 912001911 113967104 24914 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24914 1111 63 0 27761 0
vsize: 111296
[startup+910.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 25290 0 0 0 90963 53 0 0 25 0 1 0 912001911 115232768 25210 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25210 1111 63 0 28070 0
vsize: 112532
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 25586 0 0 0 91963 53 0 0 25 0 1 0 912001911 116359168 25506 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25506 1111 63 0 28345 0
vsize: 113632
[startup+930.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 25877 0 0 0 92962 54 0 0 25 0 1 0 912001911 117624832 25797 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25797 1111 63 0 28654 0
vsize: 114868
[startup+940.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 26173 0 0 0 93962 55 0 0 25 0 1 0 912001911 118751232 26093 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28992 26093 1111 63 0 28929 0
vsize: 115968
[startup+950.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 26469 0 0 0 94961 56 0 0 25 0 1 0 912001911 120020992 26389 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26389 1111 63 0 29239 0
vsize: 117208
[startup+960.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 26766 0 0 0 95961 56 0 0 25 0 1 0 912001911 121147392 26686 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29577 26686 1111 63 0 29514 0
vsize: 118308
[startup+970.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 27061 0 0 0 96961 56 0 0 25 0 1 0 912001911 122413056 26981 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 26981 1111 63 0 29823 0
vsize: 119544
[startup+980.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 27359 0 0 0 97960 57 0 0 25 0 1 0 912001911 123682816 27279 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 27279 1111 63 0 30133 0
vsize: 120784
[startup+990.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 27655 0 0 0 98960 58 0 0 25 0 1 0 912001911 124809216 27575 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 27575 1111 63 0 30408 0
vsize: 121884
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 27959 0 0 0 99960 58 0 0 25 0 1 0 912001911 126074880 27879 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30780 27879 1111 63 0 30717 0
vsize: 123120
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 28248 0 0 0 100960 59 0 0 25 0 1 0 912001911 127201280 28168 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31055 28168 1111 63 0 30992 0
vsize: 124220
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 28551 0 0 0 101959 59 0 0 25 0 1 0 912001911 128466944 28471 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31364 28471 1111 63 0 31301 0
vsize: 125456
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 28848 0 0 0 102959 59 0 0 25 0 1 0 912001911 129732608 28768 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31673 28768 1111 63 0 31610 0
vsize: 126692
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 29150 0 0 0 103959 60 0 0 25 0 1 0 912001911 131002368 29070 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31983 29070 1111 63 0 31920 0
vsize: 127932
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 29450 0 0 0 104959 60 0 0 25 0 1 0 912001911 132128768 29370 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32258 29370 1111 63 0 32195 0
vsize: 129032
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 29752 0 0 0 105958 61 0 0 25 0 1 0 912001911 133394432 29672 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32567 29672 1111 63 0 32504 0
vsize: 130268
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 30055 0 0 0 106958 62 0 0 25 0 1 0 912001911 134668288 29975 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32878 29975 1111 63 0 32815 0
vsize: 131512
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 30358 0 0 0 107957 62 0 0 25 0 1 0 912001911 135933952 30278 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33187 30278 1111 63 0 33124 0
vsize: 132748
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 30663 0 0 0 108957 63 0 0 25 0 1 0 912001911 137060352 30583 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 30583 1111 63 0 33399 0
vsize: 133848
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 30965 0 0 0 109956 64 0 0 25 0 1 0 912001911 138330112 30885 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33772 30885 1111 63 0 33709 0
vsize: 135088
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 31268 0 0 0 110956 64 0 0 25 0 1 0 912001911 139595776 31188 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34081 31188 1111 63 0 34018 0
vsize: 136324
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 31578 0 0 0 111956 65 0 0 25 0 1 0 912001911 140865536 31498 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34391 31498 1111 63 0 34328 0
vsize: 137564
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 31881 0 0 0 112956 65 0 0 25 0 1 0 912001911 142131200 31801 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34700 31801 1111 63 0 34637 0
vsize: 138800
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 32192 0 0 0 113955 66 0 0 25 0 1 0 912001911 143396864 32112 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35009 32112 1111 63 0 34946 0
vsize: 140036
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 32495 0 0 0 114955 66 0 0 25 0 1 0 912001911 144662528 32415 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35318 32415 1111 63 0 35255 0
vsize: 141272
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 32806 0 0 0 115954 67 0 0 25 0 1 0 912001911 145932288 32726 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35628 32726 1111 63 0 35565 0
vsize: 142512
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 33115 0 0 0 116954 67 0 0 25 0 1 0 912001911 147197952 33035 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35937 33035 1111 63 0 35874 0
vsize: 143748
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 33419 0 0 0 117954 68 0 0 25 0 1 0 912001911 148324352 33339 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36212 33339 1111 63 0 36149 0
vsize: 144848
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 33729 0 0 0 118953 69 0 0 25 0 1 0 912001911 149590016 33649 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36521 33649 1111 63 0 36458 0
vsize: 146084
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) R 18853 21152 21151 0 -1 0 34039 0 0 0 119953 70 0 0 25 0 1 0 912001911 150855680 33959 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36830 33959 1111 63 0 36767 0
vsize: 147320
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18854
Raw data (stat): 18854 (bsolo_lpr_cuts-) Z 18853 21152 21151 0 -1 1036 34039 0 0 0 119953 76 0 0 25 0 1 0 912001911 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.13
CPU time (s): 1200.3
CPU user time (s): 1199.53
CPU system time (s): 0.763883
CPU usage (%): 100.014
Max. virtual memory (Kb): 147320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####