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/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-ran14x18_1.opb
MD5SUM	27cc6bcebfcedf07c5cf3ac138a419c6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	913429
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5292
Total number of constraints	536
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	252
Number of constraints which are nor clauses,nor cardinality constraints	284
Minimum length of a constraint	1
Maximum length of a constraint	360
Trace number 41677

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 19:35:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29740 boxname=wulflinc3 idbench=1524 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  27cc6bcebfcedf07c5cf3ac138a419c6  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran14x18_1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-ran14x18_1.opb
IDLAUNCH: 29740
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        767496 kB
Buffers:         20448 kB
Cached:         226992 kB
SwapCached:        692 kB
Active:          32212 kB
Inactive:       217188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767244 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            11972 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:54:54 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 29740 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 316 constraints.
c After prepocess the problem consists of 3084 variables and 453 constraints.
c preprocess terminated 8.308 s
c Initial Lower Bound: 386172
c Lower Bound Elapsed time: 0.519
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.11 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 1/54 14706
Raw data (stat): 14706 (runsolver) R 14705 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912829451 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 8598 0 0 0 978 19 0 0 25 0 1 0 912829451 33734656 7504 4294967295 134512640 134716908 3221224560 3221222616 1074950124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8236 7504 1111 63 0 8173 0
vsize: 32944
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 16806 0 0 0 1961 36 0 0 25 0 1 0 912829451 34217984 7549 4294967295 134512640 134716908 3221224560 3221221600 1075860599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8354 7549 1111 63 0 8291 0
vsize: 33416
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 24673 0 0 0 2944 53 0 0 25 0 1 0 912829451 34598912 7652 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8447 7652 1111 63 0 8384 0
vsize: 33788
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 32390 0 0 0 3928 68 0 0 25 0 1 0 912829451 33447936 7434 4294967295 134512640 134716908 3221224560 3221222848 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7434 1111 63 0 8103 0
vsize: 32664
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 40394 0 0 0 4911 85 0 0 25 0 1 0 912829451 33447936 7434 4294967295 134512640 134716908 3221224560 3221222648 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7434 1111 63 0 8103 0
vsize: 32664
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 48108 0 0 0 5895 102 0 0 25 0 1 0 912829451 34582528 7649 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8443 7649 1111 63 0 8380 0
vsize: 33772
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 55836 0 0 0 6876 121 0 0 25 0 1 0 912829451 33964032 7561 4294967295 134512640 134716908 3221224560 3221222560 1074916862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 7561 1111 63 0 8229 0
vsize: 33168
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 63685 0 0 0 7861 136 0 0 25 0 1 0 912829451 33964032 7561 4294967295 134512640 134716908 3221224560 3221222560 1074918215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 7561 1111 63 0 8229 0
vsize: 33168
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 71496 0 0 0 8845 152 0 0 25 0 1 0 912829451 34410496 7572 4294967295 134512640 134716908 3221224560 3221222480 1075799526 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8401 7572 1111 63 0 8338 0
vsize: 33604
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 79074 0 0 0 9829 169 0 0 25 0 1 0 912829451 33447936 7435 4294967295 134512640 134716908 3221224560 3221220704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7435 1111 63 0 8103 0
vsize: 32664
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 86857 0 0 0 10813 185 0 0 25 0 1 0 912829451 34381824 7564 4294967295 134512640 134716908 3221224560 3221222288 1075828451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8394 7564 1111 63 0 8331 0
vsize: 33576
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 94638 0 0 0 11797 202 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 102342 0 0 0 12780 218 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222816 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 109487 0 0 0 13763 236 0 0 25 0 1 0 912829451 33923072 7555 4294967295 134512640 134716908 3221224560 3221222560 1074918319 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8282 7555 1111 63 0 8219 0
vsize: 33128
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 116707 0 0 0 14747 252 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222960 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 123907 0 0 0 15732 267 0 0 25 0 1 0 912829451 33775616 7498 4294967295 134512640 134716908 3221224560 3221222304 1075640400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8246 7498 1111 63 0 8183 0
vsize: 32984
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 130949 0 0 0 16716 283 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222912 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 137834 0 0 0 17702 297 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 144714 0 0 0 18688 312 0 0 25 0 1 0 912829451 33767424 7517 4294967295 134512640 134716908 3221224560 3221222912 1074115244 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8244 7517 1111 63 0 8181 0
vsize: 32976
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 151257 0 0 0 19675 325 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 157442 0 0 0 20662 338 0 0 25 0 1 0 912829451 34615296 7641 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8451 7641 1111 63 0 8388 0
vsize: 33804
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 163403 0 0 0 21651 350 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222912 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 169482 0 0 0 22635 365 0 0 25 0 1 0 912829451 34471936 7638 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8416 7638 1111 63 0 8353 0
vsize: 33664
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 175343 0 0 0 23621 379 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221220752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 181414 0 0 0 24606 395 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222848 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 187461 0 0 0 25592 409 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 193253 0 0 0 26579 422 0 0 25 0 1 0 912829451 33890304 7515 4294967295 134512640 134716908 3221224560 3221222560 1074913451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8274 7515 1111 63 0 8211 0
vsize: 33096
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 199274 0 0 0 27568 434 0 0 25 0 1 0 912829451 34238464 7534 4294967295 134512640 134716908 3221224560 3221222288 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8359 7534 1111 63 0 8296 0
vsize: 33436
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 205166 0 0 0 28555 447 0 0 25 0 1 0 912829451 33566720 7468 4294967295 134512640 134716908 3221224560 3221223304 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8195 7468 1111 63 0 8132 0
vsize: 32780
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 210999 0 0 0 29542 460 0 0 25 0 1 0 912829451 34570240 7631 4294967295 134512640 134716908 3221224560 3221220656 1074878906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8440 7631 1111 63 0 8377 0
vsize: 33760
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 216990 0 0 0 30528 474 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221220812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 223206 0 0 0 31514 489 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222728 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 229550 0 0 0 32500 502 0 0 25 0 1 0 912829451 33447936 7439 4294967295 134512640 134716908 3221224560 3221222848 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7439 1111 63 0 8103 0
vsize: 32664
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 236217 0 0 0 33485 517 0 0 25 0 1 0 912829451 34484224 7641 4294967295 134512640 134716908 3221224560 3221220524 1074860591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8419 7641 1111 63 0 8356 0
vsize: 33676
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 243106 0 0 0 34469 534 0 0 25 0 1 0 912829451 34611200 7640 4294967295 134512640 134716908 3221224560 3221220780 1076111369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 7640 1111 63 0 8387 0
vsize: 33800
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 250139 0 0 0 35453 550 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221221052 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 257348 0 0 0 36437 567 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221221288 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 264520 0 0 0 37418 585 0 0 25 0 1 0 912829451 33665024 7461 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8219 7461 1111 63 0 8156 0
vsize: 32876
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 271666 0 0 0 38403 600 0 0 25 0 1 0 912829451 34197504 7524 4294967295 134512640 134716908 3221224560 3221222480 1075799638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8349 7524 1111 63 0 8286 0
vsize: 33396
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 278914 0 0 0 39387 617 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222848 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 286173 0 0 0 40371 633 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 293325 0 0 0 41352 652 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222944 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 300276 0 0 0 42336 668 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222848 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 307348 0 0 0 43320 685 0 0 25 0 1 0 912829451 34480128 7624 4294967295 134512640 134716908 3221224560 3221220524 1074860680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8418 7624 1111 63 0 8355 0
vsize: 33672
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 314358 0 0 0 44306 699 0 0 25 0 1 0 912829451 34463744 7620 4294967295 134512640 134716908 3221224560 3221220800 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8414 7620 1111 63 0 8351 0
vsize: 33656
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 321417 0 0 0 45288 717 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 328381 0 0 0 46271 734 0 0 25 0 1 0 912829451 34152448 7515 4294967295 134512640 134716908 3221224560 3221222288 1075829522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8338 7515 1111 63 0 8275 0
vsize: 33352
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 335388 0 0 0 47254 751 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221220984 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 342374 0 0 0 48238 767 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221221408 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 349412 0 0 0 49224 782 0 0 25 0 1 0 912829451 34156544 7534 4294967295 134512640 134716908 3221224560 3221221480 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8210 7482 1111 63 0 8147 0
vsize: 33356
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 356151 0 0 0 50209 797 0 0 25 0 1 0 912829451 33783808 7490 4294967295 134512640 134716908 3221224560 3221222560 1074916785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8248 7490 1111 63 0 8185 0
vsize: 32992
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 363075 0 0 0 51194 813 0 0 25 0 1 0 912829451 34394112 7604 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8397 7604 1111 63 0 8334 0
vsize: 33588
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 370031 0 0 0 52177 829 0 0 25 0 1 0 912829451 33533952 7461 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8187 7461 1111 63 0 8124 0
vsize: 32748
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 377356 0 0 0 53159 847 0 0 25 0 1 0 912829451 33619968 7482 4294967295 134512640 134716908 3221224560 3221222560 1074916795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8208 7482 1111 63 0 8145 0
vsize: 32832
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 384920 0 0 0 54142 865 0 0 25 0 1 0 912829451 33447936 7440 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7440 1111 63 0 8103 0
vsize: 32664
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 392209 0 0 0 55126 882 0 0 25 0 1 0 912829451 34009088 7482 4294967295 134512640 134716908 3221224560 3221222504 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8303 7482 1111 63 0 8240 0
vsize: 33212
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 399436 0 0 0 56110 898 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221221436 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 406594 0 0 0 57093 914 0 0 25 0 1 0 912829451 34361344 7581 4294967295 134512640 134716908 3221224560 3221220764 1075563849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8389 7587 1111 63 0 8326 0
vsize: 33556
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 413500 0 0 0 58077 931 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221221888 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 420617 0 0 0 59060 947 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222896 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 427527 0 0 0 60045 963 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222944 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 434495 0 0 0 61029 979 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 441389 0 0 0 62012 996 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221221312 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 448413 0 0 0 62996 1013 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 455563 0 0 0 63980 1029 0 0 25 0 1 0 912829451 33517568 7458 4294967295 134512640 134716908 3221224560 3221223200 134651168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8183 7458 1111 63 0 8120 0
vsize: 32732
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 462708 0 0 0 64964 1045 0 0 25 0 1 0 912829451 34086912 7546 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8322 7550 1111 63 0 8259 0
vsize: 33288
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 470024 0 0 0 65948 1061 0 0 25 0 1 0 912829451 33513472 7457 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8182 7457 1111 63 0 8119 0
vsize: 32728
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 476677 0 0 0 66932 1077 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222864 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 483448 0 0 0 67918 1092 0 0 25 0 1 0 912829451 34250752 7568 4294967295 134512640 134716908 3221224560 3221221488 1075960460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8362 7568 1111 63 0 8299 0
vsize: 33448
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 489937 0 0 0 68903 1107 0 0 25 0 1 0 912829451 34385920 7572 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8285 7539 1111 63 0 8222 0
vsize: 33580
[startup+710.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 496224 0 0 0 69886 1125 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222944 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+720.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 502688 0 0 0 70872 1139 0 0 25 0 1 0 912829451 33447936 7441 4294967295 134512640 134716908 3221224560 3221222564 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7441 1111 63 0 8103 0
vsize: 32664
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 509182 0 0 0 71856 1155 0 0 25 0 1 0 912829451 33554432 7468 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8192 7468 1111 63 0 8129 0
vsize: 32768
[startup+740.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 515588 0 0 0 72843 1169 0 0 25 0 1 0 912829451 33853440 7467 4294967295 134512640 134716908 3221224560 3221222288 1075828577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8265 7467 1111 63 0 8202 0
vsize: 33060
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 522248 0 0 0 73828 1184 0 0 25 0 1 0 912829451 33546240 7466 4294967295 134512640 134716908 3221224560 3221223196 134651464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8190 7466 1111 63 0 8127 0
vsize: 32760
[startup+760.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 528941 0 0 0 74811 1201 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+770.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 535857 0 0 0 75795 1217 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221223136 134652452 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 542663 0 0 0 76778 1235 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+790.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 549582 0 0 0 77761 1252 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 556348 0 0 0 78745 1268 0 0 25 0 1 0 912829451 33488896 7452 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8176 7452 1111 63 0 8113 0
vsize: 32704
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 562331 0 0 0 79729 1284 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221222224 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+820.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 568248 0 0 0 80716 1297 0 0 25 0 1 0 912829451 34152448 7527 4294967295 134512640 134716908 3221224560 3221220632 1074950184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8338 7527 1111 63 0 8275 0
vsize: 33352
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 573896 0 0 0 81702 1311 0 0 25 0 1 0 912829451 33447936 7442 4294967295 134512640 134716908 3221224560 3221222944 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7442 1111 63 0 8103 0
vsize: 32664
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 579711 0 0 0 82687 1327 0 0 25 0 1 0 912829451 34144256 7528 4294967295 134512640 134716908 3221224560 3221220524 1074860824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8336 7528 1111 63 0 8273 0
vsize: 33344
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 585939 0 0 0 83671 1342 0 0 25 0 1 0 912829451 33755136 7493 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7493 1111 63 0 8178 0
vsize: 32964
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 592231 0 0 0 84655 1359 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222400 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+870.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 599156 0 0 0 85637 1377 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222852 1074206924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+880.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 607825 0 0 0 86617 1397 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 617875 0 0 0 87594 1421 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 629198 0 0 0 88567 1447 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+910.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 638038 0 0 0 89546 1469 0 0 25 0 1 0 912829451 34107392 7503 4294967295 134512640 134716908 3221224560 3221221600 1075971395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8327 7504 1111 63 0 8264 0
vsize: 33308
[startup+920.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 647002 0 0 0 90526 1489 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+930.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 657574 0 0 0 91500 1515 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222872 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 669282 0 0 0 92472 1543 0 0 25 0 1 0 912829451 33447936 7443 4294967295 134512640 134716908 3221224560 3221222912 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8166 7443 1111 63 0 8103 0
vsize: 32664
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 682062 0 0 0 93442 1574 0 0 25 0 1 0 912829451 34160640 7568 4294967295 134512640 134716908 3221224560 3221221664 1074138813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 7568 1111 63 0 8277 0
vsize: 33360
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 694198 0 0 0 94410 1605 0 0 25 0 1 0 912829451 33808384 7531 4294967295 134512640 134716908 3221224560 3221222304 1075640218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8254 7531 1111 63 0 8191 0
vsize: 33016
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 702254 0 0 0 95392 1624 0 0 25 0 1 0 912829451 34172928 7526 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8343 7526 1111 63 0 8280 0
vsize: 33372
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 710153 0 0 0 96371 1646 0 0 25 0 1 0 912829451 33652736 7493 4294967295 134512640 134716908 3221224560 3221222224 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8216 7493 1111 63 0 8153 0
vsize: 32864
[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 717856 0 0 0 97353 1664 0 0 25 0 1 0 912829451 34566144 7614 4294967295 134512640 134716908 3221224560 3221220832 1074799101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8439 7614 1111 63 0 8376 0
vsize: 33756
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 725948 0 0 0 98337 1680 0 0 25 0 1 0 912829451 33652736 7493 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8216 7493 1111 63 0 8153 0
vsize: 32864
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 734279 0 0 0 99315 1701 0 0 25 0 1 0 912829451 33755136 7518 4294967295 134512640 134716908 3221224560 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8241 7518 1111 63 0 8178 0
vsize: 32964
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 742779 0 0 0 100295 1722 0 0 25 0 1 0 912829451 33861632 7544 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8267 7544 1111 63 0 8204 0
vsize: 33068
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 751246 0 0 0 101275 1742 0 0 25 0 1 0 912829451 34803712 7667 4294967295 134512640 134716908 3221224560 3221220724 1075964252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8497 7667 1111 63 0 8434 0
vsize: 33988
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 760920 0 0 0 102253 1765 0 0 25 0 1 0 912829451 34050048 7579 4294967295 134512640 134716908 3221224560 3221222560 1074918333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8313 7579 1111 63 0 8250 0
vsize: 33252
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 769957 0 0 0 103230 1787 0 0 25 0 1 0 912829451 34168832 7619 4294967295 134512640 134716908 3221224560 3221222272 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8342 7619 1111 63 0 8279 0
vsize: 33368
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 778390 0 0 0 104208 1810 0 0 25 0 1 0 912829451 34750464 7667 4294967295 134512640 134716908 3221224560 3221222288 1075828621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8484 7667 1111 63 0 8421 0
vsize: 33936
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 787591 0 0 0 105187 1831 0 0 25 0 1 0 912829451 34881536 7679 4294967295 134512640 134716908 3221224560 3221221680 1074834494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8516 7679 1111 63 0 8453 0
vsize: 34064
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 796204 0 0 0 106166 1852 0 0 25 0 1 0 912829451 34603008 7705 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8381 7658 1111 63 0 8318 0
vsize: 33792
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 804316 0 0 0 107148 1871 0 0 25 0 1 0 912829451 34328576 7658 4294967295 134512640 134716908 3221224560 3221222200 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8381 7658 1111 63 0 8318 0
vsize: 33524
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 812414 0 0 0 108130 1888 0 0 25 0 1 0 912829451 34435072 7684 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8407 7684 1111 63 0 8344 0
vsize: 33628
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 818607 0 0 0 109115 1904 0 0 25 0 1 0 912829451 34639872 7711 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8502 7712 1111 63 0 8439 0
vsize: 33828
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 826483 0 0 0 110096 1923 0 0 25 0 1 0 912829451 34435072 7684 4294967295 134512640 134716908 3221224560 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8407 7684 1111 63 0 8344 0
vsize: 33628
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 834246 0 0 0 111080 1939 0 0 25 0 1 0 912829451 34566144 7706 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8439 7706 1111 63 0 8376 0
vsize: 33756
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 840764 0 0 0 112062 1958 0 0 25 0 1 0 912829451 34594816 7723 4294967295 134512640 134716908 3221224560 3221222960 1074119066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8446 7723 1111 63 0 8383 0
vsize: 33784
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 847277 0 0 0 113046 1973 0 0 25 0 1 0 912829451 34537472 7709 4294967295 134512640 134716908 3221224560 3221222912 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 7709 1111 63 0 8369 0
vsize: 33728
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 854324 0 0 0 114029 1991 0 0 25 0 1 0 912829451 34537472 7709 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8432 7709 1111 63 0 8369 0
vsize: 33728
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 861905 0 0 0 115011 2009 0 0 25 0 1 0 912829451 34750464 7761 4294967295 134512640 134716908 3221224560 3221222288 1075635961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8484 7761 1111 63 0 8421 0
vsize: 33936
[startup+1174.97 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14706
Raw data (stat): 14706 (bsolo_lpr_cuts-) R 14705 20224 20223 0 -1 0 861905 0 0 0 115011 2009 0 0 25 0 1 0 912829451 34750464 7761 4294967295 134512640 134716908 3221224560 3221222288 1075635961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8484 7761 1111 63 0 8421 0
vsize: 0

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