PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
MD5SUM	a8b77e93664627ad0410220dcaf11219
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	252
Total number of constraints	206
Number of constraints which are clauses	180
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23308

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 08:36:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=299 boxname=wulflinc31 idbench=34 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  a8b77e93664627ad0410220dcaf11219  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_12_sat_pb.cnf.cr.opb
IDLAUNCH: 299
/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:        928396 kB
Buffers:         37752 kB
Cached:          46656 kB
SwapCached:        864 kB
Active:          71680 kB
Inactive:        15108 kB
HighTotal:      131008 kB
HighFree:        83384 kB
LowTotal:       903652 kB
LowFree:        845012 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13908 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 08:56:26 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 299 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 252 variables and 206 constraints.
c After prepocess the problem consists of 252 variables and 206 constraints.
c preprocess terminated 0.141 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### 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.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (runsolver) R 21716 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 638728272 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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+9.99979 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 3020 0 0 0 983 13 0 0 25 0 1 0 638728272 15482880 2941 4294967295 134512640 134714508 3221221760 3221220672 134588446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3780 2941 1111 63 0 3717 0
vsize: 15120
[startup+20.0007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 4952 0 0 0 1975 21 0 0 25 0 1 0 638728272 23322624 4873 4294967295 134512640 134714508 3221221760 3221220244 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5694 4873 1111 63 0 5631 0
vsize: 22776
[startup+30.0009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 6067 0 0 0 2970 26 0 0 25 0 1 0 638728272 27922432 5988 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6817 5988 1111 63 0 6754 0
vsize: 27268
[startup+40.0005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 7250 0 0 0 3966 30 0 0 25 0 1 0 638728272 32804864 7171 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8009 7171 1111 63 0 7946 0
vsize: 32036
[startup+50.0014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 8126 0 0 0 4962 34 0 0 25 0 1 0 638728272 36462592 8046 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8902 8046 1111 63 0 8839 0
vsize: 35608
[startup+60.0017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 8887 0 0 0 5960 37 0 0 25 0 1 0 638728272 39591936 8807 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9666 8807 1111 63 0 9603 0
vsize: 38664
[startup+70.0026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 9654 0 0 0 6957 40 0 0 25 0 1 0 638728272 42708992 9574 4294967295 134512640 134714508 3221221760 3221220524 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10427 9574 1111 63 0 10364 0
vsize: 41708
[startup+80.0033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 10910 0 0 0 7953 44 0 0 25 0 1 0 638728272 47845376 10830 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11681 10830 1111 63 0 11618 0
vsize: 46724
[startup+90.0034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 12232 0 0 0 8949 49 0 0 25 0 1 0 638728272 53252096 12152 4294967295 134512640 134714508 3221221760 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13001 12152 1111 63 0 12938 0
vsize: 52004
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 13465 0 0 0 9945 53 0 0 25 0 1 0 638728272 58384384 13383 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14254 13383 1111 63 0 14191 0
vsize: 57016
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 14913 0 0 0 10940 58 0 0 25 0 1 0 638728272 64339968 14831 4294967295 134512640 134714508 3221221760 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15708 14831 1111 63 0 15645 0
vsize: 62832
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 16373 0 0 0 11935 63 0 0 25 0 1 0 638728272 70295552 16289 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17162 16289 1111 63 0 17099 0
vsize: 68648
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 17121 0 0 0 12932 66 0 0 25 0 1 0 638728272 73404416 17036 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17921 17036 1111 63 0 17858 0
vsize: 71684
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 17688 0 0 0 13930 68 0 0 25 0 1 0 638728272 75845632 17603 4294967295 134512640 134714508 3221221760 3221220360 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18517 17603 1111 63 0 18454 0
vsize: 74068
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 18143 0 0 0 14929 69 0 0 25 0 1 0 638728272 77742080 18053 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18980 18053 1111 63 0 18917 0
vsize: 75920
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 18915 0 0 0 15927 72 0 0 25 0 1 0 638728272 80998400 18824 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19775 18824 1111 63 0 19712 0
vsize: 79100
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 19312 0 0 0 16924 75 0 0 25 0 1 0 638728272 82661376 19217 4294967295 134512640 134714508 3221221760 3221220316 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20181 19217 1111 63 0 20118 0
vsize: 80724
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 19675 0 0 0 17922 77 0 0 25 0 1 0 638728272 84164608 19577 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20548 19577 1111 63 0 20485 0
vsize: 82192
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 19986 0 0 0 18920 79 0 0 25 0 1 0 638728272 85430272 19884 4294967295 134512640 134714508 3221221760 3221220496 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20857 19884 1111 63 0 20794 0
vsize: 83428
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 20296 0 0 0 19918 81 0 0 25 0 1 0 638728272 86654976 20190 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21156 20190 1111 63 0 21093 0
vsize: 84624
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 20582 0 0 0 20916 83 0 0 25 0 1 0 638728272 87871488 20475 4294967295 134512640 134714508 3221221760 3221220544 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21453 20475 1111 63 0 21390 0
vsize: 85812
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 21013 0 0 0 21914 86 0 0 25 0 1 0 638728272 89636864 20906 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21884 20906 1111 63 0 21821 0
vsize: 87536
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 21322 0 0 0 22913 87 0 0 25 0 1 0 638728272 90865664 21213 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22184 21213 1111 63 0 22121 0
vsize: 88736
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 21607 0 0 0 23911 89 0 0 25 0 1 0 638728272 92110848 21498 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22488 21498 1111 63 0 22425 0
vsize: 89952
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 22379 0 0 0 24909 91 0 0 25 0 1 0 638728272 95223808 22270 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23248 22271 1111 63 0 23185 0
vsize: 92992
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 23988 0 0 0 25903 97 0 0 25 0 1 0 638728272 101847040 23879 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24865 23879 1111 63 0 24802 0
vsize: 99460
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 25030 0 0 0 26899 102 0 0 25 0 1 0 638728272 106176512 24920 4294967295 134512640 134714508 3221221760 3221220404 134536691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25922 24920 1111 63 0 25859 0
vsize: 103688
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 25719 0 0 0 27896 105 0 0 25 0 1 0 638728272 109015040 25609 4294967295 134512640 134714508 3221221760 3221220544 134529365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26615 25609 1111 63 0 26552 0
vsize: 106460
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 26132 0 0 0 28895 106 0 0 25 0 1 0 638728272 110690304 26020 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27024 26020 1111 63 0 26961 0
vsize: 108096
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 26451 0 0 0 29894 107 0 0 25 0 1 0 638728272 112046080 26339 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27355 26339 1111 63 0 27292 0
vsize: 109420
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 26772 0 0 0 30893 108 0 0 25 0 1 0 638728272 113307648 26659 4294967295 134512640 134714508 3221221760 3221220432 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27663 26659 1111 63 0 27600 0
vsize: 110652
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 27019 0 0 0 31892 109 0 0 25 0 1 0 638728272 114364416 26902 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27921 26902 1111 63 0 27858 0
vsize: 111684
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 27268 0 0 0 32892 110 0 0 25 0 1 0 638728272 115445760 27151 4294967295 134512640 134714508 3221221760 3221220416 134524137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28185 27151 1111 63 0 28122 0
vsize: 112740
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 27506 0 0 0 33891 111 0 0 25 0 1 0 638728272 116400128 27388 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28418 27388 1111 63 0 28355 0
vsize: 113672
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 27754 0 0 0 34890 112 0 0 25 0 1 0 638728272 117342208 27636 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28648 27636 1111 63 0 28585 0
vsize: 114592
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 27956 0 0 0 35889 113 0 0 25 0 1 0 638728272 118018048 27838 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28813 27838 1111 63 0 28750 0
vsize: 115252
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 28138 0 0 0 36889 114 0 0 25 0 1 0 638728272 118865920 28020 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29020 28020 1111 63 0 28957 0
vsize: 116080
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 28341 0 0 0 37888 115 0 0 25 0 1 0 638728272 119705600 28223 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29225 28223 1111 63 0 29162 0
vsize: 116900
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 28541 0 0 0 38887 115 0 0 25 0 1 0 638728272 120406016 28423 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29396 28423 1111 63 0 29333 0
vsize: 117584
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 28718 0 0 0 39887 116 0 0 25 0 1 0 638728272 121081856 28600 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29561 28600 1111 63 0 29498 0
vsize: 118244
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 28945 0 0 0 40886 117 0 0 25 0 1 0 638728272 122109952 28826 4294967295 134512640 134714508 3221221760 3221220316 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29812 28826 1111 63 0 29749 0
vsize: 119248
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 29124 0 0 0 41886 118 0 0 25 0 1 0 638728272 122798080 29005 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29980 29005 1111 63 0 29917 0
vsize: 119920
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 29317 0 0 0 42885 119 0 0 25 0 1 0 638728272 123674624 29196 4294967295 134512640 134714508 3221221760 3221220352 134549517 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30194 29196 1111 63 0 30131 0
vsize: 120776
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 29516 0 0 0 43884 120 0 0 25 0 1 0 638728272 124489728 29395 4294967295 134512640 134714508 3221221760 3221220484 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30393 29395 1111 63 0 30330 0
vsize: 121572
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 29738 0 0 0 44883 121 0 0 25 0 1 0 638728272 125435904 29617 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30624 29617 1111 63 0 30561 0
vsize: 122496
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 30022 0 0 0 45882 122 0 0 25 0 1 0 638728272 126513152 29901 4294967295 134512640 134714508 3221221760 3221220352 134549730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30887 29901 1111 63 0 30824 0
vsize: 123548
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 30219 0 0 0 46882 123 0 0 25 0 1 0 638728272 127381504 30097 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31099 30097 1111 63 0 31036 0
vsize: 124396
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 30415 0 0 0 47881 123 0 0 25 0 1 0 638728272 128192512 30293 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31297 30293 1111 63 0 31234 0
vsize: 125188
[startup+490.018 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 30593 0 0 0 48881 124 0 0 25 0 1 0 638728272 128868352 30471 4294967295 134512640 134714508 3221221760 3221220388 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31462 30471 1111 63 0 31399 0
vsize: 125848
[startup+500.018 s]
Raw data (loadavg): 1.14 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 30867 0 0 0 49880 125 0 0 25 0 1 0 638728272 130084864 30745 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31759 30745 1111 63 0 31696 0
vsize: 127036
[startup+510.019 s]
Raw data (loadavg): 1.11 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31055 0 0 0 50879 126 0 0 25 0 1 0 638728272 130797568 30931 4294967295 134512640 134714508 3221221760 3221220464 134528674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31933 30931 1111 63 0 31870 0
vsize: 127732
[startup+520.019 s]
Raw data (loadavg): 1.10 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31240 0 0 0 51878 127 0 0 25 0 1 0 638728272 131616768 31115 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32133 31115 1111 63 0 32070 0
vsize: 128532
[startup+530.019 s]
Raw data (loadavg): 1.08 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31398 0 0 0 52878 128 0 0 25 0 1 0 638728272 132292608 31273 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32298 31273 1111 63 0 32235 0
vsize: 129192
[startup+540.02 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31576 0 0 0 53877 129 0 0 25 0 1 0 638728272 132968448 31451 4294967295 134512640 134714508 3221221760 3221220352 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32463 31451 1111 63 0 32400 0
vsize: 129852
[startup+550.02 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31779 0 0 0 54876 130 0 0 25 0 1 0 638728272 133779456 31654 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32661 31654 1111 63 0 32598 0
vsize: 130644
[startup+560.02 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 31968 0 0 0 55876 131 0 0 25 0 1 0 638728272 134598656 31840 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32861 31840 1111 63 0 32798 0
vsize: 131444
[startup+570.021 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 32184 0 0 0 56875 132 0 0 25 0 1 0 638728272 135454720 32056 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33070 32056 1111 63 0 33007 0
vsize: 132280
[startup+580.021 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 32404 0 0 0 57874 133 0 0 25 0 1 0 638728272 136560640 32269 4294967295 134512640 134714508 3221221760 3221220412 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33340 32269 1111 63 0 33277 0
vsize: 133360
[startup+590.021 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 32588 0 0 0 58873 133 0 0 25 0 1 0 638728272 137424896 32453 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33551 32453 1111 63 0 33488 0
vsize: 134204
[startup+600.021 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 32814 0 0 0 59873 134 0 0 25 0 1 0 638728272 138440704 32677 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33799 32677 1111 63 0 33736 0
vsize: 135196
[startup+610.022 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 33041 0 0 0 60872 135 0 0 25 0 1 0 638728272 139452416 32904 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34046 32904 1111 63 0 33983 0
vsize: 136184
[startup+620.023 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 33302 0 0 0 61871 136 0 0 25 0 1 0 638728272 140591104 33165 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34324 33165 1111 63 0 34261 0
vsize: 137296
[startup+630.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 33494 0 0 0 62871 137 0 0 25 0 1 0 638728272 141402112 33357 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34522 33357 1111 63 0 34459 0
vsize: 138088
[startup+640.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 33702 0 0 0 63870 137 0 0 25 0 1 0 638728272 142213120 33565 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34720 33565 1111 63 0 34657 0
vsize: 138880
[startup+650.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 33973 0 0 0 64869 138 0 0 25 0 1 0 638728272 143294464 33836 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34984 33836 1111 63 0 34921 0
vsize: 139936
[startup+660.023 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 34249 0 0 0 65868 140 0 0 25 0 1 0 638728272 144470016 34108 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35271 34108 1111 63 0 35208 0
vsize: 141084
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 34521 0 0 0 66867 141 0 0 25 0 1 0 638728272 145670144 34379 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35564 34379 1111 63 0 35501 0
vsize: 142256
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 34691 0 0 0 67867 142 0 0 25 0 1 0 638728272 146436096 34549 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35751 34549 1111 63 0 35688 0
vsize: 143004
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 34858 0 0 0 68866 143 0 0 25 0 1 0 638728272 147111936 34716 4294967295 134512640 134714508 3221221760 3221220496 134535835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35916 34716 1111 63 0 35853 0
vsize: 143664
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35044 0 0 0 69865 144 0 0 25 0 1 0 638728272 147922944 34902 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36114 34902 1111 63 0 36051 0
vsize: 144456
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35262 0 0 0 70865 144 0 0 25 0 1 0 638728272 148733952 35120 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36312 35120 1111 63 0 36249 0
vsize: 145248
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35436 0 0 0 71864 145 0 0 25 0 1 0 638728272 149544960 35293 4294967295 134512640 134714508 3221221760 3221220520 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36510 35293 1111 63 0 36447 0
vsize: 146040
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35615 0 0 0 72864 146 0 0 25 0 1 0 638728272 150355968 35472 4294967295 134512640 134714508 3221221760 3221220460 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36708 35472 1111 63 0 36645 0
vsize: 146832
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35772 0 0 0 73863 146 0 0 25 0 1 0 638728272 150896640 35629 4294967295 134512640 134714508 3221221760 3221220504 134551636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36840 35629 1111 63 0 36777 0
vsize: 147360
[startup+750.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 35974 0 0 0 74863 147 0 0 25 0 1 0 638728272 151707648 35831 4294967295 134512640 134714508 3221221760 3221220316 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37038 35831 1111 63 0 36975 0
vsize: 148152
[startup+760.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 36155 0 0 0 75862 148 0 0 25 0 1 0 638728272 152518656 36012 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37236 36012 1111 63 0 37173 0
vsize: 148944
[startup+770.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 36332 0 0 0 76862 148 0 0 25 0 1 0 638728272 153231360 36188 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37410 36188 1111 63 0 37347 0
vsize: 149640
[startup+780.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 36498 0 0 0 77861 149 0 0 25 0 1 0 638728272 153907200 36354 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37575 36354 1111 63 0 37512 0
vsize: 150300
[startup+790.027 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 36668 0 0 0 78861 150 0 0 25 0 1 0 638728272 154583040 36524 4294967295 134512640 134714508 3221221760 3221220504 134551585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37740 36524 1111 63 0 37677 0
vsize: 150960
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 36853 0 0 0 79860 151 0 0 25 0 1 0 638728272 155394048 36709 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37938 36709 1111 63 0 37875 0
vsize: 151752
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 37051 0 0 0 80859 151 0 0 25 0 1 0 638728272 156205056 36907 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38136 36907 1111 63 0 38073 0
vsize: 152544
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 37227 0 0 0 81859 152 0 0 25 0 1 0 638728272 156921856 37080 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38311 37080 1111 63 0 38248 0
vsize: 153244
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 37385 0 0 0 82858 153 0 0 25 0 1 0 638728272 157597696 37238 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38476 37238 1111 63 0 38413 0
vsize: 153904
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 37587 0 0 0 83857 154 0 0 25 0 1 0 638728272 158408704 37440 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38674 37440 1111 63 0 38611 0
vsize: 154696
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 37794 0 0 0 84856 155 0 0 25 0 1 0 638728272 159219712 37647 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38872 37647 1111 63 0 38809 0
vsize: 155488
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 38036 0 0 0 85855 157 0 0 25 0 1 0 638728272 160202752 37888 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39112 37888 1111 63 0 39049 0
vsize: 156448
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 38224 0 0 0 86854 158 0 0 25 0 1 0 638728272 161013760 38076 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39310 38076 1111 63 0 39247 0
vsize: 157240
[startup+880.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 38417 0 0 0 87853 159 0 0 25 0 1 0 638728272 161824768 38269 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39508 38269 1111 63 0 39445 0
vsize: 158032
[startup+890.032 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 38605 0 0 0 88852 160 0 0 25 0 1 0 638728272 162500608 38457 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39673 38457 1111 63 0 39610 0
vsize: 158692
[startup+900.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 38845 0 0 0 89851 161 0 0 25 0 1 0 638728272 163483648 38695 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39913 38695 1111 63 0 39850 0
vsize: 159652
[startup+910.033 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 39091 0 0 0 90850 163 0 0 25 0 1 0 638728272 164429824 38941 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40144 38941 1111 63 0 40081 0
vsize: 160576
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 39281 0 0 0 91849 164 0 0 25 0 1 0 638728272 165240832 39131 4294967295 134512640 134714508 3221221760 3221220544 134529359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40342 39131 1111 63 0 40279 0
vsize: 161368
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 39517 0 0 0 92849 165 0 0 25 0 1 0 638728272 166187008 39367 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40573 39367 1111 63 0 40510 0
vsize: 162292
[startup+940.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 39769 0 0 0 93848 166 0 0 25 0 1 0 638728272 167268352 39619 4294967295 134512640 134714508 3221221760 3221220528 134529113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40837 39619 1111 63 0 40774 0
vsize: 163348
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 39996 0 0 0 94846 167 0 0 25 0 1 0 638728272 168079360 39846 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41035 39846 1111 63 0 40972 0
vsize: 164140
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 40238 0 0 0 95845 168 0 0 25 0 1 0 638728272 169025536 40088 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41266 40088 1111 63 0 41203 0
vsize: 165064
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 40497 0 0 0 96844 170 0 0 25 0 1 0 638728272 170106880 40347 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41530 40347 1111 63 0 41467 0
vsize: 166120
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 40720 0 0 0 97843 171 0 0 25 0 1 0 638728272 171053056 40570 4294967295 134512640 134714508 3221221760 3221220496 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41761 40570 1111 63 0 41698 0
vsize: 167044
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 40863 0 0 0 98843 172 0 0 25 0 1 0 638728272 171593728 40713 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41893 40713 1111 63 0 41830 0
vsize: 167572
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 41007 0 0 0 99842 172 0 0 25 0 1 0 638728272 172134400 40857 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42025 40857 1111 63 0 41962 0
vsize: 168100
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 41152 0 0 0 100842 173 0 0 25 0 1 0 638728272 172843008 41002 4294967295 134512640 134714508 3221221760 3221220528 134529279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42198 41002 1111 63 0 42135 0
vsize: 168792
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 41581 0 0 0 101841 174 0 0 25 0 1 0 638728272 174604288 41431 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42628 41431 1111 63 0 42565 0
vsize: 170512
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 42653 0 0 0 102837 179 0 0 25 0 1 0 638728272 178929664 42503 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43684 42503 1111 63 0 43621 0
vsize: 174736
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 43354 0 0 0 103834 182 0 0 25 0 1 0 638728272 181780480 43203 4294967295 134512640 134714508 3221221760 3221220448 134551950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44380 43203 1111 63 0 44317 0
vsize: 177520
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 43774 0 0 0 104832 184 0 0 25 0 1 0 638728272 183537664 43623 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44809 43623 1111 63 0 44746 0
vsize: 179236
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 44135 0 0 0 105830 186 0 0 25 0 1 0 638728272 185069568 43984 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45183 43985 1111 63 0 45120 0
vsize: 180732
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 44755 0 0 0 106828 188 0 0 25 0 1 0 638728272 187637760 44604 4294967295 134512640 134714508 3221221760 3221220544 134529103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45810 44604 1111 63 0 45747 0
vsize: 183240
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 45240 0 0 0 107825 191 0 0 25 0 1 0 638728272 189669376 45089 4294967295 134512640 134714508 3221221760 3221220324 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46306 45089 1111 63 0 46243 0
vsize: 185224
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 45569 0 0 0 108824 192 0 0 25 0 1 0 638728272 191062016 45414 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46646 45414 1111 63 0 46583 0
vsize: 186584
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 46008 0 0 0 109822 195 0 0 25 0 1 0 638728272 192819200 45853 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47075 45853 1111 63 0 47012 0
vsize: 188300
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 46550 0 0 0 110819 197 0 0 25 0 1 0 638728272 194985984 46391 4294967295 134512640 134714508 3221221760 3221220256 134535397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47604 46391 1111 63 0 47541 0
vsize: 190416
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 46932 0 0 0 111818 199 0 0 25 0 1 0 638728272 196608000 46772 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48000 46772 1111 63 0 47937 0
vsize: 192000
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 47306 0 0 0 112817 200 0 0 25 0 1 0 638728272 198246400 47146 4294967295 134512640 134714508 3221221760 3221220316 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48400 47146 1111 63 0 48337 0
vsize: 193600
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 47581 0 0 0 113816 201 0 0 25 0 1 0 638728272 199327744 47421 4294967295 134512640 134714508 3221221760 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48664 47421 1111 63 0 48601 0
vsize: 194656
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 47808 0 0 0 114815 202 0 0 25 0 1 0 638728272 200273920 47648 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48895 47648 1111 63 0 48832 0
vsize: 195580
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 48264 0 0 0 115813 205 0 0 25 0 1 0 638728272 202031104 48104 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49324 48104 1111 63 0 49261 0
vsize: 197296
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 48857 0 0 0 116811 207 0 0 25 0 1 0 638728272 204464128 48697 4294967295 134512640 134714508 3221221760 3221220496 134523927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49918 48697 1111 63 0 49855 0
vsize: 199672
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 21717
Raw data (stat): 21717 (bsolo_lpr_cuts) R 21716 7876 7672 0 -1 0 48857 0 0 0 116811 207 0 0 25 0 1 0 638728272 204464128 48697 4294967295 134512640 134714508 3221221760 3221220496 134523927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49918 48697 1111 63 0 49855 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.15
CPU user time (s): 1172.96
CPU system time (s): 2.18167
CPU usage (%): 100.012
Max. virtual memory (Kb): 199672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####