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/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-3.opb
MD5SUM	77c89bda49ebcdc0428e1292512864a9
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3080
Optimality of the best value was proved	NO
Number of terms in the objective function	2792
Biggest coefficient in the objective function	1000
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	1385986
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	1000
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	1385986
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07184
Number of variables	3300
Total number of constraints	5284
Number of constraints which are clauses	1364
Number of constraints which are cardinality constraints (but not clauses)	3920
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	220
Trace number 40905

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 01:39:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28971 boxname=wulflinc1 idbench=357 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  77c89bda49ebcdc0428e1292512864a9  /oldhome/oroussel/tmp/wulflinc1/normalized-ws97-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-ws97-3.opb
IDLAUNCH: 28971
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        899244 kB
Buffers:         11872 kB
Cached:          99676 kB
SwapCached:       1128 kB
Active:          24224 kB
Inactive:        89456 kB
HighTotal:      131008 kB
HighFree:        28280 kB
LowTotal:       903652 kB
LowFree:        870964 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5188 kB
Slab:            15992 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 01:59:21 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28971 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3300 variables and 2573 constraints.
c After prepocess the problem consists of 3299 variables and 2135 constraints.
c preprocess terminated 20.682 s
c Initial Lower Bound: 3017
c Lower Bound Elapsed time: 2.604
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.91 0.95 0.90 2/55 28708
Raw data (stat): 28708 (runsolver) R 28707 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 849527076 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 1806 0 0 0 992 5 0 0 25 0 1 0 849527076 10555392 1718 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2577 1718 1111 63 0 2514 0
vsize: 10308
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 1853 0 0 0 1991 6 0 0 25 0 1 0 849527076 10829824 1765 4294967295 134512640 134716908 3221224576 3221223228 134558608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2644 1765 1111 63 0 2581 0
vsize: 10576
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 2929 0 0 0 2985 12 0 0 25 0 1 0 849527076 13500416 2567 4294967295 134512640 134716908 3221224576 3221223084 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3296 2567 1111 63 0 3233 0
vsize: 13184
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 4959 0 0 0 3977 20 0 0 25 0 1 0 849527076 21876736 4597 4294967295 134512640 134716908 3221224576 3221222900 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5341 4597 1111 63 0 5278 0
vsize: 21364
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 6377 0 0 0 4970 27 0 0 25 0 1 0 849527076 27676672 6015 4294967295 134512640 134716908 3221224576 3221223320 134554889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 6015 1111 63 0 6694 0
vsize: 27028
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 7671 0 0 0 5965 33 0 0 25 0 1 0 849527076 32944128 7309 4294967295 134512640 134716908 3221224576 3221223360 134584919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8043 7309 1111 63 0 7980 0
vsize: 32172
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 8829 0 0 0 6961 36 0 0 25 0 1 0 849527076 37670912 8466 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9197 8466 1111 63 0 9134 0
vsize: 36788
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 9738 0 0 0 7956 42 0 0 25 0 1 0 849527076 41467904 9374 4294967295 134512640 134716908 3221224576 3221223072 134699607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10124 9374 1111 63 0 10061 0
vsize: 40496
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 10994 0 0 0 8952 46 0 0 25 0 1 0 849527076 46596096 10630 4294967295 134512640 134716908 3221224576 3221223216 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11376 10630 1111 63 0 11313 0
vsize: 45504
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 12170 0 0 0 9947 51 0 0 25 0 1 0 849527076 51425280 11806 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12555 11806 1111 63 0 12492 0
vsize: 50220
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 12759 0 0 0 10943 55 0 0 25 0 1 0 849527076 53850112 12395 4294967295 134512640 134716908 3221224576 3221223228 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13147 12395 1111 63 0 13084 0
vsize: 52588
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 14064 0 0 0 11937 61 0 0 25 0 1 0 849527076 59252736 13698 4294967295 134512640 134716908 3221224576 3221223072 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14466 13698 1111 63 0 14403 0
vsize: 57864
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 14659 0 0 0 12934 64 0 0 25 0 1 0 849527076 61685760 14293 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15060 14293 1111 63 0 14997 0
vsize: 60240
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 15807 0 0 0 13930 69 0 0 25 0 1 0 849527076 66400256 15441 4294967295 134512640 134716908 3221224576 3221223412 134551465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16211 15441 1111 63 0 16148 0
vsize: 64844
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 16723 0 0 0 14926 73 0 0 25 0 1 0 849527076 70180864 16357 4294967295 134512640 134716908 3221224576 3221223336 134592385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17134 16357 1111 63 0 17071 0
vsize: 68536
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 17669 0 0 0 15923 77 0 0 25 0 1 0 849527076 73953280 17303 4294967295 134512640 134716908 3221224576 3221223196 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18055 17303 1111 63 0 17992 0
vsize: 72220
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 18922 0 0 0 16919 81 0 0 25 0 1 0 849527076 79081472 18556 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19307 18556 1111 63 0 19244 0
vsize: 77228
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 19525 0 0 0 17916 84 0 0 25 0 1 0 849527076 81702912 19157 4294967295 134512640 134716908 3221224576 3221223296 134529281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19947 19157 1111 63 0 19884 0
vsize: 79788
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 20441 0 0 0 18913 86 0 0 25 0 1 0 849527076 85516288 20073 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20878 20073 1111 63 0 20815 0
vsize: 83512
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 21802 0 0 0 19909 91 0 0 25 0 1 0 849527076 91045888 21434 4294967295 134512640 134716908 3221224576 3221223200 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22228 21434 1111 63 0 22165 0
vsize: 88912
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 22678 0 0 0 20905 95 0 0 25 0 1 0 849527076 94691328 22310 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23118 22310 1111 63 0 23055 0
vsize: 92472
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 23762 0 0 0 21901 99 0 0 25 0 1 0 849527076 99147776 23394 4294967295 134512640 134716908 3221224576 3221223120 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24206 23394 1111 63 0 24143 0
vsize: 96824
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 25105 0 0 0 22897 104 0 0 25 0 1 0 849527076 104542208 24737 4294967295 134512640 134716908 3221224576 3221223312 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25523 24737 1111 63 0 25460 0
vsize: 102092
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 26405 0 0 0 23892 108 0 0 25 0 1 0 849527076 109940736 26037 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26841 26037 1111 63 0 26778 0
vsize: 107364
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 27388 0 0 0 24888 112 0 0 25 0 1 0 849527076 113995776 27020 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27831 27020 1111 63 0 27768 0
vsize: 111324
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 28420 0 0 0 25884 117 0 0 25 0 1 0 849527076 118169600 28052 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28850 28052 1111 63 0 28787 0
vsize: 115400
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 29346 0 0 0 26881 120 0 0 25 0 1 0 849527076 121942016 28978 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29771 28978 1111 63 0 29708 0
vsize: 119084
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 30273 0 0 0 27878 124 0 0 25 0 1 0 849527076 125726720 29905 4294967295 134512640 134716908 3221224576 3221223264 134542980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30695 29905 1111 63 0 30632 0
vsize: 122780
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 31043 0 0 0 28875 127 0 0 25 0 1 0 849527076 128897024 30667 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31469 30667 1111 63 0 31406 0
vsize: 125876
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 32188 0 0 0 29870 131 0 0 25 0 1 0 849527076 133656576 31811 4294967295 134512640 134716908 3221224576 3221223112 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32631 31811 1111 63 0 32568 0
vsize: 130524
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 33130 0 0 0 30866 136 0 0 25 0 1 0 849527076 137576448 32749 4294967295 134512640 134716908 3221224576 3221223320 134675289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33588 32749 1111 63 0 33525 0
vsize: 134352
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 34921 0 0 0 31862 140 0 0 25 0 1 0 849527076 144846848 34540 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35363 34540 1111 63 0 35300 0
vsize: 141452
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 35461 0 0 0 32859 143 0 0 25 0 1 0 849527076 147144704 35080 4294967295 134512640 134716908 3221224576 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35924 35080 1111 63 0 35861 0
vsize: 143696
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 36691 0 0 0 33855 147 0 0 25 0 1 0 849527076 152125440 36310 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37140 36310 1111 63 0 37077 0
vsize: 148560
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 37940 0 0 0 34850 153 0 0 25 0 1 0 849527076 157245440 37559 4294967295 134512640 134716908 3221224576 3221223136 134698876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38390 37559 1111 63 0 38327 0
vsize: 153560
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 38441 0 0 0 35849 154 0 0 25 0 1 0 849527076 159297536 38060 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38891 38060 1111 63 0 38828 0
vsize: 155564
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 39790 0 0 0 36844 159 0 0 25 0 1 0 849527076 164831232 39409 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40242 39409 1111 63 0 40179 0
vsize: 160968
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 40372 0 0 0 37842 161 0 0 25 0 1 0 849527076 167256064 39991 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40834 39991 1111 63 0 40771 0
vsize: 163336
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 41353 0 0 0 38839 164 0 0 25 0 1 0 849527076 171167744 40972 4294967295 134512640 134716908 3221224576 3221223304 134528393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41789 40972 1111 63 0 41726 0
vsize: 167156
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 42779 0 0 0 39835 169 0 0 25 0 1 0 849527076 177111040 42398 4294967295 134512640 134716908 3221224576 3221223292 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43240 42399 1111 63 0 43177 0
vsize: 172960
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 44230 0 0 0 40830 174 0 0 25 0 1 0 849527076 183033856 43849 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44686 43849 1111 63 0 44623 0
vsize: 178744
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 44524 0 0 0 41828 176 0 0 25 0 1 0 849527076 184270848 44141 4294967295 134512640 134716908 3221224576 3221223228 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44988 44141 1111 63 0 44925 0
vsize: 179952
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 45227 0 0 0 42825 179 0 0 25 0 1 0 849527076 187121664 44843 4294967295 134512640 134716908 3221224576 3221223240 134613417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45684 44843 1111 63 0 45621 0
vsize: 182736
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 46568 0 0 0 43820 184 0 0 25 0 1 0 849527076 192655360 46184 4294967295 134512640 134716908 3221224576 3221223088 134535471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47035 46184 1111 63 0 46972 0
vsize: 188140
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 48096 0 0 0 44815 190 0 0 25 0 1 0 849527076 198844416 47712 4294967295 134512640 134716908 3221224576 3221223248 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48546 47712 1111 63 0 48483 0
vsize: 194184
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 48346 0 0 0 45814 191 0 0 25 0 1 0 849527076 199913472 47962 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48807 47962 1111 63 0 48744 0
vsize: 195228
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 48776 0 0 0 46812 193 0 0 25 0 1 0 849527076 201650176 48392 4294967295 134512640 134716908 3221224576 3221223176 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49231 48392 1111 63 0 49168 0
vsize: 196924
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 49768 0 0 0 47809 196 0 0 25 0 1 0 849527076 205697024 49384 4294967295 134512640 134716908 3221224576 3221223324 134675288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50219 49384 1111 63 0 50156 0
vsize: 200876
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 50980 0 0 0 48805 201 0 0 25 0 1 0 849527076 210685952 50596 4294967295 134512640 134716908 3221224576 3221223312 134558521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51437 50596 1111 63 0 51374 0
vsize: 205748
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 52135 0 0 0 49800 206 0 0 25 0 1 0 849527076 215416832 51751 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52592 51751 1111 63 0 52529 0
vsize: 210368
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 52385 0 0 0 50799 207 0 0 25 0 1 0 849527076 216395776 51996 4294967295 134512640 134716908 3221224576 3221223236 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52831 51996 1111 63 0 52768 0
vsize: 211324
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 52440 0 0 0 51799 207 0 0 25 0 1 0 849527076 216764416 52047 4294967295 134512640 134716908 3221224576 3221223312 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52921 52047 1111 63 0 52858 0
vsize: 211684
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 52440 0 0 0 52799 207 0 0 25 0 1 0 849527076 216764416 52047 4294967295 134512640 134716908 3221224576 3221223248 134528662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52921 52047 1111 63 0 52858 0
vsize: 211684
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 52531 0 0 0 53798 208 0 0 25 0 1 0 849527076 217165824 52138 4294967295 134512640 134716908 3221224576 3221223188 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53019 52138 1111 63 0 52956 0
vsize: 212076
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 53404 0 0 0 54795 212 0 0 25 0 1 0 849527076 220745728 53010 4294967295 134512640 134716908 3221224576 3221223368 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53893 53011 1111 63 0 53830 0
vsize: 215572
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 54071 0 0 0 55792 214 0 0 25 0 1 0 849527076 223428608 53677 4294967295 134512640 134716908 3221224576 3221223240 134536749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54548 53677 1111 63 0 54485 0
vsize: 218192
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 54997 0 0 0 56788 218 0 0 25 0 1 0 849527076 227332096 54603 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55501 54603 1111 63 0 55438 0
vsize: 222004
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 55211 0 0 0 57787 220 0 0 25 0 1 0 849527076 228212736 54813 4294967295 134512640 134716908 3221224576 3221223344 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55716 54813 1111 63 0 55653 0
vsize: 222864
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 55270 0 0 0 58787 220 0 0 25 0 1 0 849527076 228524032 54872 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55792 54872 1111 63 0 55729 0
vsize: 223168
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 55598 0 0 0 59785 222 0 0 25 0 1 0 849527076 229875712 55200 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56122 55200 1111 63 0 56059 0
vsize: 224488
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 55809 0 0 0 60785 223 0 0 25 0 1 0 849527076 230686720 55411 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56320 55411 1111 63 0 56257 0
vsize: 225280
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 55944 0 0 0 61785 223 0 0 25 0 1 0 849527076 231227392 55546 4294967295 134512640 134716908 3221224576 3221223200 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56452 55546 1111 63 0 56389 0
vsize: 225808
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 56064 0 0 0 62784 223 0 0 25 0 1 0 849527076 231768064 55666 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56584 55666 1111 63 0 56521 0
vsize: 226336
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 56271 0 0 0 63784 224 0 0 25 0 1 0 849527076 232579072 55873 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56782 55873 1111 63 0 56719 0
vsize: 227128
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 56467 0 0 0 64783 225 0 0 25 0 1 0 849527076 233390080 56069 4294967295 134512640 134716908 3221224576 3221223240 134613686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56980 56069 1111 63 0 56917 0
vsize: 227920
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 56756 0 0 0 65782 226 0 0 25 0 1 0 849527076 234471424 56358 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57244 56358 1111 63 0 57181 0
vsize: 228976
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57140 0 0 0 66781 228 0 0 25 0 1 0 849527076 236093440 56742 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57640 56742 1111 63 0 57577 0
vsize: 230560
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57364 0 0 0 67780 229 0 0 25 0 1 0 849527076 237039616 56966 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57871 56966 1111 63 0 57808 0
vsize: 231484
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57505 0 0 0 68779 230 0 0 25 0 1 0 849527076 237576192 57107 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58002 57107 1111 63 0 57939 0
vsize: 232008
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57618 0 0 0 69778 231 0 0 25 0 1 0 849527076 238116864 57220 4294967295 134512640 134716908 3221224576 3221223340 134552557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58134 57220 1111 63 0 58071 0
vsize: 232536
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57750 0 0 0 70777 233 0 0 25 0 1 0 849527076 238649344 57352 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58264 57352 1111 63 0 58201 0
vsize: 233056
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57832 0 0 0 71777 233 0 0 25 0 1 0 849527076 238919680 57434 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58330 57434 1111 63 0 58267 0
vsize: 233320
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57897 0 0 0 72776 234 0 0 25 0 1 0 849527076 239190016 57499 4294967295 134512640 134716908 3221224576 3221223196 134549859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58396 57499 1111 63 0 58333 0
vsize: 233584
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 57958 0 0 0 73775 235 0 0 25 0 1 0 849527076 239460352 57560 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58462 57560 1111 63 0 58399 0
vsize: 233848
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58056 0 0 0 74774 236 0 0 25 0 1 0 849527076 239849472 57658 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58557 57658 1111 63 0 58494 0
vsize: 234228
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58115 0 0 0 75774 236 0 0 25 0 1 0 849527076 240119808 57717 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58623 57717 1111 63 0 58560 0
vsize: 234492
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58170 0 0 0 76773 237 0 0 25 0 1 0 849527076 240254976 57772 4294967295 134512640 134716908 3221224576 3221223204 134698579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58656 57772 1111 63 0 58593 0
vsize: 234624
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58419 0 0 0 77772 239 0 0 25 0 1 0 849527076 241332224 58021 4294967295 134512640 134716908 3221224576 3221223280 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58919 58021 1111 63 0 58856 0
vsize: 235676
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58595 0 0 0 78771 240 0 0 25 0 1 0 849527076 242241536 58179 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59141 58179 1111 63 0 59078 0
vsize: 236564
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 58759 0 0 0 79770 241 0 0 25 0 1 0 849527076 242917376 58343 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59306 58343 1111 63 0 59243 0
vsize: 237224
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 59082 0 0 0 80769 242 0 0 25 0 1 0 849527076 244125696 58666 4294967295 134512640 134716908 3221224576 3221223312 134535844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59601 58666 1111 63 0 59538 0
vsize: 238404
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 59304 0 0 0 81768 244 0 0 25 0 1 0 849527076 245071872 58888 4294967295 134512640 134716908 3221224576 3221223344 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59832 58888 1111 63 0 59769 0
vsize: 239328
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 59414 0 0 0 82767 244 0 0 25 0 1 0 849527076 245473280 58998 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59930 58998 1111 63 0 59867 0
vsize: 239720
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 59791 0 0 0 83766 246 0 0 25 0 1 0 849527076 247091200 59375 4294967295 134512640 134716908 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60325 59375 1111 63 0 60262 0
vsize: 241300
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60044 0 0 0 84764 248 0 0 25 0 1 0 849527076 248168448 59628 4294967295 134512640 134716908 3221224576 3221223520 134576138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60588 59628 1111 63 0 60525 0
vsize: 242352
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60489 0 0 0 85762 250 0 0 25 0 1 0 849527076 249925632 60073 4294967295 134512640 134716908 3221224576 3221223232 134536716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61017 60073 1111 63 0 60954 0
vsize: 244068
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60688 0 0 0 86761 252 0 0 25 0 1 0 849527076 250736640 60272 4294967295 134512640 134716908 3221224576 3221223344 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61215 60272 1111 63 0 61152 0
vsize: 244860
[startup+880.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60778 0 0 0 87760 252 0 0 25 0 1 0 849527076 251142144 60362 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61314 60362 1111 63 0 61251 0
vsize: 245256
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60885 0 0 0 88760 253 0 0 25 0 1 0 849527076 251547648 60469 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61413 60469 1111 63 0 61350 0
vsize: 245652
[startup+900.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 60976 0 0 0 89759 254 0 0 25 0 1 0 849527076 251953152 60560 4294967295 134512640 134716908 3221224576 3221223264 134534129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61512 60560 1111 63 0 61449 0
vsize: 246048
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61090 0 0 0 90759 255 0 0 25 0 1 0 849527076 252358656 60674 4294967295 134512640 134716908 3221224576 3221223132 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61611 60674 1111 63 0 61548 0
vsize: 246444
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61152 0 0 0 91758 255 0 0 25 0 1 0 849527076 252628992 60736 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61677 60736 1111 63 0 61614 0
vsize: 246708
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61210 0 0 0 92758 256 0 0 25 0 1 0 849527076 252895232 60794 4294967295 134512640 134716908 3221224576 3221223228 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61742 60794 1111 63 0 61679 0
vsize: 246968
[startup+940.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61242 0 0 0 93758 256 0 0 25 0 1 0 849527076 253030400 60826 4294967295 134512640 134716908 3221224576 3221223232 1077378566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61775 60826 1111 63 0 61712 0
vsize: 247100
[startup+950.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61278 0 0 0 94757 257 0 0 25 0 1 0 849527076 253165568 60862 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61808 60862 1111 63 0 61745 0
vsize: 247232
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61364 0 0 0 95756 258 0 0 25 0 1 0 849527076 253571072 60948 4294967295 134512640 134716908 3221224576 3221223196 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61907 60948 1111 63 0 61844 0
vsize: 247628
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61691 0 0 0 96755 260 0 0 25 0 1 0 849527076 254922752 61275 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62237 61275 1111 63 0 62174 0
vsize: 248948
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61823 0 0 0 97754 260 0 0 25 0 1 0 849527076 255463424 61407 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62369 61407 1111 63 0 62306 0
vsize: 249476
[startup+990.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 61932 0 0 0 98753 261 0 0 25 0 1 0 849527076 255868928 61516 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62468 61516 1111 63 0 62405 0
vsize: 249872
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62348 0 0 0 99752 263 0 0 25 0 1 0 849527076 257490944 61932 4294967295 134512640 134716908 3221224576 3221223184 134523563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62864 61932 1111 63 0 62801 0
vsize: 251456
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62389 0 0 0 100751 264 0 0 25 0 1 0 849527076 257757184 61973 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62929 61973 1111 63 0 62866 0
vsize: 251716
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62802 0 0 0 101749 266 0 0 25 0 1 0 849527076 259375104 62386 4294967295 134512640 134716908 3221224576 3221223160 134543617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63324 62386 1111 63 0 63261 0
vsize: 253296
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62890 0 0 0 102748 267 0 0 25 0 1 0 849527076 259780608 62474 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63423 62474 1111 63 0 63360 0
vsize: 253692
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62926 0 0 0 103748 267 0 0 25 0 1 0 849527076 259895296 62510 4294967295 134512640 134716908 3221224576 3221223228 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63451 62510 1111 63 0 63388 0
vsize: 253804
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62945 0 0 0 104748 268 0 0 25 0 1 0 849527076 260030464 62529 4294967295 134512640 134716908 3221224576 3221223116 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63484 62529 1111 63 0 63421 0
vsize: 253936
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62982 0 0 0 105747 269 0 0 25 0 1 0 849527076 260165632 62566 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63517 62566 1111 63 0 63454 0
vsize: 254068
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 62986 0 0 0 106747 269 0 0 25 0 1 0 849527076 260165632 62570 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63517 62570 1111 63 0 63454 0
vsize: 254068
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63056 0 0 0 107746 271 0 0 25 0 1 0 849527076 260435968 62640 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63583 62640 1111 63 0 63520 0
vsize: 254332
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63113 0 0 0 108745 271 0 0 25 0 1 0 849527076 260706304 62697 4294967295 134512640 134716908 3221224576 3221223312 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63649 62697 1111 63 0 63586 0
vsize: 254596
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63222 0 0 0 109744 272 0 0 25 0 1 0 849527076 261111808 62806 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63748 62806 1111 63 0 63685 0
vsize: 254992
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63277 0 0 0 110743 273 0 0 25 0 1 0 849527076 261382144 62861 4294967295 134512640 134716908 3221224576 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63814 62861 1111 63 0 63751 0
vsize: 255256
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63509 0 0 0 111742 275 0 0 25 0 1 0 849527076 262291456 63093 4294967295 134512640 134716908 3221224576 3221223168 134549770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64036 63093 1111 63 0 63973 0
vsize: 256144
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63556 0 0 0 112742 275 0 0 25 0 1 0 849527076 262561792 63140 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64102 63140 1111 63 0 64039 0
vsize: 256408
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63582 0 0 0 113741 276 0 0 25 0 1 0 849527076 262561792 63166 4294967295 134512640 134716908 3221224576 3221223344 134592113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64102 63166 1111 63 0 64039 0
vsize: 256408
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63655 0 0 0 114741 276 0 0 25 0 1 0 849527076 262967296 63239 4294967295 134512640 134716908 3221224576 3221223100 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64201 63239 1111 63 0 64138 0
vsize: 256804
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63820 0 0 0 115740 278 0 0 25 0 1 0 849527076 263643136 63404 4294967295 134512640 134716908 3221224576 3221222972 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64366 63404 1111 63 0 64303 0
vsize: 257464
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63861 0 0 0 116740 278 0 0 25 0 1 0 849527076 263774208 63445 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64398 63445 1111 63 0 64335 0
vsize: 257592
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28708
Raw data (stat): 28708 (bsolo_lpr_cuts-) R 28707 8378 8377 0 -1 0 63861 0 0 0 116740 278 0 0 25 0 1 0 849527076 263774208 63445 4294967295 134512640 134716908 3221224576 3221223264 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64398 63445 1111 63 0 64335 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.13
CPU user time (s): 1172.22
CPU system time (s): 2.90556
CPU usage (%): 100.014
Max. virtual memory (Kb): 257592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####