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-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 23163

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 23:00:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=38 boxname=wulflinc31 idbench=5 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3f8902c4e8af50006f671e2bddb3e9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_16_pb.cnf.cr.opb
IDLAUNCH: 38
/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:        930812 kB
Buffers:         35264 kB
Cached:          46764 kB
SwapCached:        864 kB
Active:          67516 kB
Inactive:        16972 kB
HighTotal:      131008 kB
HighFree:        83160 kB
LowTotal:       903652 kB
LowFree:        847652 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5724 kB
Slab:            13804 kB
Committed_AS:    64256 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 23:19:40 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 38 7 1175.14 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 480 variables and 62 constraints.
c After prepocess the problem consists of 480 variables and 62 constraints.
c preprocess terminated 0.111 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.92 0.96 0.91 2/55 5901
Raw data (stat): 5901 (runsolver) R 5900 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 626626258 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 3287 0 0 0 959 29 0 0 25 0 1 0 626626258 16576512 3208 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4047 3208 1111 63 0 3984 0
vsize: 16188
[startup+20.0023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 4834 0 0 0 1954 34 0 0 25 0 1 0 626626258 22937600 4755 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4755 1111 63 0 5537 0
vsize: 22400
[startup+30.0029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 6321 0 0 0 2948 40 0 0 25 0 1 0 626626258 29036544 6242 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7089 6242 1111 63 0 7026 0
vsize: 28356
[startup+40.0042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 7198 0 0 0 3946 43 0 0 25 0 1 0 626626258 32714752 7119 4294967295 134512640 134714508 3221221744 3221220528 134529234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7987 7119 1111 63 0 7924 0
vsize: 31948
[startup+50.0041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 8362 0 0 0 4941 48 0 0 25 0 1 0 626626258 37449728 8282 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9143 8282 1111 63 0 9080 0
vsize: 36572
[startup+60.0047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5953
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 9479 0 0 0 5936 52 0 0 25 0 1 0 626626258 42049536 9397 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10266 9397 1111 63 0 10203 0
vsize: 41064
[startup+70.0047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 10196 0 0 0 6935 54 0 0 25 0 1 0 626626258 45051904 10114 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10999 10114 1111 63 0 10936 0
vsize: 43996
[startup+80.0059 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 11130 0 0 0 7931 58 0 0 25 0 1 0 626626258 49020928 11043 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11968 11043 1111 63 0 11905 0
vsize: 47872
[startup+90.0056 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 11909 0 0 0 8927 62 0 0 25 0 1 0 626626258 52129792 11822 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12727 11822 1111 63 0 12664 0
vsize: 50908
[startup+100.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 12696 0 0 0 9923 66 0 0 25 0 1 0 626626258 55373824 12609 4294967295 134512640 134714508 3221221744 3221220336 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13519 12609 1111 63 0 13456 0
vsize: 54076
[startup+110.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 13310 0 0 0 10922 68 0 0 25 0 1 0 626626258 57835520 13222 4294967295 134512640 134714508 3221221744 3221220444 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14120 13222 1111 63 0 14057 0
vsize: 56480
[startup+120.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 13867 0 0 0 11920 69 0 0 25 0 1 0 626626258 60182528 13779 4294967295 134512640 134714508 3221221744 3221220500 134652846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14693 13779 1111 63 0 14630 0
vsize: 58772
[startup+130.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 14347 0 0 0 12919 72 0 0 25 0 1 0 626626258 62259200 14259 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15200 14259 1111 63 0 15137 0
vsize: 60800
[startup+140.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 14838 0 0 0 13917 74 0 0 25 0 1 0 626626258 64299008 14750 4294967295 134512640 134714508 3221221744 3221220256 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15698 14750 1111 63 0 15635 0
vsize: 62792
[startup+150.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 15307 0 0 0 14915 75 0 0 25 0 1 0 626626258 66265088 15215 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16178 15215 1111 63 0 16115 0
vsize: 64712
[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 16005 0 0 0 15912 78 0 0 25 0 1 0 626626258 69173248 15912 4294967295 134512640 134714508 3221221744 3221220304 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16888 15912 1111 63 0 16825 0
vsize: 67552
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 17303 0 0 0 16909 82 0 0 25 0 1 0 626626258 74448896 17210 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18176 17210 1111 63 0 18113 0
vsize: 72704
[startup+180.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 18246 0 0 0 17905 86 0 0 25 0 1 0 626626258 78393344 18152 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19139 18152 1111 63 0 19076 0
vsize: 76556
[startup+190.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 18791 0 0 0 18903 88 0 0 25 0 1 0 626626258 80572416 18697 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19671 18697 1111 63 0 19608 0
vsize: 78684
[startup+200.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 19934 0 0 0 19899 93 0 0 25 0 1 0 626626258 85303296 19838 4294967295 134512640 134714508 3221221744 3221220056 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20826 19838 1111 63 0 20763 0
vsize: 83304
[startup+210.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 20585 0 0 0 20896 96 0 0 25 0 1 0 626626258 88006656 20489 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21486 20489 1111 63 0 21423 0
vsize: 85944
[startup+220.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 21180 0 0 0 21893 99 0 0 25 0 1 0 626626258 90460160 21084 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22085 21084 1111 63 0 22022 0
vsize: 88340
[startup+230.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 21673 0 0 0 22891 101 0 0 25 0 1 0 626626258 92508160 21577 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22585 21577 1111 63 0 22522 0
vsize: 90340
[startup+240.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 22140 0 0 0 23889 104 0 0 25 0 1 0 626626258 94400512 22044 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23047 22044 1111 63 0 22984 0
vsize: 92188
[startup+250.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 22908 0 0 0 24886 107 0 0 25 0 1 0 626626258 97546240 22812 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23815 22812 1111 63 0 23752 0
vsize: 95260
[startup+260.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 23459 0 0 0 25884 108 0 0 25 0 1 0 626626258 99844096 23363 4294967295 134512640 134714508 3221221744 3221220480 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24376 23363 1111 63 0 24313 0
vsize: 97504
[startup+270.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 24095 0 0 0 26883 110 0 0 25 0 1 0 626626258 102453248 23999 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25013 23999 1111 63 0 24950 0
vsize: 100052
[startup+280.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 24566 0 0 0 27882 111 0 0 25 0 1 0 626626258 104366080 24470 4294967295 134512640 134714508 3221221744 3221220240 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25480 24470 1111 63 0 25417 0
vsize: 101920
[startup+290.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 25212 0 0 0 28879 114 0 0 25 0 1 0 626626258 107069440 25112 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26140 25112 1111 63 0 26077 0
vsize: 104560
[startup+300.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 25815 0 0 0 29876 117 0 0 25 0 1 0 626626258 109551616 25715 4294967295 134512640 134714508 3221221744 3221220396 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26746 25715 1111 63 0 26683 0
vsize: 106984
[startup+310.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 26473 0 0 0 30875 119 0 0 25 0 1 0 626626258 112300032 26373 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27417 26373 1111 63 0 27354 0
vsize: 109668
[startup+320.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 26990 0 0 0 31873 121 0 0 25 0 1 0 626626258 114544640 26887 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27965 26887 1111 63 0 27902 0
vsize: 111860
[startup+330.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 27305 0 0 0 32871 123 0 0 25 0 1 0 626626258 115822592 27201 4294967295 134512640 134714508 3221221744 3221220384 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28277 27201 1111 63 0 28214 0
vsize: 113108
[startup+340.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 27698 0 0 0 33871 124 0 0 25 0 1 0 626626258 117518336 27592 4294967295 134512640 134714508 3221221744 3221220272 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28691 27592 1111 63 0 28628 0
vsize: 114764
[startup+350.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 27938 0 0 0 34870 125 0 0 25 0 1 0 626626258 118476800 27832 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28925 27832 1111 63 0 28862 0
vsize: 115700
[startup+360.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 28960 0 0 0 35866 128 0 0 25 0 1 0 626626258 122785792 28852 4294967295 134512640 134714508 3221221744 3221220432 134551950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29977 28852 1111 63 0 29914 0
vsize: 119908
[startup+370.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5955
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 29633 0 0 0 36864 131 0 0 25 0 1 0 626626258 125489152 29525 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30637 29525 1111 63 0 30574 0
vsize: 122548
[startup+380.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 30181 0 0 0 37862 133 0 0 25 0 1 0 626626258 127787008 30073 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31198 30073 1111 63 0 31135 0
vsize: 124792
[startup+390.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 30617 0 0 0 38860 135 0 0 25 0 1 0 626626258 129581056 30509 4294967295 134512640 134714508 3221221744 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31636 30509 1111 63 0 31573 0
vsize: 126544
[startup+400.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 31338 0 0 0 39857 138 0 0 25 0 1 0 626626258 132669440 31228 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32390 31228 1111 63 0 32327 0
vsize: 129560
[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 31787 0 0 0 40856 140 0 0 25 0 1 0 626626258 134426624 31677 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32819 31677 1111 63 0 32756 0
vsize: 131276
[startup+420.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 32169 0 0 0 41855 141 0 0 25 0 1 0 626626258 136048640 32059 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33215 32059 1111 63 0 33152 0
vsize: 132860
[startup+430.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 32714 0 0 0 42853 143 0 0 25 0 1 0 626626258 138248192 32597 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33752 32597 1111 63 0 33689 0
vsize: 135008
[startup+440.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 33098 0 0 0 43851 145 0 0 25 0 1 0 626626258 139890688 32981 4294967295 134512640 134714508 3221221744 3221220320 134549718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34153 32981 1111 63 0 34090 0
vsize: 136612
[startup+450.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 33453 0 0 0 44851 146 0 0 25 0 1 0 626626258 141377536 33336 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34516 33336 1111 63 0 34453 0
vsize: 138064
[startup+460.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 33839 0 0 0 45849 147 0 0 25 0 1 0 626626258 142925824 33720 4294967295 134512640 134714508 3221221744 3221220304 134549725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34894 33720 1111 63 0 34831 0
vsize: 139576
[startup+470.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 34239 0 0 0 46849 148 0 0 25 0 1 0 626626258 144486400 34116 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35275 34116 1111 63 0 35212 0
vsize: 141100
[startup+480.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 34568 0 0 0 47848 150 0 0 25 0 1 0 626626258 145932288 34445 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35628 34445 1111 63 0 35565 0
vsize: 142512
[startup+490.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 34870 0 0 0 48846 151 0 0 25 0 1 0 626626258 147222528 34744 4294967295 134512640 134714508 3221221744 3221220300 134535882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35943 34744 1111 63 0 35880 0
vsize: 143772
[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 35133 0 0 0 49846 152 0 0 25 0 1 0 626626258 148402176 35004 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36231 35004 1111 63 0 36168 0
vsize: 144924
[startup+510.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 35310 0 0 0 50845 152 0 0 25 0 1 0 626626258 149139456 35179 4294967295 134512640 134714508 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36411 35179 1111 63 0 36348 0
vsize: 145644
[startup+520.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 35527 0 0 0 51845 153 0 0 25 0 1 0 626626258 150130688 35394 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36653 35394 1111 63 0 36590 0
vsize: 146612
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 35766 0 0 0 52844 154 0 0 25 0 1 0 626626258 151080960 35631 4294967295 134512640 134714508 3221221744 3221220448 134528732 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36885 35631 1111 63 0 36822 0
vsize: 147540
[startup+540.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 36095 0 0 0 53843 155 0 0 25 0 1 0 626626258 152297472 35960 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37182 35960 1111 63 0 37119 0
vsize: 148728
[startup+550.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 36378 0 0 0 54842 157 0 0 25 0 1 0 626626258 153399296 36239 4294967295 134512640 134714508 3221221744 3221220328 134549792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37451 36239 1111 63 0 37388 0
vsize: 149804
[startup+560.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 36616 0 0 0 55841 158 0 0 25 0 1 0 626626258 154382336 36476 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37691 36476 1111 63 0 37628 0
vsize: 150764
[startup+570.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 36954 0 0 0 56839 160 0 0 25 0 1 0 626626258 155734016 36814 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38021 36814 1111 63 0 37958 0
vsize: 152084
[startup+580.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 37266 0 0 0 57838 161 0 0 25 0 1 0 626626258 156950528 37126 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38318 37126 1111 63 0 38255 0
vsize: 153272
[startup+590.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 37537 0 0 0 58838 162 0 0 25 0 1 0 626626258 158056448 37397 4294967295 134512640 134714508 3221221744 3221220400 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38588 37397 1111 63 0 38525 0
vsize: 154352
[startup+600.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 37774 0 0 0 59837 163 0 0 25 0 1 0 626626258 159109120 37633 4294967295 134512640 134714508 3221221744 3221220480 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38845 37634 1111 63 0 38782 0
vsize: 155380
[startup+610.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 37988 0 0 0 60836 164 0 0 25 0 1 0 626626258 160096256 37843 4294967295 134512640 134714508 3221221744 3221220504 134552549 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39086 37843 1111 63 0 39023 0
vsize: 156344
[startup+620.031 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 38190 0 0 0 61835 165 0 0 25 0 1 0 626626258 160772096 38045 4294967295 134512640 134714508 3221221744 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39251 38045 1111 63 0 39188 0
vsize: 157004
[startup+630.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 38420 0 0 0 62834 166 0 0 25 0 1 0 626626258 161718272 38275 4294967295 134512640 134714508 3221221744 3221219988 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39482 38275 1111 63 0 39419 0
vsize: 157928
[startup+640.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 38612 0 0 0 63834 166 0 0 25 0 1 0 626626258 162537472 38465 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39682 38465 1111 63 0 39619 0
vsize: 158728
[startup+650.032 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 38762 0 0 0 64834 167 0 0 25 0 1 0 626626258 163078144 38615 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39814 38615 1111 63 0 39751 0
vsize: 159256
[startup+660.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 39061 0 0 0 65832 168 0 0 25 0 1 0 626626258 164294656 38914 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40111 38914 1111 63 0 40048 0
vsize: 160444
[startup+670.033 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 39295 0 0 0 66832 169 0 0 25 0 1 0 626626258 165240832 39148 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40342 39148 1111 63 0 40279 0
vsize: 161368
[startup+680.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 39493 0 0 0 67831 170 0 0 25 0 1 0 626626258 166121472 39346 4294967295 134512640 134714508 3221221744 3221220412 134536748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40557 39346 1111 63 0 40494 0
vsize: 162228
[startup+690.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 39682 0 0 0 68831 171 0 0 25 0 1 0 626626258 166920192 39533 4294967295 134512640 134714508 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40752 39533 1111 63 0 40689 0
vsize: 163008
[startup+700.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 39851 0 0 0 69830 172 0 0 25 0 1 0 626626258 167714816 39701 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40946 39701 1111 63 0 40883 0
vsize: 163784
[startup+710.036 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 40062 0 0 0 70829 173 0 0 25 0 1 0 626626258 168554496 39911 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41151 39911 1111 63 0 41088 0
vsize: 164604
[startup+720.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 40329 0 0 0 71828 174 0 0 25 0 1 0 626626258 169635840 40178 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41415 40178 1111 63 0 41352 0
vsize: 165660
[startup+730.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 40525 0 0 0 72828 174 0 0 25 0 1 0 626626258 170446848 40374 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41613 40374 1111 63 0 41550 0
vsize: 166452
[startup+740.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 40672 0 0 0 73827 175 0 0 25 0 1 0 626626258 171122688 40521 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41778 40521 1111 63 0 41715 0
vsize: 167112
[startup+750.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 41004 0 0 0 74826 177 0 0 25 0 1 0 626626258 172539904 40849 4294967295 134512640 134714508 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42124 40849 1111 63 0 42061 0
vsize: 168496
[startup+760.037 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 41768 0 0 0 75822 180 0 0 25 0 1 0 626626258 175648768 41613 4294967295 134512640 134714508 3221221744 3221220200 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42883 41613 1111 63 0 42820 0
vsize: 171532
[startup+770.038 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 42213 0 0 0 76820 183 0 0 25 0 1 0 626626258 177405952 42058 4294967295 134512640 134714508 3221221744 3221220464 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43312 42058 1111 63 0 43249 0
vsize: 173248
[startup+780.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 42654 0 0 0 77818 185 0 0 25 0 1 0 626626258 179163136 42499 4294967295 134512640 134714508 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43741 42499 1111 63 0 43678 0
vsize: 174964
[startup+790.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 43227 0 0 0 78815 188 0 0 25 0 1 0 626626258 181596160 43072 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44335 43072 1111 63 0 44272 0
vsize: 177340
[startup+800.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 43641 0 0 0 79814 189 0 0 25 0 1 0 626626258 183218176 43486 4294967295 134512640 134714508 3221221744 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44731 43486 1111 63 0 44668 0
vsize: 178924
[startup+810.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 44082 0 0 0 80813 191 0 0 25 0 1 0 626626258 185110528 43927 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45193 43927 1111 63 0 45130 0
vsize: 180772
[startup+820.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 44531 0 0 0 81811 193 0 0 25 0 1 0 626626258 186867712 44376 4294967295 134512640 134714508 3221221744 3221220304 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45622 44376 1111 63 0 45559 0
vsize: 182488
[startup+830.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 44878 0 0 0 82810 194 0 0 25 0 1 0 626626258 188354560 44723 4294967295 134512640 134714508 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45985 44723 1111 63 0 45922 0
vsize: 183940
[startup+840.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 45168 0 0 0 83809 195 0 0 25 0 1 0 626626258 189435904 45013 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46249 45013 1111 63 0 46186 0
vsize: 184996
[startup+850.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 45326 0 0 0 84809 196 0 0 25 0 1 0 626626258 190124032 45170 4294967295 134512640 134714508 3221221744 3221220336 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46417 45170 1111 63 0 46354 0
vsize: 185668
[startup+860.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 45730 0 0 0 85807 198 0 0 25 0 1 0 626626258 191868928 45568 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46843 45568 1111 63 0 46780 0
vsize: 187372
[startup+870.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 46280 0 0 0 86805 200 0 0 25 0 1 0 626626258 194031616 46118 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47371 46118 1111 63 0 47308 0
vsize: 189484
[startup+880.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 46578 0 0 0 87804 202 0 0 25 0 1 0 626626258 195248128 46416 4294967295 134512640 134714508 3221221744 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47668 46416 1111 63 0 47605 0
vsize: 190672
[startup+890.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 46986 0 0 0 88802 204 0 0 25 0 1 0 626626258 196870144 46824 4294967295 134512640 134714508 3221221744 3221220412 134536852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48064 46824 1111 63 0 48001 0
vsize: 192256
[startup+900.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 47256 0 0 0 89801 205 0 0 25 0 1 0 626626258 197951488 47094 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48328 47094 1111 63 0 48265 0
vsize: 193312
[startup+910.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 47617 0 0 0 90800 206 0 0 25 0 1 0 626626258 199438336 47455 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48691 47455 1111 63 0 48628 0
vsize: 194764
[startup+920.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 47853 0 0 0 91800 206 0 0 25 0 1 0 626626258 200462336 47691 4294967295 134512640 134714508 3221221744 3221220480 134523980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48941 47691 1111 63 0 48878 0
vsize: 195764
[startup+930.049 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 48068 0 0 0 92799 208 0 0 25 0 1 0 626626258 201461760 47906 4294967295 134512640 134714508 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49185 47906 1111 63 0 49122 0
vsize: 196740
[startup+940.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 48367 0 0 0 93798 209 0 0 25 0 1 0 626626258 202657792 48202 4294967295 134512640 134714508 3221221744 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49477 48202 1111 63 0 49414 0
vsize: 197908
[startup+950.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 48657 0 0 0 94797 210 0 0 25 0 1 0 626626258 203886592 48492 4294967295 134512640 134714508 3221221744 3221220380 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49777 48492 1111 63 0 49714 0
vsize: 199108
[startup+960.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 48871 0 0 0 95796 211 0 0 25 0 1 0 626626258 204832768 48706 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50008 48706 1111 63 0 49945 0
vsize: 200032
[startup+970.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 49102 0 0 0 96795 212 0 0 25 0 1 0 626626258 205864960 48932 4294967295 134512640 134714508 3221221744 3221220416 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50260 48932 1111 63 0 50197 0
vsize: 201040
[startup+980.051 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 49389 0 0 0 97795 213 0 0 25 0 1 0 626626258 206946304 49219 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50524 49219 1111 63 0 50461 0
vsize: 202096
[startup+990.052 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 49564 0 0 0 98794 213 0 0 25 0 1 0 626626258 207687680 49394 4294967295 134512640 134714508 3221221744 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50705 49394 1111 63 0 50642 0
vsize: 202820
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 49853 0 0 0 99794 214 0 0 25 0 1 0 626626258 208969728 49674 4294967295 134512640 134714508 3221221744 3221220344 134549515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51018 49674 1111 63 0 50955 0
vsize: 204072
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 50095 0 0 0 100793 215 0 0 25 0 1 0 626626258 210116608 49912 4294967295 134512640 134714508 3221221744 3221220528 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51298 49912 1111 63 0 51235 0
vsize: 205192
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 50388 0 0 0 101792 216 0 0 25 0 1 0 626626258 211267584 50205 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51579 50205 1111 63 0 51516 0
vsize: 206316
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 50544 0 0 0 102791 217 0 0 25 0 1 0 626626258 211808256 50361 4294967295 134512640 134714508 3221221744 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51711 50361 1111 63 0 51648 0
vsize: 206844
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 50753 0 0 0 103791 218 0 0 25 0 1 0 626626258 212684800 50567 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51925 50567 1111 63 0 51862 0
vsize: 207700
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 50968 0 0 0 104791 218 0 0 25 0 1 0 626626258 213762048 50772 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52188 50772 1111 63 0 52125 0
vsize: 208752
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 51128 0 0 0 105791 218 0 0 25 0 1 0 626626258 214503424 50932 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52369 50932 1111 63 0 52306 0
vsize: 209476
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 51438 0 0 0 106790 219 0 0 25 0 1 0 626626258 215785472 51240 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52682 51240 1111 63 0 52619 0
vsize: 210728
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 51806 0 0 0 107788 221 0 0 25 0 1 0 626626258 217272320 51608 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53045 51608 1111 63 0 52982 0
vsize: 212180
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 52013 0 0 0 108787 222 0 0 25 0 1 0 626626258 218083328 51815 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53243 51815 1111 63 0 53180 0
vsize: 212972
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 52177 0 0 0 109787 223 0 0 25 0 1 0 626626258 218759168 51979 4294967295 134512640 134714508 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53408 51979 1111 63 0 53345 0
vsize: 213632
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 52391 0 0 0 110787 223 0 0 25 0 1 0 626626258 219664384 52190 4294967295 134512640 134714508 3221221744 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53629 52190 1111 63 0 53566 0
vsize: 214516
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 52581 0 0 0 111786 224 0 0 25 0 1 0 626626258 220475392 52380 4294967295 134512640 134714508 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53827 52380 1111 63 0 53764 0
vsize: 215308
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 52796 0 0 0 112786 224 0 0 25 0 1 0 626626258 221286400 52595 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54025 52595 1111 63 0 53962 0
vsize: 216100
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 53045 0 0 0 113785 225 0 0 25 0 1 0 626626258 222351360 52844 4294967295 134512640 134714508 3221221744 3221220316 134535876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54285 52844 1111 63 0 54222 0
vsize: 217140
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 53263 0 0 0 114785 226 0 0 25 0 1 0 626626258 223162368 53062 4294967295 134512640 134714508 3221221744 3221220380 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54483 53062 1111 63 0 54420 0
vsize: 217932
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 53422 0 0 0 115784 227 0 0 25 0 1 0 626626258 223842304 53221 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54649 53221 1111 63 0 54586 0
vsize: 218596
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 53703 0 0 0 116783 228 0 0 25 0 1 0 626626258 225034240 53501 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54940 53501 1111 63 0 54877 0
vsize: 219760
[startup+1175.08 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 5957
Raw data (stat): 5901 (bsolo_lpr_cuts) R 5900 3722 3553 0 -1 0 53703 0 0 0 116783 228 0 0 25 0 1 0 626626258 225034240 53501 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54940 53501 1111 63 0 54877 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.14
CPU user time (s): 1172.75
CPU system time (s): 2.38464
CPU usage (%): 100.005
Max. virtual memory (Kb): 219760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####