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-fpga13_13_sat_pb.cnf.cr.opb
MD5SUM	477af24fc30fd084c6281beb06bd14f4
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	14
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.05599
Number of variables	254
Total number of constraints	208
Number of constraints which are clauses	182
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	6
Maximum length of a constraint	13
Trace number 40581

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 15:42:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28647 boxname=wulflinc4 idbench=33 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  477af24fc30fd084c6281beb06bd14f4  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga13_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga13_13_sat_pb.cnf.cr.opb
IDLAUNCH: 28647
/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:        877296 kB
Buffers:         16828 kB
Cached:         115472 kB
SwapCached:       5196 kB
Active:          25252 kB
Inactive:       113420 kB
HighTotal:      131008 kB
HighFree:        80220 kB
LowTotal:       903652 kB
LowFree:        797076 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13180 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:01:58 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28647 7 1175.13 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 254 variables and 208 constraints.
c After prepocess the problem consists of 254 variables and 208 constraints.
c preprocess terminated 0.149 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 1674
Raw data (stat): 1674 (runsolver) R 1673 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902789641 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0015 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 3083 0 0 0 987 10 0 0 25 0 1 0 902789641 15749120 3001 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3845 3001 1111 63 0 3782 0
vsize: 15380
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 4660 0 0 0 1981 16 0 0 25 0 1 0 902789641 22134784 4577 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5404 4577 1111 63 0 5341 0
vsize: 21616
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 6424 0 0 0 2976 21 0 0 25 0 1 0 902789641 29442048 6340 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6340 1111 63 0 7125 0
vsize: 28752
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 7650 0 0 0 3971 26 0 0 25 0 1 0 902789641 34619392 7563 4294967295 134512640 134716908 3221224560 3221223252 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8452 7563 1111 63 0 8389 0
vsize: 33808
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 8787 0 0 0 4966 32 0 0 25 0 1 0 902789641 39223296 8700 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9576 8700 1111 63 0 9513 0
vsize: 38304
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 9543 0 0 0 5964 34 0 0 25 0 1 0 902789641 42332160 9455 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10335 9455 1111 63 0 10272 0
vsize: 41340
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 10150 0 0 0 6961 37 0 0 25 0 1 0 902789641 44765184 10062 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10929 10062 1111 63 0 10866 0
vsize: 43716
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 11119 0 0 0 7958 40 0 0 25 0 1 0 902789641 48816128 11031 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11918 11031 1111 63 0 11855 0
vsize: 47672
[startup+90.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 11930 0 0 0 8954 44 0 0 25 0 1 0 902789641 52240384 11842 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12754 11842 1111 63 0 12691 0
vsize: 51016
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 12710 0 0 0 9951 47 0 0 25 0 1 0 902789641 55386112 12621 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13522 12621 1111 63 0 13459 0
vsize: 54088
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 13414 0 0 0 10949 50 0 0 25 0 1 0 902789641 58359808 13325 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14248 13325 1111 63 0 14185 0
vsize: 56992
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 14027 0 0 0 11947 52 0 0 25 0 1 0 902789641 60878848 13933 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14863 13933 1111 63 0 14800 0
vsize: 59452
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 14717 0 0 0 12944 56 0 0 25 0 1 0 902789641 63725568 14623 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15558 14623 1111 63 0 15495 0
vsize: 62232
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 15252 0 0 0 13942 57 0 0 25 0 1 0 902789641 65912832 15156 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16092 15156 1111 63 0 16029 0
vsize: 64368
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 15761 0 0 0 14940 60 0 0 25 0 1 0 902789641 68091904 15665 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16624 15665 1111 63 0 16561 0
vsize: 66496
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 16321 0 0 0 15938 62 0 0 25 0 1 0 902789641 70266880 16225 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16225 1111 63 0 17092 0
vsize: 68620
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 16919 0 0 0 16936 64 0 0 25 0 1 0 902789641 72708096 16823 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17751 16823 1111 63 0 17688 0
vsize: 71004
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 17519 0 0 0 17935 66 0 0 25 0 1 0 902789641 75157504 17423 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18349 17423 1111 63 0 18286 0
vsize: 73396
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 18005 0 0 0 18933 67 0 0 25 0 1 0 902789641 77185024 17909 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18844 17909 1111 63 0 18781 0
vsize: 75376
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 18826 0 0 0 19930 70 0 0 25 0 1 0 902789641 80564224 18730 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19669 18730 1111 63 0 19606 0
vsize: 78676
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 19551 0 0 0 20928 73 0 0 25 0 1 0 902789641 83554304 19451 4294967295 134512640 134716908 3221224560 3221223344 134529390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20399 19451 1111 63 0 20336 0
vsize: 81596
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 20343 0 0 0 21925 77 0 0 25 0 1 0 902789641 86863872 20242 4294967295 134512640 134716908 3221224560 3221223344 134529390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21207 20242 1111 63 0 21144 0
vsize: 84828
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 20969 0 0 0 22923 78 0 0 25 0 1 0 902789641 89432064 20868 4294967295 134512640 134716908 3221224560 3221223280 134528602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21834 20868 1111 63 0 21771 0
vsize: 87336
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 21572 0 0 0 23920 81 0 0 25 0 1 0 902789641 91947008 21471 4294967295 134512640 134716908 3221224560 3221223300 134552080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22448 21471 1111 63 0 22385 0
vsize: 89792
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 22485 0 0 0 24917 84 0 0 25 0 1 0 902789641 95596544 22384 4294967295 134512640 134716908 3221224560 3221223248 134551975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23339 22384 1111 63 0 23276 0
vsize: 93356
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 23298 0 0 0 25914 88 0 0 25 0 1 0 902789641 99020800 23197 4294967295 134512640 134716908 3221224560 3221223176 134548551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24175 23197 1111 63 0 24112 0
vsize: 96700
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 23975 0 0 0 26912 90 0 0 25 0 1 0 902789641 101765120 23874 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24845 23874 1111 63 0 24782 0
vsize: 99380
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 24729 0 0 0 27909 93 0 0 25 0 1 0 902789641 104910848 24627 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25613 24628 1111 63 0 25550 0
vsize: 102452
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 25456 0 0 0 28908 95 0 0 25 0 1 0 902789641 107884544 25354 4294967295 134512640 134716908 3221224560 3221223248 134551944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26339 25354 1111 63 0 26276 0
vsize: 105356
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 26075 0 0 0 29906 97 0 0 25 0 1 0 902789641 110469120 25972 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26970 25972 1111 63 0 26907 0
vsize: 107880
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 26558 0 0 0 30904 99 0 0 25 0 1 0 902789641 112377856 26453 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27436 26453 1111 63 0 27373 0
vsize: 109744
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 26919 0 0 0 31903 100 0 0 25 0 1 0 902789641 113864704 26814 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27799 26814 1111 63 0 27736 0
vsize: 111196
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 27291 0 0 0 32902 101 0 0 25 0 1 0 902789641 115404800 27183 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28175 27183 1111 63 0 28112 0
vsize: 112700
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 27637 0 0 0 33901 102 0 0 25 0 1 0 902789641 116891648 27529 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28538 27529 1111 63 0 28475 0
vsize: 114152
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 28156 0 0 0 34899 105 0 0 25 0 1 0 902789641 119054336 28048 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29066 28048 1111 63 0 29003 0
vsize: 116264
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 28480 0 0 0 35898 107 0 0 25 0 1 0 902789641 120340480 28372 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29380 28372 1111 63 0 29317 0
vsize: 117520
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 28768 0 0 0 36896 108 0 0 25 0 1 0 902789641 121573376 28660 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29681 28660 1111 63 0 29618 0
vsize: 118724
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 29043 0 0 0 37895 109 0 0 25 0 1 0 902789641 122654720 28935 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29945 28935 1111 63 0 29882 0
vsize: 119780
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 29291 0 0 0 38895 110 0 0 25 0 1 0 902789641 123736064 29183 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30209 29183 1111 63 0 30146 0
vsize: 120836
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 29508 0 0 0 39895 110 0 0 25 0 1 0 902789641 124547072 29400 4294967295 134512640 134716908 3221224560 3221223312 134592388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30407 29400 1111 63 0 30344 0
vsize: 121628
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 29746 0 0 0 40894 111 0 0 25 0 1 0 902789641 125698048 29635 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30688 29635 1111 63 0 30625 0
vsize: 122752
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 29954 0 0 0 41894 111 0 0 25 0 1 0 902789641 126509056 29843 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30886 29843 1111 63 0 30823 0
vsize: 123544
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 30169 0 0 0 42893 112 0 0 25 0 1 0 902789641 127320064 30057 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31084 30057 1111 63 0 31021 0
vsize: 124336
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 30369 0 0 0 43892 113 0 0 25 0 1 0 902789641 128135168 30257 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31283 30257 1111 63 0 31220 0
vsize: 125132
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 30600 0 0 0 44891 114 0 0 25 0 1 0 902789641 129269760 30488 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31560 30488 1111 63 0 31497 0
vsize: 126240
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 30859 0 0 0 45891 115 0 0 25 0 1 0 902789641 130351104 30747 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31824 30747 1111 63 0 31761 0
vsize: 127296
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 31085 0 0 0 46889 117 0 0 25 0 1 0 902789641 131162112 30973 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32022 30973 1111 63 0 31959 0
vsize: 128088
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 31339 0 0 0 47889 117 0 0 25 0 1 0 902789641 132206592 31224 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32277 31224 1111 63 0 32214 0
vsize: 129108
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 31592 0 0 0 48888 118 0 0 25 0 1 0 902789641 133304320 31476 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32545 31476 1111 63 0 32482 0
vsize: 130180
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 31850 0 0 0 49887 120 0 0 25 0 1 0 902789641 134385664 31734 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32809 31734 1111 63 0 32746 0
vsize: 131236
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 32045 0 0 0 50886 120 0 0 25 0 1 0 902789641 135196672 31929 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33007 31929 1111 63 0 32944 0
vsize: 132028
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 32271 0 0 0 51885 122 0 0 25 0 1 0 902789641 136138752 32155 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33237 32155 1111 63 0 33174 0
vsize: 132948
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 32604 0 0 0 52884 123 0 0 25 0 1 0 902789641 137543680 32486 4294967295 134512640 134716908 3221224560 3221223152 134549560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33580 32486 1111 63 0 33517 0
vsize: 134320
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 32822 0 0 0 53883 124 0 0 25 0 1 0 902789641 138596352 32696 4294967295 134512640 134716908 3221224560 3221223324 134552693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33837 32696 1111 63 0 33774 0
vsize: 135348
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 32980 0 0 0 54883 124 0 0 25 0 1 0 902789641 139137024 32854 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33969 32854 1111 63 0 33906 0
vsize: 135876
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33171 0 0 0 55883 125 0 0 25 0 1 0 902789641 139882496 33041 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34151 33041 1111 63 0 34088 0
vsize: 136604
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33314 0 0 0 56883 125 0 0 25 0 1 0 902789641 140558336 33184 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34316 33184 1111 63 0 34253 0
vsize: 137264
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33454 0 0 0 57882 126 0 0 25 0 1 0 902789641 141103104 33324 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34449 33324 1111 63 0 34386 0
vsize: 137796
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33609 0 0 0 58881 127 0 0 25 0 1 0 902789641 141778944 33479 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34614 33479 1111 63 0 34551 0
vsize: 138456
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33767 0 0 0 59881 128 0 0 25 0 1 0 902789641 142319616 33637 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34746 33637 1111 63 0 34683 0
vsize: 138984
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 33937 0 0 0 60880 129 0 0 25 0 1 0 902789641 143052800 33806 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34925 33806 1111 63 0 34862 0
vsize: 139700
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34083 0 0 0 61879 130 0 0 25 0 1 0 902789641 143728640 33952 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35090 33952 1111 63 0 35027 0
vsize: 140360
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34250 0 0 0 62879 130 0 0 25 0 1 0 902789641 144478208 34116 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35273 34116 1111 63 0 35210 0
vsize: 141092
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34420 0 0 0 63878 131 0 0 25 0 1 0 902789641 145154048 34286 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35438 34286 1111 63 0 35375 0
vsize: 141752
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34554 0 0 0 64877 132 0 0 25 0 1 0 902789641 145694720 34420 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35570 34420 1111 63 0 35507 0
vsize: 142280
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34688 0 0 0 65877 133 0 0 25 0 1 0 902789641 146235392 34554 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35702 34554 1111 63 0 35639 0
vsize: 142808
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 34838 0 0 0 66876 134 0 0 25 0 1 0 902789641 146776064 34704 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35834 34704 1111 63 0 35771 0
vsize: 143336
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35031 0 0 0 67875 135 0 0 25 0 1 0 902789641 147664896 34892 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36051 34892 1111 63 0 35988 0
vsize: 144204
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35210 0 0 0 68874 136 0 0 25 0 1 0 902789641 148340736 35070 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36216 35070 1111 63 0 36153 0
vsize: 144864
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35353 0 0 0 69874 136 0 0 25 0 1 0 902789641 148901888 35213 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36353 35213 1111 63 0 36290 0
vsize: 145412
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35533 0 0 0 70873 138 0 0 25 0 1 0 902789641 149712896 35393 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36551 35393 1111 63 0 36488 0
vsize: 146204
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35677 0 0 0 71872 138 0 0 25 0 1 0 902789641 150253568 35537 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36683 35537 1111 63 0 36620 0
vsize: 146732
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 35882 0 0 0 72872 139 0 0 25 0 1 0 902789641 151080960 35742 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36885 35742 1111 63 0 36822 0
vsize: 147540
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36018 0 0 0 73871 139 0 0 25 0 1 0 902789641 151621632 35878 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37017 35878 1111 63 0 36954 0
vsize: 148068
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36179 0 0 0 74871 140 0 0 25 0 1 0 902789641 152297472 36039 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37182 36039 1111 63 0 37119 0
vsize: 148728
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36354 0 0 0 75871 140 0 0 25 0 1 0 902789641 153108480 36214 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37380 36214 1111 63 0 37317 0
vsize: 149520
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36532 0 0 0 76871 141 0 0 25 0 1 0 902789641 153784320 36392 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37545 36392 1111 63 0 37482 0
vsize: 150180
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36704 0 0 0 77870 142 0 0 25 0 1 0 902789641 154460160 36564 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37710 36564 1111 63 0 37647 0
vsize: 150840
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 36943 0 0 0 78869 143 0 0 25 0 1 0 902789641 155406336 36803 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37941 36803 1111 63 0 37878 0
vsize: 151764
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 37151 0 0 0 79869 143 0 0 25 0 1 0 902789641 156372992 37011 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38177 37011 1111 63 0 38114 0
vsize: 152708
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 37322 0 0 0 80869 143 0 0 25 0 1 0 902789641 157048832 37182 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38342 37182 1111 63 0 38279 0
vsize: 153368
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 37502 0 0 0 81868 144 0 0 25 0 1 0 902789641 157859840 37362 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38540 37362 1111 63 0 38477 0
vsize: 154160
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 37704 0 0 0 82868 145 0 0 25 0 1 0 902789641 158666752 37564 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38737 37564 1111 63 0 38674 0
vsize: 154948
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 37919 0 0 0 83867 146 0 0 25 0 1 0 902789641 159477760 37779 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38935 37779 1111 63 0 38872 0
vsize: 155740
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 38196 0 0 0 84865 147 0 0 25 0 1 0 902789641 160694272 38056 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39232 38056 1111 63 0 39169 0
vsize: 156928
[startup+860.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 38436 0 0 0 85865 149 0 0 25 0 1 0 902789641 161640448 38296 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39463 38296 1111 63 0 39400 0
vsize: 157852
[startup+870.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 38676 0 0 0 86864 149 0 0 25 0 1 0 902789641 162586624 38536 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39694 38536 1111 63 0 39631 0
vsize: 158776
[startup+880.035 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 38919 0 0 0 87863 150 0 0 25 0 1 0 902789641 163680256 38779 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39961 38779 1111 63 0 39898 0
vsize: 159844
[startup+890.037 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 39150 0 0 0 88863 151 0 0 25 0 1 0 902789641 164626432 39010 4294967295 134512640 134716908 3221224560 3221223200 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40192 39010 1111 63 0 40129 0
vsize: 160768
[startup+900.036 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 39382 0 0 0 89862 152 0 0 25 0 1 0 902789641 165572608 39242 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40423 39242 1111 63 0 40360 0
vsize: 161692
[startup+910.038 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 39582 0 0 0 90862 153 0 0 25 0 1 0 902789641 166387712 39439 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40622 39439 1111 63 0 40559 0
vsize: 162488
[startup+920.038 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 39784 0 0 0 91861 153 0 0 25 0 1 0 902789641 167198720 39641 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40820 39641 1111 63 0 40757 0
vsize: 163280
[startup+930.038 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 39965 0 0 0 92861 154 0 0 25 0 1 0 902789641 168009728 39822 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41018 39822 1111 63 0 40955 0
vsize: 164072
[startup+940.038 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 40155 0 0 0 93860 155 0 0 25 0 1 0 902789641 168685568 40012 4294967295 134512640 134716908 3221224560 3221223116 134535552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41183 40012 1111 63 0 41120 0
vsize: 164732
[startup+950.038 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 40303 0 0 0 94860 155 0 0 25 0 1 0 902789641 169226240 40160 4294967295 134512640 134716908 3221224560 3221223296 134529335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41315 40160 1111 63 0 41252 0
vsize: 165260
[startup+960.039 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 40525 0 0 0 95859 156 0 0 25 0 1 0 902789641 170246144 40382 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41564 40382 1111 63 0 41501 0
vsize: 166256
[startup+970.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 41071 0 0 0 96858 158 0 0 25 0 1 0 902789641 172544000 40928 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42125 40928 1111 63 0 42062 0
vsize: 168500
[startup+980.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 41584 0 0 0 97856 159 0 0 25 0 1 0 902789641 174571520 41441 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42620 41441 1111 63 0 42557 0
vsize: 170480
[startup+990.041 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 42193 0 0 0 98853 163 0 0 25 0 1 0 902789641 177278976 42041 4294967295 134512640 134716908 3221224560 3221223328 134592516 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43281 42041 1111 63 0 43218 0
vsize: 173124
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 42828 0 0 0 99851 165 0 0 25 0 1 0 902789641 179847168 42676 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43908 42676 1111 63 0 43845 0
vsize: 175632
[startup+1010.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 43361 0 0 0 100850 167 0 0 25 0 1 0 902789641 182009856 43209 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44436 43209 1111 63 0 44373 0
vsize: 177744
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 43814 0 0 0 101847 169 0 0 25 0 1 0 902789641 183902208 43662 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44898 43662 1111 63 0 44835 0
vsize: 179592
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 44187 0 0 0 102847 170 0 0 25 0 1 0 902789641 185389056 44035 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45261 44035 1111 63 0 45198 0
vsize: 181044
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 44544 0 0 0 103845 172 0 0 25 0 1 0 902789641 186880000 44392 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45625 44392 1111 63 0 45562 0
vsize: 182500
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 44953 0 0 0 104843 174 0 0 25 0 1 0 902789641 188538880 44801 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46030 44801 1111 63 0 45967 0
vsize: 184120
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 1674
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 45412 0 0 0 105841 176 0 0 25 0 1 0 902789641 190431232 45260 4294967295 134512640 134716908 3221224560 3221223260 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46492 45260 1111 63 0 46429 0
vsize: 185968
[startup+1070.05 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 45747 0 0 0 106840 178 0 0 25 0 1 0 902789641 191918080 45595 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46855 45595 1111 63 0 46792 0
vsize: 187420
[startup+1080.05 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 46224 0 0 0 107838 180 0 0 25 0 1 0 902789641 193855488 46071 4294967295 134512640 134716908 3221224560 3221223264 134528735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47328 46071 1111 63 0 47265 0
vsize: 189312
[startup+1090.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 46693 0 0 0 108836 182 0 0 25 0 1 0 902789641 195747840 46540 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47790 46540 1111 63 0 47727 0
vsize: 191160
[startup+1100.05 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 47177 0 0 0 109834 184 0 0 25 0 1 0 902789641 197775360 47024 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48285 47024 1111 63 0 48222 0
vsize: 193140
[startup+1110.05 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 47594 0 0 0 110832 187 0 0 25 0 1 0 902789641 199397376 47441 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48681 47441 1111 63 0 48618 0
vsize: 194724
[startup+1120.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 47777 0 0 0 111831 188 0 0 25 0 1 0 902789641 200208384 47624 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48879 47624 1111 63 0 48816 0
vsize: 195516
[startup+1130.05 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 1727
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 47987 0 0 0 112831 188 0 0 25 0 1 0 902789641 201019392 47834 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49077 47834 1111 63 0 49014 0
vsize: 196308
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1729
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 48206 0 0 0 113830 189 0 0 25 0 1 0 902789641 201965568 48053 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49308 48053 1111 63 0 49245 0
vsize: 197232
[startup+1150.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1729
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 48399 0 0 0 114829 190 0 0 25 0 1 0 902789641 202809344 48245 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49514 48245 1111 63 0 49451 0
vsize: 198056
[startup+1160.05 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 1729
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 48598 0 0 0 115829 191 0 0 25 0 1 0 902789641 203657216 48440 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49721 48440 1111 63 0 49658 0
vsize: 198884
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 1729
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 48749 0 0 0 116829 191 0 0 25 0 1 0 902789641 204214272 48590 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49857 48590 1111 63 0 49794 0
vsize: 199428
[startup+1174.98 s]
Raw data (loadavg): 1.01 1.01 0.93 1/53 1729
Raw data (stat): 1674 (bsolo_lpr_cuts-) R 1673 21152 21151 0 -1 0 48749 0 0 0 116829 191 0 0 25 0 1 0 902789641 204214272 48590 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49857 48590 1111 63 0 49794 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.13
CPU user time (s): 1173.12
CPU system time (s): 2.00769
CPU usage (%): 100.013
Max. virtual memory (Kb): 199428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####