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-fpga15_15_sat_pb.cnf.cr.opb
MD5SUM	5845da453401bb95aae2b4a79f2952fc
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.082987
Number of variables	338
Total number of constraints	270
Number of constraints which are clauses	240
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	7
Maximum length of a constraint	15
Trace number 40587

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 16:02:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28653 boxname=wulflinc4 idbench=39 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5845da453401bb95aae2b4a79f2952fc  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga15_15_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga15_15_sat_pb.cnf.cr.opb
IDLAUNCH: 28653
/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:        875452 kB
Buffers:         18484 kB
Cached:         115516 kB
SwapCached:       5196 kB
Active:          25292 kB
Inactive:       115096 kB
HighTotal:      131008 kB
HighFree:        80192 kB
LowTotal:       903652 kB
LowFree:        795260 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13296 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:21:40 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 28653 7 1175.17 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 338 variables and 270 constraints.
c After prepocess the problem consists of 338 variables and 270 constraints.
c preprocess terminated 0.216 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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.93 0.99 0.92 1/54 1822
Raw data (stat): 1822 (runsolver) R 1821 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902907920 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.0012 s]
Raw data (loadavg): 0.94 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 3073 0 0 0 988 9 0 0 25 0 1 0 902907920 15740928 2991 4294967295 134512640 134716908 3221224560 3221223344 134528996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3843 2991 1111 63 0 3780 0
vsize: 15372
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 4204 0 0 0 1983 14 0 0 25 0 1 0 902907920 20336640 4122 4294967295 134512640 134716908 3221224560 3221223168 134543698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4965 4122 1111 63 0 4902 0
vsize: 19860
[startup+30.0031 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 5611 0 0 0 2977 21 0 0 25 0 1 0 902907920 26148864 5529 4294967295 134512640 134716908 3221224560 3221223212 134536842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6384 5529 1111 63 0 6321 0
vsize: 25536
[startup+40.0034 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 6335 0 0 0 3974 24 0 0 25 0 1 0 902907920 28987392 6253 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7077 6253 1111 63 0 7014 0
vsize: 28308
[startup+50.0043 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 7250 0 0 0 4970 28 0 0 25 0 1 0 902907920 32780288 7168 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8003 7168 1111 63 0 7940 0
vsize: 32012
[startup+60.0047 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 8143 0 0 0 5965 33 0 0 25 0 1 0 902907920 36433920 8061 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8895 8061 1111 63 0 8832 0
vsize: 35580
[startup+70.0063 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 8605 0 0 0 6963 36 0 0 25 0 1 0 902907920 38334464 8523 4294967295 134512640 134716908 3221224560 3221223308 134584842 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9359 8523 1111 63 0 9296 0
vsize: 37436
[startup+80.0079 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 9300 0 0 0 7959 39 0 0 25 0 1 0 902907920 41177088 9218 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10053 9218 1111 63 0 9990 0
vsize: 40212
[startup+90.0081 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 9741 0 0 0 8957 41 0 0 25 0 1 0 902907920 43069440 9659 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10515 9659 1111 63 0 10452 0
vsize: 42060
[startup+100.008 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 10084 0 0 0 9956 42 0 0 25 0 1 0 902907920 44421120 10002 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10845 10002 1111 63 0 10782 0
vsize: 43380
[startup+110.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 10928 0 0 0 10954 46 0 0 25 0 1 0 902907920 47824896 10846 4294967295 134512640 134716908 3221224560 3221223072 1076648027 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11676 10846 1111 63 0 11613 0
vsize: 46704
[startup+120.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 11557 0 0 0 11952 47 0 0 25 0 1 0 902907920 50540544 11475 4294967295 134512640 134716908 3221224560 3221223056 134535424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12339 11475 1111 63 0 12276 0
vsize: 49356
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12140 0 0 0 12949 50 0 0 25 0 1 0 902907920 52862976 12055 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12906 12055 1111 63 0 12843 0
vsize: 51624
[startup+140.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12522 0 0 0 13948 52 0 0 25 0 1 0 902907920 54484992 12435 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13302 12435 1111 63 0 13239 0
vsize: 53208
[startup+150.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 12800 0 0 0 14947 53 0 0 25 0 1 0 902907920 55705600 12713 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13600 12713 1111 63 0 13537 0
vsize: 54400
[startup+160.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13109 0 0 0 15946 54 0 0 25 0 1 0 902907920 56922112 13020 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13897 13020 1111 63 0 13834 0
vsize: 55588
[startup+170.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13342 0 0 0 16944 56 0 0 25 0 1 0 902907920 57872384 13253 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14129 13253 1111 63 0 14066 0
vsize: 56516
[startup+180.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13627 0 0 0 17943 57 0 0 25 0 1 0 902907920 59133952 13536 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14437 13536 1111 63 0 14374 0
vsize: 57748
[startup+190.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 13928 0 0 0 18942 59 0 0 25 0 1 0 902907920 60354560 13836 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14735 13836 1111 63 0 14672 0
vsize: 58940
[startup+200.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14366 0 0 0 19941 60 0 0 25 0 1 0 902907920 62308352 14271 4294967295 134512640 134716908 3221224560 3221223316 134655248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15212 14271 1111 63 0 15149 0
vsize: 60848
[startup+210.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1822
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14706 0 0 0 20939 62 0 0 25 0 1 0 902907920 63660032 14610 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15542 14610 1111 63 0 15479 0
vsize: 62168
[startup+220.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 14960 0 0 0 21938 63 0 0 25 0 1 0 902907920 64757760 14863 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14863 1111 63 0 15747 0
vsize: 63240
[startup+230.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15203 0 0 0 22937 64 0 0 25 0 1 0 902907920 65863680 15105 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16080 15105 1111 63 0 16017 0
vsize: 64320
[startup+240.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15610 0 0 0 23936 66 0 0 25 0 1 0 902907920 67502080 15511 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16480 15511 1111 63 0 16417 0
vsize: 65920
[startup+250.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 15983 0 0 0 24935 67 0 0 25 0 1 0 902907920 69128192 15879 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16877 15879 1111 63 0 16814 0
vsize: 67508
[startup+260.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 16322 0 0 0 25935 67 0 0 25 0 1 0 902907920 70561792 16216 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17227 16216 1111 63 0 17164 0
vsize: 68908
[startup+270.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 16720 0 0 0 26933 69 0 0 25 0 1 0 902907920 72183808 16611 4294967295 134512640 134716908 3221224560 3221223216 1076647581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17623 16611 1111 63 0 17560 0
vsize: 70492
[startup+280.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17141 0 0 0 27932 70 0 0 25 0 1 0 902907920 73990144 17031 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18064 17031 1111 63 0 18001 0
vsize: 72256
[startup+290.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17488 0 0 0 28931 71 0 0 25 0 1 0 902907920 75493376 17377 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18431 17377 1111 63 0 18368 0
vsize: 73724
[startup+300.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 17732 0 0 0 29930 73 0 0 25 0 1 0 902907920 76439552 17621 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18662 17621 1111 63 0 18599 0
vsize: 74648
[startup+310.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 18531 0 0 0 30927 76 0 0 25 0 1 0 902907920 79695872 18420 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 18420 1111 63 0 19394 0
vsize: 77828
[startup+320.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 19942 0 0 0 31922 81 0 0 25 0 1 0 902907920 85508096 19831 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20876 19831 1111 63 0 20813 0
vsize: 83504
[startup+330.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 21083 0 0 0 32918 86 0 0 25 0 1 0 902907920 90234880 20972 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 20972 1111 63 0 21967 0
vsize: 88120
[startup+340.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 22449 0 0 0 33912 92 0 0 25 0 1 0 902907920 95801344 22338 4294967295 134512640 134716908 3221224560 3221223044 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23389 22338 1111 63 0 23326 0
vsize: 93556
[startup+350.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 23240 0 0 0 34909 95 0 0 25 0 1 0 902907920 99045376 23129 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24181 23129 1111 63 0 24118 0
vsize: 96724
[startup+360.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 24112 0 0 0 35906 98 0 0 25 0 1 0 902907920 102699008 24001 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25073 24001 1111 63 0 25010 0
vsize: 100292
[startup+370.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 24994 0 0 0 36903 101 0 0 25 0 1 0 902907920 106364928 24883 4294967295 134512640 134716908 3221224560 3221222988 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25968 24883 1111 63 0 25905 0
vsize: 103872
[startup+380.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 25636 0 0 0 37900 104 0 0 25 0 1 0 902907920 108933120 25525 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26595 25525 1111 63 0 26532 0
vsize: 106380
[startup+390.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 26348 0 0 0 38897 107 0 0 25 0 1 0 902907920 111771648 26237 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27288 26237 1111 63 0 27225 0
vsize: 109152
[startup+400.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 27106 0 0 0 39895 110 0 0 25 0 1 0 902907920 114892800 26995 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28050 26995 1111 63 0 27987 0
vsize: 112200
[startup+410.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 27694 0 0 0 40892 113 0 0 25 0 1 0 902907920 117321728 27583 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28643 27583 1111 63 0 28580 0
vsize: 114572
[startup+420.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 28284 0 0 0 41891 115 0 0 25 0 1 0 902907920 119771136 28173 4294967295 134512640 134716908 3221224560 3221223148 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29241 28173 1111 63 0 29178 0
vsize: 116964
[startup+430.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 28759 0 0 0 42889 117 0 0 25 0 1 0 902907920 121667584 28646 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29704 28646 1111 63 0 29641 0
vsize: 118816
[startup+440.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 29239 0 0 0 43887 118 0 0 25 0 1 0 902907920 123695104 29126 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30199 29126 1111 63 0 30136 0
vsize: 120796
[startup+450.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 29736 0 0 0 44885 120 0 0 25 0 1 0 902907920 125722624 29623 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30694 29623 1111 63 0 30631 0
vsize: 122776
[startup+460.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30099 0 0 0 45884 122 0 0 25 0 1 0 902907920 127074304 29986 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31024 29986 1111 63 0 30961 0
vsize: 124096
[startup+470.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30416 0 0 0 46883 123 0 0 25 0 1 0 902907920 128425984 30302 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31354 30302 1111 63 0 31291 0
vsize: 125416
[startup+480.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 30630 0 0 0 47882 125 0 0 25 0 1 0 902907920 129236992 30516 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31552 30516 1111 63 0 31489 0
vsize: 126208
[startup+490.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 31039 0 0 0 48880 126 0 0 25 0 1 0 902907920 131059712 30925 4294967295 134512640 134716908 3221224560 3221223264 134528687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31997 30925 1111 63 0 31934 0
vsize: 127988
[startup+500.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 31612 0 0 0 49878 128 0 0 25 0 1 0 902907920 133357568 31498 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32558 31498 1111 63 0 32495 0
vsize: 130232
[startup+510.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 32571 0 0 0 50875 132 0 0 25 0 1 0 902907920 137277440 32457 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33515 32457 1111 63 0 33452 0
vsize: 134060
[startup+520.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 33441 0 0 0 51873 134 0 0 25 0 1 0 902907920 140926976 33327 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34406 33327 1111 63 0 34343 0
vsize: 137624
[startup+530.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 34061 0 0 0 52872 136 0 0 25 0 1 0 902907920 143368192 33947 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35002 33947 1111 63 0 34939 0
vsize: 140008
[startup+540.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 34742 0 0 0 53870 138 0 0 25 0 1 0 902907920 146206720 34628 4294967295 134512640 134716908 3221224560 3221223156 134542821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35695 34628 1111 63 0 35632 0
vsize: 142780
[startup+550.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 35363 0 0 0 54866 141 0 0 25 0 1 0 902907920 148783104 35249 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36324 35249 1111 63 0 36261 0
vsize: 145296
[startup+560.031 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 35886 0 0 0 55865 143 0 0 25 0 1 0 902907920 150810624 35772 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36819 35772 1111 63 0 36756 0
vsize: 147276
[startup+570.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 36413 0 0 0 56862 146 0 0 25 0 1 0 902907920 152993792 36299 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37352 36299 1111 63 0 37289 0
vsize: 149408
[startup+580.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 36883 0 0 0 57860 148 0 0 25 0 1 0 902907920 155033600 36769 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37850 36769 1111 63 0 37787 0
vsize: 151400
[startup+590.032 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37229 0 0 0 58860 149 0 0 25 0 1 0 902907920 156385280 37115 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38180 37115 1111 63 0 38117 0
vsize: 152720
[startup+600.033 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37592 0 0 0 59858 151 0 0 25 0 1 0 902907920 158044160 37478 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38585 37478 1111 63 0 38522 0
vsize: 154340
[startup+610.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 37896 0 0 0 60857 152 0 0 25 0 1 0 902907920 159260672 37782 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38882 37782 1111 63 0 38819 0
vsize: 155528
[startup+620.034 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38198 0 0 0 61855 154 0 0 25 0 1 0 902907920 160473088 38084 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39178 38084 1111 63 0 39115 0
vsize: 156712
[startup+630.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38561 0 0 0 62854 156 0 0 25 0 1 0 902907920 161955840 38447 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39540 38447 1111 63 0 39477 0
vsize: 158160
[startup+640.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 38875 0 0 0 63853 157 0 0 25 0 1 0 902907920 163307520 38761 4294967295 134512640 134716908 3221224560 3221223156 134549856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39870 38761 1111 63 0 39807 0
vsize: 159480
[startup+650.035 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39304 0 0 0 64851 158 0 0 25 0 1 0 902907920 164929536 39190 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40266 39190 1111 63 0 40203 0
vsize: 161064
[startup+660.036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39596 0 0 0 65851 159 0 0 25 0 1 0 902907920 166146048 39482 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40563 39482 1111 63 0 40500 0
vsize: 162252
[startup+670.037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 39961 0 0 0 66849 162 0 0 25 0 1 0 902907920 167632896 39847 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40926 39847 1111 63 0 40863 0
vsize: 163704
[startup+680.038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 40307 0 0 0 67848 163 0 0 25 0 1 0 902907920 169119744 40193 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41289 40193 1111 63 0 41226 0
vsize: 165156
[startup+690.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 40724 0 0 0 68847 164 0 0 25 0 1 0 902907920 170741760 40610 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41685 40610 1111 63 0 41622 0
vsize: 166740
[startup+700.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41004 0 0 0 69846 165 0 0 25 0 1 0 902907920 171982848 40890 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41988 40890 1111 63 0 41925 0
vsize: 167952
[startup+710.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41253 0 0 0 70845 166 0 0 25 0 1 0 902907920 172929024 41138 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42219 41138 1111 63 0 42156 0
vsize: 168876
[startup+720.039 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41575 0 0 0 71845 167 0 0 25 0 1 0 902907920 174280704 41460 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42549 41460 1111 63 0 42486 0
vsize: 170196
[startup+730.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 41766 0 0 0 72844 167 0 0 25 0 1 0 902907920 175099904 41651 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42749 41651 1111 63 0 42686 0
vsize: 170996
[startup+740.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42080 0 0 0 73843 169 0 0 25 0 1 0 902907920 176316416 41965 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43046 41965 1111 63 0 42983 0
vsize: 172184
[startup+750.041 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42404 0 0 0 74841 171 0 0 25 0 1 0 902907920 177729536 42285 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43391 42285 1111 63 0 43328 0
vsize: 173564
[startup+760.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 42848 0 0 0 75840 172 0 0 25 0 1 0 902907920 179511296 42729 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43826 42729 1111 63 0 43763 0
vsize: 175304
[startup+770.042 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43024 0 0 0 76840 173 0 0 25 0 1 0 902907920 180330496 42905 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44026 42905 1111 63 0 43963 0
vsize: 176104
[startup+780.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43171 0 0 0 77839 174 0 0 25 0 1 0 902907920 180871168 43052 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44158 43052 1111 63 0 44095 0
vsize: 176632
[startup+790.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43354 0 0 0 78839 174 0 0 25 0 1 0 902907920 181694464 43233 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44359 43233 1111 63 0 44296 0
vsize: 177436
[startup+800.043 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43507 0 0 0 79839 174 0 0 25 0 1 0 902907920 182370304 43385 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44524 43385 1111 63 0 44461 0
vsize: 178096
[startup+810.044 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43800 0 0 0 80838 176 0 0 25 0 1 0 902907920 183451648 43678 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44788 43678 1111 63 0 44725 0
vsize: 179152
[startup+820.045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 43968 0 0 0 81837 176 0 0 25 0 1 0 902907920 184262656 43846 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44986 43846 1111 63 0 44923 0
vsize: 179944
[startup+830.046 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44154 0 0 0 82836 177 0 0 25 0 1 0 902907920 184938496 44032 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45151 44032 1111 63 0 45088 0
vsize: 180604
[startup+840.047 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44548 0 0 0 83836 178 0 0 25 0 1 0 902907920 186667008 44426 4294967295 134512640 134716908 3221224560 3221223116 134535978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45573 44426 1111 63 0 45510 0
vsize: 182292
[startup+850.048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 44916 0 0 0 84835 179 0 0 25 0 1 0 902907920 188203008 44791 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45948 44791 1111 63 0 45885 0
vsize: 183792
[startup+860.048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45300 0 0 0 85834 181 0 0 25 0 1 0 902907920 189689856 45175 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46311 45175 1111 63 0 46248 0
vsize: 185244
[startup+870.048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45709 0 0 0 86832 183 0 0 25 0 1 0 902907920 191377408 45580 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46723 45580 1111 63 0 46660 0
vsize: 186892
[startup+880.049 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 45978 0 0 0 87831 184 0 0 25 0 1 0 902907920 192491520 45849 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46995 45849 1111 63 0 46932 0
vsize: 187980
[startup+890.049 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 46375 0 0 0 88830 185 0 0 25 0 1 0 902907920 194146304 46242 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47399 46242 1111 63 0 47336 0
vsize: 189596
[startup+900.049 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 46680 0 0 0 89830 186 0 0 25 0 1 0 902907920 195506176 46547 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47731 46547 1111 63 0 47668 0
vsize: 190924
[startup+910.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47115 0 0 0 90828 188 0 0 25 0 1 0 902907920 197361664 46982 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48184 46982 1111 63 0 48121 0
vsize: 192736
[startup+920.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47458 0 0 0 91827 189 0 0 25 0 1 0 902907920 198750208 47322 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48523 47322 1111 63 0 48460 0
vsize: 194092
[startup+930.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 47771 0 0 0 92825 191 0 0 25 0 1 0 902907920 200101888 47635 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48853 47635 1111 63 0 48790 0
vsize: 195412
[startup+940.051 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48214 0 0 0 93824 193 0 0 25 0 1 0 902907920 201916416 48076 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49296 48076 1111 63 0 49233 0
vsize: 197184
[startup+950.051 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48577 0 0 0 94823 193 0 0 25 0 1 0 902907920 203403264 48439 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49659 48439 1111 63 0 49596 0
vsize: 198636
[startup+960.052 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 48809 0 0 0 95822 194 0 0 25 0 1 0 902907920 204390400 48666 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49900 48666 1111 63 0 49837 0
vsize: 199600
[startup+970.053 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49198 0 0 0 96821 196 0 0 25 0 1 0 902907920 206012416 49055 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50296 49055 1111 63 0 50233 0
vsize: 201184
[startup+980.054 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49502 0 0 0 97820 197 0 0 25 0 1 0 902907920 207294464 49350 4294967295 134512640 134716908 3221224560 3221223148 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50609 49350 1111 63 0 50546 0
vsize: 202436
[startup+990.054 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49777 0 0 0 98820 198 0 0 25 0 1 0 902907920 208375808 49625 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50873 49625 1111 63 0 50810 0
vsize: 203492
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 49939 0 0 0 99819 199 0 0 25 0 1 0 902907920 209051648 49787 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51038 49787 1111 63 0 50975 0
vsize: 204152
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50185 0 0 0 100818 199 0 0 25 0 1 0 902907920 210006016 50033 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51271 50033 1111 63 0 51208 0
vsize: 205084
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50523 0 0 0 101817 201 0 0 25 0 1 0 902907920 211410944 50371 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51614 50371 1111 63 0 51551 0
vsize: 206456
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50735 0 0 0 102816 202 0 0 25 0 1 0 902907920 212357120 50583 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51845 50583 1111 63 0 51782 0
vsize: 207380
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 50936 0 0 0 103816 203 0 0 25 0 1 0 902907920 213172224 50784 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52044 50784 1111 63 0 51981 0
vsize: 208176
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51152 0 0 0 104815 204 0 0 25 0 1 0 902907920 214114304 51000 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52274 51000 1111 63 0 52211 0
vsize: 209096
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51379 0 0 0 105814 205 0 0 25 0 1 0 902907920 215060480 51227 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52505 51227 1111 63 0 52442 0
vsize: 210020
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51430 0 0 0 106813 205 0 0 25 0 1 0 902907920 215363584 51277 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52579 51277 1111 63 0 52516 0
vsize: 210316
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51624 0 0 0 107813 206 0 0 25 0 1 0 902907920 216043520 51469 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52745 51469 1111 63 0 52682 0
vsize: 210980
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 51884 0 0 0 108812 207 0 0 25 0 1 0 902907920 217190400 51720 4294967295 134512640 134716908 3221224560 3221223148 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53025 51720 1111 63 0 52962 0
vsize: 212100
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52223 0 0 0 109811 208 0 0 25 0 1 0 902907920 218542080 52059 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53355 52059 1111 63 0 53292 0
vsize: 213420
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52556 0 0 0 110810 209 0 0 25 0 1 0 902907920 219963392 52387 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53702 52387 1111 63 0 53639 0
vsize: 214808
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 52749 0 0 0 111809 210 0 0 25 0 1 0 902907920 220774400 52580 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53900 52580 1111 63 0 53837 0
vsize: 215600
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53054 0 0 0 112809 211 0 0 25 0 1 0 902907920 221986816 52885 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54196 52885 1111 63 0 54133 0
vsize: 216784
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53272 0 0 0 113808 212 0 0 25 0 1 0 902907920 222932992 53103 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54427 53103 1111 63 0 54364 0
vsize: 217708
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53508 0 0 0 114808 213 0 0 25 0 1 0 902907920 223903744 53339 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54664 53339 1111 63 0 54601 0
vsize: 218656
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53698 0 0 0 115807 213 0 0 25 0 1 0 902907920 224645120 53529 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54845 53529 1111 63 0 54782 0
vsize: 219380
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53957 0 0 0 116807 214 0 0 25 0 1 0 902907920 225726464 53788 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55109 53788 1111 63 0 55046 0
vsize: 220436
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.99 0.92 1/53 1824
Raw data (stat): 1822 (bsolo_lpr_cuts-) R 1821 21152 21151 0 -1 0 53957 0 0 0 116807 214 0 0 25 0 1 0 902907920 225726464 53788 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55109 53788 1111 63 0 55046 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.17
CPU user time (s): 1172.92
CPU system time (s): 2.25366
CPU usage (%): 100.013
Max. virtual memory (Kb): 220436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####