PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 15:52:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28650 boxname=wulflinc6 idbench=36 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  fe97068efc5fde8cbd48a084444e76d6  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga14_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga14_14_sat_pb.cnf.cr.opb
IDLAUNCH: 28650
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        603072 kB
Buffers:         29808 kB
Cached:         380856 kB
SwapCached:        940 kB
Active:          44804 kB
Inactive:       367864 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        602820 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13216 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:11:42 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28650 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 294 variables and 238 constraints.
c After prepocess the problem consists of 294 variables and 238 constraints.
c preprocess terminated 0.174 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 32276
Raw data (stat): 32276 (runsolver) R 32275 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902856736 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 3506 0 0 0 987 11 0 0 25 0 1 0 902856736 17510400 3424 4294967295 134512640 134716908 3221224560 3221222964 134699551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4275 3424 1111 63 0 4212 0
vsize: 17100
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 5692 0 0 0 1980 17 0 0 25 0 1 0 902856736 26431488 5610 4294967295 134512640 134716908 3221224560 3221223048 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 5610 1111 63 0 6390 0
vsize: 25812
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 7059 0 0 0 2976 22 0 0 25 0 1 0 902856736 31985664 6977 4294967295 134512640 134716908 3221224560 3221223164 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7809 6977 1111 63 0 7746 0
vsize: 31236
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 8260 0 0 0 3971 28 0 0 25 0 1 0 902856736 37003264 8178 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9034 8178 1111 63 0 8971 0
vsize: 36136
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 9171 0 0 0 4969 30 0 0 25 0 1 0 902856736 40837120 9084 4294967295 134512640 134716908 3221224560 3221223296 134535832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9970 9084 1111 63 0 9907 0
vsize: 39880
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 10120 0 0 0 5965 34 0 0 25 0 1 0 902856736 44814336 10033 4294967295 134512640 134716908 3221224560 3221223160 134549857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10941 10033 1111 63 0 10878 0
vsize: 43764
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 11193 0 0 0 6962 38 0 0 25 0 1 0 902856736 49139712 11106 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11997 11106 1111 63 0 11934 0
vsize: 47988
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 11891 0 0 0 7959 41 0 0 25 0 1 0 902856736 51994624 11804 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12694 11804 1111 63 0 12631 0
vsize: 50776
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 12643 0 0 0 8957 43 0 0 25 0 1 0 902856736 55128064 12555 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13459 12555 1111 63 0 13396 0
vsize: 53836
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 13531 0 0 0 9955 46 0 0 25 0 1 0 902856736 58777600 13443 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14350 13443 1111 63 0 14287 0
vsize: 57400
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 14396 0 0 0 10952 49 0 0 25 0 1 0 902856736 62296064 14306 4294967295 134512640 134716908 3221224560 3221223264 134535810 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15209 14306 1111 63 0 15146 0
vsize: 60836
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 15264 0 0 0 11949 52 0 0 25 0 1 0 902856736 65806336 15174 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16066 15174 1111 63 0 16003 0
vsize: 64264
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 15895 0 0 0 12947 55 0 0 25 0 1 0 902856736 68427776 15803 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16706 15803 1111 63 0 16643 0
vsize: 66824
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 16398 0 0 0 13945 57 0 0 25 0 1 0 902856736 70660096 16305 4294967295 134512640 134716908 3221224560 3221223168 134523393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17251 16305 1111 63 0 17188 0
vsize: 69004
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 17836 0 0 0 14940 62 0 0 25 0 1 0 902856736 76505088 17742 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18678 17742 1111 63 0 18615 0
vsize: 74712
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 19063 0 0 0 15936 67 0 0 25 0 1 0 902856736 81506304 18969 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19899 18969 1111 63 0 19836 0
vsize: 79596
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 20312 0 0 0 16932 72 0 0 25 0 1 0 902856736 86642688 20218 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21153 20218 1111 63 0 21090 0
vsize: 84612
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 21011 0 0 0 17930 74 0 0 25 0 1 0 902856736 89489408 20917 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21848 20917 1111 63 0 21785 0
vsize: 87392
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 21751 0 0 0 18928 77 0 0 25 0 1 0 902856736 92626944 21657 4294967295 134512640 134716908 3221224560 3221223316 134592437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22614 21657 1111 63 0 22551 0
vsize: 90456
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 22667 0 0 0 19924 80 0 0 25 0 1 0 902856736 96411648 22573 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23538 22573 1111 63 0 23475 0
vsize: 94152
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 23416 0 0 0 20922 83 0 0 25 0 1 0 902856736 99524608 23322 4294967295 134512640 134716908 3221224560 3221223104 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24298 23322 1111 63 0 24235 0
vsize: 97192
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 24164 0 0 0 21920 86 0 0 25 0 1 0 902856736 102498304 24070 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25024 24070 1111 63 0 24961 0
vsize: 100096
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 24749 0 0 0 22918 88 0 0 25 0 1 0 902856736 104873984 24651 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25604 24651 1111 63 0 25541 0
vsize: 102416
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 25085 0 0 0 23918 89 0 0 25 0 1 0 902856736 106254336 24985 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25941 24985 1111 63 0 25878 0
vsize: 103764
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 25541 0 0 0 24915 91 0 0 25 0 1 0 902856736 108183552 25441 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26412 25441 1111 63 0 26349 0
vsize: 105648
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 26100 0 0 0 25914 93 0 0 25 0 1 0 902856736 110444544 25999 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 25999 1111 63 0 26901 0
vsize: 107856
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 27130 0 0 0 26911 96 0 0 25 0 1 0 902856736 114692096 27028 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28001 27028 1111 63 0 27938 0
vsize: 112004
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 27988 0 0 0 27908 100 0 0 25 0 1 0 902856736 118218752 27885 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28862 27885 1111 63 0 28799 0
vsize: 115448
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 28925 0 0 0 28906 103 0 0 25 0 1 0 902856736 122138624 28822 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29819 28822 1111 63 0 29756 0
vsize: 119276
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 29538 0 0 0 29904 104 0 0 25 0 1 0 902856736 124600320 29435 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30420 29435 1111 63 0 30357 0
vsize: 121680
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 30084 0 0 0 30902 107 0 0 25 0 1 0 902856736 126898176 29981 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30981 29981 1111 63 0 30918 0
vsize: 123924
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 30585 0 0 0 31901 108 0 0 25 0 1 0 902856736 128925696 30482 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31476 30482 1111 63 0 31413 0
vsize: 125904
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 31029 0 0 0 32899 111 0 0 25 0 1 0 902856736 130686976 30926 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31906 30926 1111 63 0 31843 0
vsize: 127624
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 31444 0 0 0 33898 112 0 0 25 0 1 0 902856736 132341760 31339 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32310 31339 1111 63 0 32247 0
vsize: 129240
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 31934 0 0 0 34896 114 0 0 25 0 1 0 902856736 134377472 31829 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32807 31829 1111 63 0 32744 0
vsize: 131228
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 32554 0 0 0 35894 117 0 0 25 0 1 0 902856736 136998912 32449 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33447 32449 1111 63 0 33384 0
vsize: 133788
[startup+370.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 32872 0 0 0 36893 118 0 0 25 0 1 0 902856736 138350592 32766 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33777 32766 1111 63 0 33714 0
vsize: 135108
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 33328 0 0 0 37891 121 0 0 25 0 1 0 902856736 140247040 33222 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34240 33222 1111 63 0 34177 0
vsize: 136960
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 33782 0 0 0 38890 122 0 0 25 0 1 0 902856736 142237696 33675 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34726 33675 1111 63 0 34663 0
vsize: 138904
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 34192 0 0 0 39889 124 0 0 25 0 1 0 902856736 144056320 34085 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35170 34085 1111 63 0 35107 0
vsize: 140680
[startup+410.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 34630 0 0 0 40888 125 0 0 25 0 1 0 902856736 145887232 34519 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35617 34519 1111 63 0 35554 0
vsize: 142468
[startup+420.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 35117 0 0 0 41887 127 0 0 25 0 1 0 902856736 147922944 35005 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36114 35005 1111 63 0 36051 0
vsize: 144456
[startup+430.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 35938 0 0 0 42883 131 0 0 25 0 1 0 902856736 151203840 35822 4294967295 134512640 134716908 3221224560 3221223256 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36915 35822 1111 63 0 36852 0
vsize: 147660
[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 36823 0 0 0 43880 134 0 0 25 0 1 0 902856736 154882048 36703 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37813 36703 1111 63 0 37750 0
vsize: 151252
[startup+450.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 37593 0 0 0 44877 137 0 0 25 0 1 0 902856736 158126080 37473 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38605 37473 1111 63 0 38542 0
vsize: 154420
[startup+460.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 38168 0 0 0 45875 140 0 0 25 0 1 0 902856736 160423936 38048 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39166 38048 1111 63 0 39103 0
vsize: 156664
[startup+470.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32276
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 38542 0 0 0 46874 142 0 0 25 0 1 0 902856736 161906688 38421 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39528 38421 1111 63 0 39465 0
vsize: 158112
[startup+480.031 s]
Raw data (loadavg): 1.07 1.00 0.94 3/57 32325
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 38937 0 0 0 47873 143 0 0 25 0 1 0 902856736 163536896 38816 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39926 38816 1111 63 0 39863 0
vsize: 159704
[startup+490.032 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 39230 0 0 0 48873 143 0 0 25 0 1 0 902856736 164753408 39109 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40223 39109 1111 63 0 40160 0
vsize: 160892
[startup+500.033 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 39817 0 0 0 49872 145 0 0 25 0 1 0 902856736 167243776 39696 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40831 39696 1111 63 0 40768 0
vsize: 163324
[startup+510.034 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 40543 0 0 0 50870 147 0 0 25 0 1 0 902856736 170217472 40422 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41557 40422 1111 63 0 41494 0
vsize: 166228
[startup+520.035 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 41238 0 0 0 51868 150 0 0 25 0 1 0 902856736 173056000 41116 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42250 41116 1111 63 0 42187 0
vsize: 169000
[startup+530.036 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 41940 0 0 0 52866 152 0 0 25 0 1 0 902856736 175890432 41818 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42942 41818 1111 63 0 42879 0
vsize: 171768
[startup+540.037 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 42578 0 0 0 53864 155 0 0 25 0 1 0 902856736 178462720 42455 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43570 42455 1111 63 0 43507 0
vsize: 174280
[startup+550.037 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 32329
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 42966 0 0 0 54863 156 0 0 25 0 1 0 902856736 180084736 42843 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43966 42843 1111 63 0 43903 0
vsize: 175864
[startup+560.038 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 43337 0 0 0 55862 158 0 0 25 0 1 0 902856736 181764096 43213 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44376 43213 1111 63 0 44313 0
vsize: 177504
[startup+570.039 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 43703 0 0 0 56860 159 0 0 25 0 1 0 902856736 183119872 43579 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44707 43579 1111 63 0 44644 0
vsize: 178828
[startup+580.039 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 44123 0 0 0 57859 161 0 0 25 0 1 0 902856736 184877056 43999 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45136 43999 1111 63 0 45073 0
vsize: 180544
[startup+590.041 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 44347 0 0 0 58859 162 0 0 25 0 1 0 902856736 185831424 44223 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45369 44223 1111 63 0 45306 0
vsize: 181476
[startup+600.042 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 44507 0 0 0 59858 163 0 0 25 0 1 0 902856736 186380288 44383 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45503 44383 1111 63 0 45440 0
vsize: 182012
[startup+610.042 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 45066 0 0 0 60856 166 0 0 25 0 1 0 902856736 188719104 44941 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46074 44941 1111 63 0 46011 0
vsize: 184296
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 45525 0 0 0 61854 168 0 0 25 0 1 0 902856736 190611456 45400 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46536 45400 1111 63 0 46473 0
vsize: 186144
[startup+630.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 45765 0 0 0 62853 169 0 0 25 0 1 0 902856736 191557632 45640 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46767 45640 1111 63 0 46704 0
vsize: 187068
[startup+640.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 46076 0 0 0 63852 170 0 0 25 0 1 0 902856736 192770048 45951 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47063 45951 1111 63 0 47000 0
vsize: 188252
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 46310 0 0 0 64851 172 0 0 25 0 1 0 902856736 193716224 46185 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47294 46185 1111 63 0 47231 0
vsize: 189176
[startup+660.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 46581 0 0 0 65850 173 0 0 25 0 1 0 902856736 194932736 46456 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47591 46456 1111 63 0 47528 0
vsize: 190364
[startup+670.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 47142 0 0 0 66848 175 0 0 25 0 1 0 902856736 197378048 47011 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48188 47011 1111 63 0 48125 0
vsize: 192752
[startup+680.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 47604 0 0 0 67847 177 0 0 25 0 1 0 902856736 199270400 47473 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48650 47473 1111 63 0 48587 0
vsize: 194600
[startup+690.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 47829 0 0 0 68847 178 0 0 25 0 1 0 902856736 200146944 47698 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48864 47698 1111 63 0 48801 0
vsize: 195456
[startup+700.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 48089 0 0 0 69846 179 0 0 25 0 1 0 902856736 201330688 47953 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49153 47953 1111 63 0 49090 0
vsize: 196612
[startup+710.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 48276 0 0 0 70845 180 0 0 25 0 1 0 902856736 202022912 48140 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49322 48140 1111 63 0 49259 0
vsize: 197288
[startup+720.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 48579 0 0 0 71844 181 0 0 25 0 1 0 902856736 203329536 48437 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49641 48437 1111 63 0 49578 0
vsize: 198564
[startup+730.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 48811 0 0 0 72844 182 0 0 25 0 1 0 902856736 204275712 48666 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49872 48666 1111 63 0 49809 0
vsize: 199488
[startup+740.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 49044 0 0 0 73843 183 0 0 25 0 1 0 902856736 205393920 48899 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50145 48899 1111 63 0 50082 0
vsize: 200580
[startup+750.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 49398 0 0 0 74843 184 0 0 25 0 1 0 902856736 206790656 49250 4294967295 134512640 134716908 3221224560 3221223056 134535424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50486 49250 1111 63 0 50423 0
vsize: 201944
[startup+760.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 49691 0 0 0 75842 185 0 0 25 0 1 0 902856736 208048128 49543 4294967295 134512640 134716908 3221224560 3221223280 134535757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50793 49543 1111 63 0 50730 0
vsize: 203172
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 49872 0 0 0 76841 186 0 0 25 0 1 0 902856736 208723968 49724 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50958 49724 1111 63 0 50895 0
vsize: 203832
[startup+780.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 50039 0 0 0 77841 186 0 0 25 0 1 0 902856736 209399808 49890 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51123 49890 1111 63 0 51060 0
vsize: 204492
[startup+790.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32331
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 50189 0 0 0 78841 187 0 0 25 0 1 0 902856736 209985536 50036 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51266 50036 1111 63 0 51203 0
vsize: 205064
[startup+800.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 50367 0 0 0 79841 188 0 0 25 0 1 0 902856736 210849792 50212 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51477 50212 1111 63 0 51414 0
vsize: 205908
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 50656 0 0 0 80840 188 0 0 25 0 1 0 902856736 211943424 50501 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51744 50501 1111 63 0 51681 0
vsize: 206976
[startup+820.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 50904 0 0 0 81839 190 0 0 25 0 1 0 902856736 213028864 50749 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52009 50749 1111 63 0 51946 0
vsize: 208036
[startup+830.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 51063 0 0 0 82839 190 0 0 25 0 1 0 902856736 213569536 50908 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52141 50908 1111 63 0 52078 0
vsize: 208564
[startup+840.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 51193 0 0 0 83839 191 0 0 25 0 1 0 902856736 214147072 51034 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52282 51034 1111 63 0 52219 0
vsize: 209128
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 51412 0 0 0 84838 191 0 0 25 0 1 0 902856736 215105536 51248 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52516 51248 1111 63 0 52453 0
vsize: 210064
[startup+860.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 51669 0 0 0 85837 192 0 0 25 0 1 0 902856736 216252416 51503 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52796 51503 1111 63 0 52733 0
vsize: 211184
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 51915 0 0 0 86837 193 0 0 25 0 1 0 902856736 217206784 51749 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53029 51749 1111 63 0 52966 0
vsize: 212116
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 52159 0 0 0 87836 194 0 0 25 0 1 0 902856736 218214400 51991 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53275 51991 1111 63 0 53212 0
vsize: 213100
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 52397 0 0 0 88835 195 0 0 25 0 1 0 902856736 219394048 52228 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53563 52228 1111 63 0 53500 0
vsize: 214252
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 52722 0 0 0 89835 197 0 0 25 0 1 0 902856736 220844032 52553 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53917 52553 1111 63 0 53854 0
vsize: 215668
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 52980 0 0 0 90834 198 0 0 25 0 1 0 902856736 221929472 52811 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54182 52811 1111 63 0 54119 0
vsize: 216728
[startup+920.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 53200 0 0 0 91833 198 0 0 25 0 1 0 902856736 222744576 53031 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54381 53031 1111 63 0 54318 0
vsize: 217524
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 53531 0 0 0 92832 200 0 0 25 0 1 0 902856736 224161792 53359 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54727 53359 1111 63 0 54664 0
vsize: 218908
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 53892 0 0 0 93831 201 0 0 25 0 1 0 902856736 225656832 53720 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55092 53720 1111 63 0 55029 0
vsize: 220368
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 54264 0 0 0 94830 202 0 0 25 0 1 0 902856736 227319808 54091 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55498 54091 1111 63 0 55435 0
vsize: 221992
[startup+960.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 54561 0 0 0 95829 203 0 0 25 0 1 0 902856736 228601856 54380 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55811 54380 1111 63 0 55748 0
vsize: 223244
[startup+970.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 54837 0 0 0 96828 205 0 0 25 0 1 0 902856736 229683200 54656 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56075 54656 1111 63 0 56012 0
vsize: 224300
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 55090 0 0 0 97828 205 0 0 25 0 1 0 902856736 230637568 54909 4294967295 134512640 134716908 3221224560 3221223168 134523193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56308 54909 1111 63 0 56245 0
vsize: 225232
[startup+990.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 55333 0 0 0 98827 207 0 0 25 0 1 0 902856736 231653376 55143 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56556 55143 1111 63 0 56493 0
vsize: 226224
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 55548 0 0 0 99827 207 0 0 25 0 1 0 902856736 232685568 55350 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56808 55350 1111 63 0 56745 0
vsize: 227232
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 55746 0 0 0 100826 208 0 0 25 0 1 0 902856736 233594880 55539 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57030 55539 1111 63 0 56967 0
vsize: 228120
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 56084 0 0 0 101826 209 0 0 25 0 1 0 902856736 235204608 55868 4294967295 134512640 134716908 3221224560 3221223136 134549807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57423 55868 1111 63 0 57360 0
vsize: 229692
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 56285 0 0 0 102825 210 0 0 25 0 1 0 902856736 235880448 56069 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57588 56069 1111 63 0 57525 0
vsize: 230352
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 56479 0 0 0 103825 211 0 0 25 0 1 0 902856736 236756992 56263 4294967295 134512640 134716908 3221224560 3221223248 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57802 56263 1111 63 0 57739 0
vsize: 231208
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 56711 0 0 0 104824 212 0 0 25 0 1 0 902856736 237846528 56495 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58068 56495 1111 63 0 58005 0
vsize: 232272
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 56921 0 0 0 105824 212 0 0 25 0 1 0 902856736 238673920 56701 4294967295 134512640 134716908 3221224560 3221223156 134549856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58270 56701 1111 63 0 58207 0
vsize: 233080
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 57154 0 0 0 106823 213 0 0 25 0 1 0 902856736 239484928 56934 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58468 56934 1111 63 0 58405 0
vsize: 233872
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 57371 0 0 0 107822 214 0 0 25 0 1 0 902856736 240500736 57143 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58716 57143 1111 63 0 58653 0
vsize: 234864
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 57600 0 0 0 108822 215 0 0 25 0 1 0 902856736 241446912 57372 4294967295 134512640 134716908 3221224560 3221223232 134542934 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58947 57372 1111 63 0 58884 0
vsize: 235788
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 57815 0 0 0 109822 215 0 0 25 0 1 0 902856736 242323456 57579 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59161 57579 1111 63 0 59098 0
vsize: 236644
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 57951 0 0 0 110822 216 0 0 25 0 1 0 902856736 242864128 57715 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59293 57715 1111 63 0 59230 0
vsize: 237172
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58093 0 0 0 111821 216 0 0 25 0 1 0 902856736 243445760 57857 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59435 57857 1111 63 0 59372 0
vsize: 237740
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58237 0 0 0 112821 217 0 0 25 0 1 0 902856736 244076544 57999 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59589 57999 1111 63 0 59526 0
vsize: 238356
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58446 0 0 0 113821 218 0 0 25 0 1 0 902856736 245104640 58205 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59840 58205 1111 63 0 59777 0
vsize: 239360
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58615 0 0 0 114820 218 0 0 25 0 1 0 902856736 245981184 58373 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60054 58373 1111 63 0 59991 0
vsize: 240216
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58707 0 0 0 115820 219 0 0 25 0 1 0 902856736 246280192 58462 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60127 58462 1111 63 0 60064 0
vsize: 240508
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58846 0 0 0 116820 219 0 0 25 0 1 0 902856736 246853632 58598 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60267 58598 1111 63 0 60204 0
vsize: 241068
[startup+1174.76 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 32333
Raw data (stat): 32276 (bsolo_lpr_cuts-) R 32275 25568 25567 0 -1 0 58846 0 0 0 116820 219 0 0 25 0 1 0 902856736 246853632 58598 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60267 58598 1111 63 0 60204 0
vsize: 0

Child status: 0
Real time (s): 1174.76
CPU time (s): 1175.13
CPU user time (s): 1172.82
CPU system time (s): 2.30365
CPU usage (%): 100.031
Max. virtual memory (Kb): 241068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####