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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 40842

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 22:50:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28896 boxname=wulflinc6 idbench=282 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc6/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 28896
/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:        877008 kB
Buffers:         30764 kB
Cached:         104748 kB
SwapCached:       1304 kB
Active:          51312 kB
Inactive:        86600 kB
HighTotal:      131008 kB
HighFree:        42084 kB
LowTotal:       903652 kB
LowFree:        834924 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            13864 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 23:08:07 (client local time) WITH STATUS 0 IN 1047.16 SECONDS
stats: 28896 7 1047.16 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 201731 variables and 592525 constraints.
#### 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.97 0.91 1/54 3574
Raw data (stat): 3574 (runsolver) R 3573 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905368386 884736 94 4294967295 134512640 135332820 3221224432 3221219612 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.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 22458 0 0 0 946 52 0 0 25 0 1 0 905368386 43237376 7205 4294967295 134512640 134716908 3221224544 3221222808 1077294281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10510 7191 1111 63 0 10447 0
vsize: 42224
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 115141 0 0 0 1778 220 0 0 25 0 1 0 905368386 60518400 11468 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14775 11476 1111 63 0 14712 0
vsize: 59100
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 336057 0 0 0 2384 615 0 0 25 0 1 0 905368386 71221248 14011 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17388 14019 1111 63 0 17325 0
vsize: 69552
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 555093 0 0 0 2990 1009 0 0 25 0 1 0 905368386 79917056 16178 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19467 16139 1111 63 0 19404 0
vsize: 78044
[startup+50.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 775517 0 0 0 3593 1406 0 0 25 0 1 0 905368386 87932928 18141 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21419 18093 1111 63 0 21356 0
vsize: 85872
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 991917 0 0 0 4207 1792 0 0 25 0 1 0 905368386 94998528 19846 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23193 19852 1111 63 0 23130 0
vsize: 92772
[startup+70.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 1208995 0 0 0 4814 2185 0 0 25 0 1 0 905368386 102584320 21667 4294967295 134512640 134716908 3221224544 3221222588 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25045 21673 1111 63 0 24982 0
vsize: 100180
[startup+80.0012 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 1422733 0 0 0 5423 2577 0 0 25 0 1 0 905368386 108699648 23209 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26538 23215 1111 63 0 26475 0
vsize: 106152
[startup+90.0013 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 1635452 0 0 0 6027 2974 0 0 25 0 1 0 905368386 114409472 24634 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27932 24640 1111 63 0 27869 0
vsize: 111728
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 1841101 0 0 0 6641 3360 0 0 25 0 1 0 905368386 119840768 25920 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29258 25925 1111 63 0 29195 0
vsize: 117032
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 2045271 0 0 0 7256 3745 0 0 25 0 1 0 905368386 125341696 27141 4294967295 134512640 134716908 3221224544 3221221020 1077197996 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30671 27144 1111 63 0 30608 0
vsize: 122404
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 2249571 0 0 0 7862 4140 0 0 25 0 1 0 905368386 130650112 28381 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31897 28387 1111 63 0 31834 0
vsize: 127588
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 2453365 0 0 0 8470 4532 0 0 25 0 1 0 905368386 135274496 29510 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33026 29516 1111 63 0 32963 0
vsize: 132104
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 2655786 0 0 0 9086 4916 0 0 25 0 1 0 905368386 139440128 30586 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34043 30586 1111 63 0 33980 0
vsize: 136172
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 2855401 0 0 0 9701 5301 0 0 25 0 1 0 905368386 143966208 31691 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35148 31696 1111 63 0 35085 0
vsize: 140592
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 3053962 0 0 0 10309 5694 0 0 25 0 1 0 905368386 148045824 32649 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36144 32655 1111 63 0 36081 0
vsize: 144576
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 3251563 0 0 0 10925 6078 0 0 25 0 1 0 905368386 151769088 33620 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37053 33620 1111 63 0 36990 0
vsize: 148212
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 3448444 0 0 0 11536 6468 0 0 25 0 1 0 905368386 155561984 34561 4294967295 134512640 134716908 3221224544 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38066 34564 1111 63 0 38003 0
vsize: 151916
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 3645505 0 0 0 12145 6858 0 0 25 0 1 0 905368386 159723520 35545 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38995 35550 1111 63 0 38932 0
vsize: 155980
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 3841014 0 0 0 12751 7253 0 0 25 0 1 0 905368386 163397632 36446 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39892 36451 1111 63 0 39829 0
vsize: 159568
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4036879 0 0 0 13372 7633 0 0 25 0 1 0 905368386 166551552 37263 4294967295 134512640 134716908 3221224544 3221222824 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40755 37267 1111 63 0 40692 0
vsize: 162648
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4230337 0 0 0 13976 8029 0 0 25 0 1 0 905368386 170463232 38161 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41617 38166 1111 63 0 41554 0
vsize: 166468
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4423803 0 0 0 14580 8425 0 0 25 0 1 0 905368386 173723648 38980 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42413 38985 1111 63 0 42350 0
vsize: 169652
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4616091 0 0 0 15195 8810 0 0 25 0 1 0 905368386 177119232 39770 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43242 39775 1111 63 0 43179 0
vsize: 172968
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4807510 0 0 0 15806 9200 0 0 25 0 1 0 905368386 179830784 40540 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43904 40540 1111 63 0 43841 0
vsize: 175616
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 4999476 0 0 0 16424 9582 0 0 25 0 1 0 905368386 183504896 41328 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44801 41334 1111 63 0 44738 0
vsize: 179204
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 5190606 0 0 0 17039 9967 0 0 25 0 1 0 905368386 186634240 42080 4294967295 134512640 134716908 3221224544 3221222588 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45565 42086 1111 63 0 45502 0
vsize: 182260
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 5382785 0 0 0 17653 10354 0 0 25 0 1 0 905368386 191303680 43311 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46705 43316 1111 63 0 46642 0
vsize: 186820
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 5572199 0 0 0 18272 10735 0 0 25 0 1 0 905368386 194293760 44027 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47435 44031 1111 63 0 47372 0
vsize: 189740
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 5761326 0 0 0 18890 11117 0 0 25 0 1 0 905368386 197283840 44714 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48165 44719 1111 63 0 48102 0
vsize: 192660
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 5950365 0 0 0 19495 11512 0 0 25 0 1 0 905368386 200138752 45409 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48862 45414 1111 63 0 48799 0
vsize: 195448
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 6140324 0 0 0 20112 11896 0 0 25 0 1 0 905368386 202989568 46163 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49558 46168 1111 63 0 49495 0
vsize: 198232
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 6328424 0 0 0 20721 12287 0 0 25 0 1 0 905368386 205709312 46857 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50222 46861 1111 63 0 50159 0
vsize: 200888
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 6518110 0 0 0 21332 12677 0 0 25 0 1 0 905368386 208420864 47483 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50884 47488 1111 63 0 50821 0
vsize: 203536
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 6707859 0 0 0 21944 13065 0 0 25 0 1 0 905368386 211140608 48122 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51548 48128 1111 63 0 51485 0
vsize: 206192
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 6896547 0 0 0 22558 13451 0 0 25 0 1 0 905368386 213864448 48814 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52213 48819 1111 63 0 52150 0
vsize: 208852
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 7084988 0 0 0 23183 13827 0 0 25 0 1 0 905368386 216440832 49486 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52842 49491 1111 63 0 52779 0
vsize: 211368
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 7272314 0 0 0 23798 14212 0 0 25 0 1 0 905368386 218660864 50064 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53384 50064 1111 63 0 53321 0
vsize: 213536
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 7460233 0 0 0 24416 14595 0 0 25 0 1 0 905368386 221605888 50718 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54103 50723 1111 63 0 54040 0
vsize: 216412
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 7648095 0 0 0 25036 14975 0 0 25 0 1 0 905368386 224194560 51424 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54735 51429 1111 63 0 54672 0
vsize: 218940
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 7836422 0 0 0 25646 15365 0 0 25 0 1 0 905368386 226635776 51922 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55331 51928 1111 63 0 55268 0
vsize: 221324
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8024392 0 0 0 26264 15748 0 0 25 0 1 0 905368386 230748160 52551 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56335 52556 1111 63 0 56272 0
vsize: 225340
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8210819 0 0 0 26880 16132 0 0 25 0 1 0 905368386 233197568 53164 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56933 53168 1111 63 0 56870 0
vsize: 227732
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8397657 0 0 0 27498 16514 0 0 25 0 1 0 905368386 235638784 53790 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57529 53796 1111 63 0 57466 0
vsize: 230116
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8583845 0 0 0 28122 16891 0 0 25 0 1 0 905368386 238088192 54382 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58127 54387 1111 63 0 58064 0
vsize: 232508
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8770677 0 0 0 28743 17270 0 0 25 0 1 0 905368386 240394240 54978 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58690 54983 1111 63 0 58627 0
vsize: 234760
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 8956839 0 0 0 29361 17652 0 0 25 0 1 0 905368386 242835456 55564 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59286 55568 1111 63 0 59223 0
vsize: 237144
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 9142859 0 0 0 29975 18039 0 0 25 0 1 0 905368386 244588544 56071 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59714 56071 1111 63 0 59651 0
vsize: 238856
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 9329557 0 0 0 30588 18425 0 0 25 0 1 0 905368386 247455744 56696 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60414 56701 1111 63 0 60351 0
vsize: 241656
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 9516022 0 0 0 31212 18802 0 0 25 0 1 0 905368386 249196544 57209 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60839 57209 1111 63 0 60776 0
vsize: 243356
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 9704647 0 0 0 31826 19188 0 0 25 0 1 0 905368386 252084224 57890 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61544 57890 1111 63 0 61481 0
vsize: 246176
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 9893511 0 0 0 32435 19580 0 0 25 0 1 0 905368386 254525440 58440 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62140 58445 1111 63 0 62077 0
vsize: 248560
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 10082617 0 0 0 33046 19969 0 0 25 0 1 0 905368386 256696320 59019 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62670 59024 1111 63 0 62607 0
vsize: 250680
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 10273277 0 0 0 33660 20355 0 0 25 0 1 0 905368386 258867200 59528 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63200 59533 1111 63 0 63137 0
vsize: 252800
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 10463846 0 0 0 34266 20749 0 0 25 0 1 0 905368386 261046272 60123 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63732 60128 1111 63 0 63669 0
vsize: 254928
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3574
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 10653063 0 0 0 34890 21126 0 0 25 0 1 0 905368386 263217152 60650 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64262 60655 1111 63 0 64199 0
vsize: 257048
[startup+570.01 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 10842888 0 0 0 35507 21509 0 0 25 0 1 0 905368386 265388032 61118 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64792 61123 1111 63 0 64729 0
vsize: 259168
[startup+580.01 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11030526 0 0 0 36127 21889 0 0 25 0 1 0 905368386 267558912 61581 4294967295 134512640 134716908 3221224544 3221222848 134568040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65322 61581 1111 63 0 65259 0
vsize: 261288
[startup+590.01 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11219582 0 0 0 36747 22270 0 0 25 0 1 0 905368386 269737984 62218 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65854 62223 1111 63 0 65791 0
vsize: 263416
[startup+600.011 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11409150 0 0 0 37357 22660 0 0 25 0 1 0 905368386 271908864 62762 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66384 62767 1111 63 0 66321 0
vsize: 265536
[startup+610.011 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11598502 0 0 0 37978 23040 0 0 25 0 1 0 905368386 273944576 63145 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66881 63151 1111 63 0 66818 0
vsize: 267524
[startup+620.012 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11788925 0 0 0 38585 23433 0 0 25 0 1 0 905368386 275984384 63760 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67379 63765 1111 63 0 67316 0
vsize: 269516
[startup+630.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 3627
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 11978011 0 0 0 39203 23815 0 0 25 0 1 0 905368386 278032384 64204 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67879 64209 1111 63 0 67816 0
vsize: 271516
[startup+640.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 12165660 0 0 0 39824 24194 0 0 25 0 1 0 905368386 280068096 64768 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68376 64773 1111 63 0 68313 0
vsize: 273504
[startup+650.012 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 12353943 0 0 0 40447 24571 0 0 25 0 1 0 905368386 282238976 65226 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68906 65231 1111 63 0 68843 0
vsize: 275624
[startup+660.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 12542413 0 0 0 41062 24956 0 0 25 0 1 0 905368386 284143616 65779 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69371 65784 1111 63 0 69308 0
vsize: 277484
[startup+670.012 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 12730927 0 0 0 41678 25340 0 0 25 0 1 0 905368386 285523968 66148 4294967295 134512640 134716908 3221224544 3221222784 1076648073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69868 66149 1111 63 0 69805 0
vsize: 278832
[startup+680.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 12919724 0 0 0 42301 25718 0 0 25 0 1 0 905368386 288215040 66754 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70365 66759 1111 63 0 70302 0
vsize: 281460
[startup+690.013 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 13108579 0 0 0 42913 26107 0 0 25 0 1 0 905368386 290250752 67234 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70862 67239 1111 63 0 70799 0
vsize: 283448
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 13296269 0 0 0 43534 26485 0 0 25 0 1 0 905368386 291487744 67618 4294967295 134512640 134716908 3221224544 3221222824 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71328 67620 1111 63 0 71265 0
vsize: 284656
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 13484550 0 0 0 44139 26880 0 0 25 0 1 0 905368386 293519360 68091 4294967295 134512640 134716908 3221224544 3221222456 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71825 68093 1111 63 0 71762 0
vsize: 286640
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 13673002 0 0 0 44752 27268 0 0 25 0 1 0 905368386 296095744 68633 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72289 68638 1111 63 0 72226 0
vsize: 289156
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 13862267 0 0 0 45366 27655 0 0 25 0 1 0 905368386 297996288 69072 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72753 69077 1111 63 0 72690 0
vsize: 291012
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14051669 0 0 0 45985 28036 0 0 25 0 1 0 905368386 299900928 69578 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73218 69583 1111 63 0 73155 0
vsize: 292872
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14240631 0 0 0 46602 28419 0 0 25 0 1 0 905368386 301801472 70102 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73682 70107 1111 63 0 73619 0
vsize: 294728
[startup+760.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14427503 0 0 0 47221 28800 0 0 25 0 1 0 905368386 303566848 70554 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74113 70554 1111 63 0 74050 0
vsize: 296452
[startup+770.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14613579 0 0 0 47827 29194 0 0 25 0 1 0 905368386 305471488 70918 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74578 70918 1111 63 0 74515 0
vsize: 298312
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14799884 0 0 0 48437 29585 0 0 25 0 1 0 905368386 307372032 71389 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75042 71389 1111 63 0 74979 0
vsize: 300168
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 14986311 0 0 0 49042 29980 0 0 25 0 1 0 905368386 309272576 71881 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75506 71881 1111 63 0 75443 0
vsize: 302024
[startup+800.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 15172513 0 0 0 49653 30369 0 0 25 0 1 0 905368386 311037952 72412 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75937 72412 1111 63 0 75874 0
vsize: 303748
[startup+810.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 15358435 0 0 0 50268 30755 0 0 25 0 1 0 905368386 312938496 72776 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76401 72776 1111 63 0 76338 0
vsize: 305604
[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 15544144 0 0 0 50881 31142 0 0 25 0 1 0 905368386 314703872 73238 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76832 73238 1111 63 0 76769 0
vsize: 307328
[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 15729994 0 0 0 51489 31534 0 0 25 0 1 0 905368386 316469248 73642 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77263 73642 1111 63 0 77200 0
vsize: 309052
[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 15916350 0 0 0 52106 31918 0 0 25 0 1 0 905368386 318234624 74015 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77694 74016 1111 63 0 77631 0
vsize: 310776
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 16105123 0 0 0 52715 32309 0 0 25 0 1 0 905368386 320008192 74464 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78127 74469 1111 63 0 78064 0
vsize: 312508
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 16293413 0 0 0 53331 32693 0 0 25 0 1 0 905368386 321773568 74973 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78558 74978 1111 63 0 78495 0
vsize: 314232
[startup+870.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 16482057 0 0 0 53953 33071 0 0 25 0 1 0 905368386 323538944 75320 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78989 75326 1111 63 0 78926 0
vsize: 315956
[startup+880.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3629
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 16670166 0 0 0 54565 33460 0 0 25 0 1 0 905368386 324554752 75723 4294967295 134512640 134716908 3221224544 3221222460 1077270207 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79420 75728 1111 63 0 79357 0
vsize: 316948
[startup+890.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 16859091 0 0 0 55173 33852 0 0 25 0 1 0 905368386 326934528 76272 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79818 76276 1111 63 0 79755 0
vsize: 319272
[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17047991 0 0 0 55788 34238 0 0 25 0 1 0 905368386 328699904 76687 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80249 76692 1111 63 0 80186 0
vsize: 320996
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17237127 0 0 0 56403 34623 0 0 25 0 1 0 905368386 330465280 77058 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80680 77063 1111 63 0 80617 0
vsize: 322720
[startup+920.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17425769 0 0 0 57014 35012 0 0 25 0 1 0 905368386 332230656 77603 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81111 77607 1111 63 0 81048 0
vsize: 324444
[startup+930.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17614286 0 0 0 57634 35393 0 0 25 0 1 0 905368386 333860864 77963 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81509 77968 1111 63 0 81446 0
vsize: 326036
[startup+940.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17802402 0 0 0 58247 35780 0 0 25 0 1 0 905368386 335626240 78258 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81940 78264 1111 63 0 81877 0
vsize: 327760
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 17991242 0 0 0 58859 36168 0 0 25 0 1 0 905368386 336474112 78665 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82147 78666 1111 63 0 82084 0
vsize: 328588
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 18180335 0 0 0 59467 36560 0 0 25 0 1 0 905368386 338878464 79105 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82734 79110 1111 63 0 82671 0
vsize: 330936
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 18369564 0 0 0 60086 36941 0 0 25 0 1 0 905368386 339861504 79481 4294967295 134512640 134716908 3221224544 3221222744 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82974 79481 1111 63 0 82911 0
vsize: 331896
[startup+980.022 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 18559137 0 0 0 60706 37322 0 0 25 0 1 0 905368386 342274048 80013 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83563 80018 1111 63 0 83500 0
vsize: 334252
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 18748867 0 0 0 61315 37713 0 0 25 0 1 0 905368386 343908352 80332 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83962 80337 1111 63 0 83899 0
vsize: 335848
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 18937713 0 0 0 61926 38102 0 0 25 0 1 0 905368386 345538560 80765 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84360 80771 1111 63 0 84297 0
vsize: 337440
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 19126865 0 0 0 62551 38478 0 0 25 0 1 0 905368386 347168768 81169 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84758 81174 1111 63 0 84695 0
vsize: 339032
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 19316007 0 0 0 63176 38853 0 0 25 0 1 0 905368386 348798976 81625 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85156 81630 1111 63 0 85093 0
vsize: 340624
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 19504638 0 0 0 63783 39246 0 0 25 0 1 0 905368386 350429184 82046 4294967295 134512640 134716908 3221224544 3221222848 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85554 82052 1111 63 0 85491 0
vsize: 342216
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 19585453 0 0 0 64610 39420 0 0 25 0 1 0 905368386 365715456 85829 4294967295 134512640 134716908 3221224544 3221221020 1077196853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89286 85829 1111 63 0 89223 0
vsize: 357144
[startup+1046.88 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 3631
Raw data (stat): 3574 (bsolo_lpr_cuts-) R 3573 25568 25567 0 -1 0 19585453 0 0 0 64610 39420 0 0 25 0 1 0 905368386 365715456 85829 4294967295 134512640 134716908 3221224544 3221221020 1077196853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89286 85829 1111 63 0 89223 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1046.88
CPU time (s): 1047.16
CPU user time (s): 649.117
CPU system time (s): 398.041
CPU usage (%): 100.026
Max. virtual memory (Kb): 357144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####