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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-fiber.opb
MD5SUM	02cc3bacd8064c2ceecf74a8d0a8ab0f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	95.3155
Number of variables	2574
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	61
Trace number 41130

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 06:19:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29181 boxname=wulflinc3 idbench=965 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  02cc3bacd8064c2ceecf74a8d0a8ab0f  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-fiber.opb
IDLAUNCH: 29181
/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:        721580 kB
Buffers:         31808 kB
Cached:         258340 kB
SwapCached:       3476 kB
Active:          42240 kB
Inactive:       252712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        721328 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5024 kB
Slab:            12400 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:39:17 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 29181 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2574 variables and 711 constraints.
c After prepocess the problem consists of 2066 variables and 590 constraints.
c preprocess terminated 1.187 s
c Initial Lower Bound: 16001051
c Lower Bound Elapsed time: 0.2878
c Use computed LB before first solution.
#### 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): 1.01 1.00 0.93 1/54 4579
Raw data (stat): 4579 (runsolver) R 4578 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908052514 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 12702 0 0 0 969 28 0 0 25 0 1 0 908052514 43515904 9931 4294967295 134512640 134716908 3221224560 3221221840 1074139993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10624 9931 1111 63 0 10561 0
vsize: 42496
[startup+20.0028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 15178 0 0 0 1963 34 0 0 25 0 1 0 908052514 44281856 10010 4294967295 134512640 134716908 3221224560 3221220896 1075113667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10811 10010 1111 63 0 10748 0
vsize: 43244
[startup+30.003 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 19748 0 0 0 2952 45 0 0 25 0 1 0 908052514 44773376 10159 4294967295 134512640 134716908 3221224560 3221221216 1075967425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10931 10159 1111 63 0 10868 0
vsize: 43724
[startup+40.0039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 24555 0 0 0 3940 58 0 0 25 0 1 0 908052514 44445696 10161 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10851 10161 1111 63 0 10788 0
vsize: 43404
[startup+50.0043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 27569 0 0 0 4931 66 0 0 25 0 1 0 908052514 45547520 10355 4294967295 134512640 134716908 3221224560 3221220340 1074786513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11120 10355 1111 63 0 11057 0
vsize: 44480
[startup+60.0046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 31107 0 0 0 5923 75 0 0 25 0 1 0 908052514 45834240 10447 4294967295 134512640 134716908 3221224560 3221221480 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11190 10447 1111 63 0 11127 0
vsize: 44760
[startup+70.0053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 34361 0 0 0 6915 83 0 0 25 0 1 0 908052514 46133248 10501 4294967295 134512640 134716908 3221224560 3221220788 1075115014 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11263 10501 1111 63 0 11200 0
vsize: 45052
[startup+80.0048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 38084 0 0 0 7906 92 0 0 25 0 1 0 908052514 46284800 10532 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11300 10532 1111 63 0 11237 0
vsize: 45200
[startup+90.0051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 41414 0 0 0 8899 99 0 0 25 0 1 0 908052514 46501888 10612 4294967295 134512640 134716908 3221224560 3221220544 1074875074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11353 10612 1111 63 0 11290 0
vsize: 45412
[startup+100.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 45268 0 0 0 9890 109 0 0 25 0 1 0 908052514 45637632 10453 4294967295 134512640 134716908 3221224560 3221222560 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11142 10453 1111 63 0 11079 0
vsize: 44568
[startup+110.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 48308 0 0 0 10884 115 0 0 25 0 1 0 908052514 46882816 10690 4294967295 134512640 134716908 3221224560 3221220416 1074870807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11446 10690 1111 63 0 11383 0
vsize: 45784
[startup+120.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 51430 0 0 0 11877 122 0 0 25 0 1 0 908052514 45772800 10486 4294967295 134512640 134716908 3221224560 3221222944 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11175 10486 1111 63 0 11112 0
vsize: 44700
[startup+130.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 53766 0 0 0 12871 128 0 0 25 0 1 0 908052514 45780992 10488 4294967295 134512640 134716908 3221224560 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11177 10488 1111 63 0 11114 0
vsize: 44708
[startup+140.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 57307 0 0 0 13863 136 0 0 25 0 1 0 908052514 47251456 10809 4294967295 134512640 134716908 3221224560 3221220720 1075091857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11536 10809 1111 63 0 11473 0
vsize: 46144
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 61536 0 0 0 14854 146 0 0 25 0 1 0 908052514 47587328 10891 4294967295 134512640 134716908 3221224560 3221220592 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11618 10891 1111 63 0 11555 0
vsize: 46472
[startup+160.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 63376 0 0 0 15850 150 0 0 25 0 1 0 908052514 47980544 10996 4294967295 134512640 134716908 3221224560 3221220416 1074868273 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11714 10996 1111 63 0 11651 0
vsize: 46856
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 67295 0 0 0 16841 159 0 0 25 0 1 0 908052514 48181248 10998 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11763 10998 1111 63 0 11700 0
vsize: 47052
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 69752 0 0 0 17835 165 0 0 25 0 1 0 908052514 48275456 11019 4294967295 134512640 134716908 3221224560 3221221328 1076083342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11786 11019 1111 63 0 11723 0
vsize: 47144
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 72256 0 0 0 18830 170 0 0 25 0 1 0 908052514 48517120 11083 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 11083 1111 63 0 11782 0
vsize: 47380
[startup+200.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 75336 0 0 0 19823 177 0 0 25 0 1 0 908052514 48513024 11107 4294967295 134512640 134716908 3221224560 3221220416 1074871177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11844 11107 1111 63 0 11781 0
vsize: 47376
[startup+210.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 79083 0 0 0 20816 185 0 0 25 0 1 0 908052514 46895104 10760 4294967295 134512640 134716908 3221224560 3221221744 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11449 10760 1111 63 0 11386 0
vsize: 45796
[startup+220.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 81670 0 0 0 21809 192 0 0 25 0 1 0 908052514 47185920 10831 4294967295 134512640 134716908 3221224560 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11520 10831 1111 63 0 11457 0
vsize: 46080
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 84910 0 0 0 22802 199 0 0 25 0 1 0 908052514 48939008 11186 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11948 11186 1111 63 0 11885 0
vsize: 47792
[startup+240.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 87588 0 0 0 23796 205 0 0 25 0 1 0 908052514 49147904 11205 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11999 11205 1111 63 0 11936 0
vsize: 47996
[startup+250.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 90284 0 0 0 24790 211 0 0 25 0 1 0 908052514 49192960 11265 4294967295 134512640 134716908 3221224560 3221221088 1075120002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12010 11265 1111 63 0 11947 0
vsize: 48040
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 94343 0 0 0 25781 221 0 0 25 0 1 0 908052514 49356800 11292 4294967295 134512640 134716908 3221224560 3221220632 1074950192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12050 11292 1111 63 0 11987 0
vsize: 48200
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 95891 0 0 0 26776 225 0 0 25 0 1 0 908052514 49287168 11284 4294967295 134512640 134716908 3221224560 3221220660 1075964221 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12033 11284 1111 63 0 11970 0
vsize: 48132
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 98643 0 0 0 27771 231 0 0 25 0 1 0 908052514 49639424 11323 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11323 1111 63 0 12056 0
vsize: 48476
[startup+290.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 102866 0 0 0 28762 240 0 0 25 0 1 0 908052514 49889280 11380 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12180 11380 1111 63 0 12117 0
vsize: 48720
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 104494 0 0 0 29758 244 0 0 25 0 1 0 908052514 49770496 11409 4294967295 134512640 134716908 3221224560 3221220496 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12151 11409 1111 63 0 12088 0
vsize: 48604
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 107559 0 0 0 30752 251 0 0 25 0 1 0 908052514 49774592 11412 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 11412 1111 63 0 12089 0
vsize: 48608
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 111303 0 0 0 31744 259 0 0 25 0 1 0 908052514 48619520 11167 4294967295 134512640 134716908 3221224560 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11870 11167 1111 63 0 11807 0
vsize: 47480
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 113573 0 0 0 32739 264 0 0 25 0 1 0 908052514 50397184 11585 4294967295 134512640 134716908 3221224560 3221221136 1076047496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12304 11585 1111 63 0 12241 0
vsize: 49216
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 116689 0 0 0 33731 272 0 0 25 0 1 0 908052514 50769920 11639 4294967295 134512640 134716908 3221224560 3221220524 1074786324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12395 11639 1111 63 0 12332 0
vsize: 49580
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 118445 0 0 0 34728 275 0 0 25 0 1 0 908052514 50540544 11634 4294967295 134512640 134716908 3221224560 3221220528 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12339 11634 1111 63 0 12276 0
vsize: 49356
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 122495 0 0 0 35720 284 0 0 25 0 1 0 908052514 48914432 11260 4294967295 134512640 134716908 3221224560 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11942 11260 1111 63 0 11879 0
vsize: 47768
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 123472 0 0 0 36717 287 0 0 25 0 1 0 908052514 50794496 11694 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12401 11694 1111 63 0 12338 0
vsize: 49604
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 126898 0 0 0 37710 294 0 0 25 0 1 0 908052514 50974720 11709 4294967295 134512640 134716908 3221224560 3221220564 1074875787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12445 11709 1111 63 0 12382 0
vsize: 49780
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 128673 0 0 0 38706 298 0 0 25 0 1 0 908052514 51113984 11739 4294967295 134512640 134716908 3221224560 3221220416 1074871225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12479 11739 1111 63 0 12416 0
vsize: 49916
[startup+400.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 132274 0 0 0 39697 307 0 0 25 0 1 0 908052514 51130368 11748 4294967295 134512640 134716908 3221224560 3221220496 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11748 1111 63 0 12420 0
vsize: 49932
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 135915 0 0 0 40689 316 0 0 25 0 1 0 908052514 51200000 11787 4294967295 134512640 134716908 3221224560 3221220416 1074871104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12500 11787 1111 63 0 12437 0
vsize: 50000
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 140308 0 0 0 41680 325 0 0 25 0 1 0 908052514 48971776 11273 4294967295 134512640 134716908 3221224560 3221220928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11956 11273 1111 63 0 11893 0
vsize: 47824
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 141545 0 0 0 42677 328 0 0 25 0 1 0 908052514 51728384 11905 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12629 11905 1111 63 0 12566 0
vsize: 50516
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 143470 0 0 0 43673 332 0 0 25 0 1 0 908052514 51798016 11920 4294967295 134512640 134716908 3221224560 3221220416 1074871233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 11920 1111 63 0 12583 0
vsize: 50584
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 147371 0 0 0 44663 343 0 0 25 0 1 0 908052514 51982336 11971 4294967295 134512640 134716908 3221224560 3221220604 1074873537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12691 11971 1111 63 0 12628 0
vsize: 50764
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 147398 0 0 0 45663 343 0 0 25 0 1 0 908052514 51982336 11998 4294967295 134512640 134716908 3221224560 3221221392 1075115378 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12691 11998 1111 63 0 12628 0
vsize: 50764
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 151430 0 0 0 46654 352 0 0 25 0 1 0 908052514 52580352 12017 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12837 12017 1111 63 0 12774 0
vsize: 51348
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 151527 0 0 0 47654 352 0 0 25 0 1 0 908052514 52207616 12021 4294967295 134512640 134716908 3221224560 3221220528 1074872824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12746 12021 1111 63 0 12683 0
vsize: 50984
[startup+490.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 155821 0 0 0 48643 363 0 0 25 0 1 0 908052514 52502528 12082 4294967295 134512640 134716908 3221224560 3221221328 1076084141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12818 12082 1111 63 0 12755 0
vsize: 51272
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 155976 0 0 0 49643 363 0 0 25 0 1 0 908052514 53473280 12234 4294967295 134512640 134716908 3221224560 3221221680 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13055 12234 1111 63 0 12992 0
vsize: 52220
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 157166 0 0 0 50641 365 0 0 25 0 1 0 908052514 50327552 11600 4294967295 134512640 134716908 3221224560 3221222712 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12287 11600 1111 63 0 12224 0
vsize: 49148
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 160652 0 0 0 51633 374 0 0 25 0 1 0 908052514 53661696 12165 4294967295 134512640 134716908 3221224560 3221220528 1074872790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 12165 1111 63 0 13038 0
vsize: 52404
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 163698 0 0 0 52625 382 0 0 25 0 1 0 908052514 50528256 11656 4294967295 134512640 134716908 3221224560 3221222384 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12336 11656 1111 63 0 12273 0
vsize: 49344
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 167178 0 0 0 53617 390 0 0 25 0 1 0 908052514 53780480 12250 4294967295 134512640 134716908 3221224560 3221220932 1075965462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13130 12250 1111 63 0 13067 0
vsize: 52520
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 167246 0 0 0 54617 391 0 0 25 0 1 0 908052514 53919744 12318 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13164 12318 1111 63 0 13101 0
vsize: 52656
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 167246 0 0 0 55617 391 0 0 25 0 1 0 908052514 53919744 12318 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13164 12318 1111 63 0 13101 0
vsize: 52656
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 167277 0 0 0 56617 391 0 0 25 0 1 0 908052514 54779904 12349 4294967295 134512640 134716908 3221224560 3221220616 1074789704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13374 12349 1111 63 0 13311 0
vsize: 53496
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 171695 0 0 0 57607 401 0 0 25 0 1 0 908052514 54890496 12143 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13401 12143 1111 63 0 13338 0
vsize: 53604
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 172105 0 0 0 58607 402 0 0 25 0 1 0 908052514 54030336 12350 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13191 12350 1111 63 0 13128 0
vsize: 52764
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 172120 0 0 0 59607 402 0 0 25 0 1 0 908052514 54030336 12365 4294967295 134512640 134716908 3221224560 3221221152 1074885932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13191 12365 1111 63 0 13128 0
vsize: 52764
[startup+610.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 172329 0 0 0 60607 402 0 0 25 0 1 0 908052514 54165504 12366 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13224 12366 1111 63 0 13161 0
vsize: 52896
[startup+620.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 176936 0 0 0 61596 413 0 0 25 0 1 0 908052514 54235136 12280 4294967295 134512640 134716908 3221224560 3221220604 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13241 12280 1111 63 0 13178 0
vsize: 52964
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 177017 0 0 0 62596 413 0 0 25 0 1 0 908052514 54235136 12361 4294967295 134512640 134716908 3221224560 3221220492 1074788146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13241 12361 1111 63 0 13178 0
vsize: 52964
[startup+640.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 179763 0 0 0 63589 420 0 0 25 0 1 0 908052514 54231040 12325 4294967295 134512640 134716908 3221224560 3221220720 1074794682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13240 12325 1111 63 0 13177 0
vsize: 52960
[startup+650.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 179867 0 0 0 64589 421 0 0 25 0 1 0 908052514 54382592 12426 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13277 12426 1111 63 0 13214 0
vsize: 53108
[startup+660.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 181922 0 0 0 65585 425 0 0 25 0 1 0 908052514 53538816 12342 4294967295 134512640 134716908 3221224560 3221221752 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13071 12350 1111 63 0 13008 0
vsize: 52284
[startup+670.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 184677 0 0 0 66579 431 0 0 25 0 1 0 908052514 54472704 12419 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13299 12419 1111 63 0 13236 0
vsize: 53196
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 184712 0 0 0 67580 431 0 0 25 0 1 0 908052514 54472704 12454 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13299 12454 1111 63 0 13236 0
vsize: 53196
[startup+690.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 184716 0 0 0 68580 431 0 0 25 0 1 0 908052514 54624256 12458 4294967295 134512640 134716908 3221224560 3221221504 1074620096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13336 12458 1111 63 0 13273 0
vsize: 53344
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 189615 0 0 0 69570 442 0 0 25 0 1 0 908052514 54804480 12587 4294967295 134512640 134716908 3221224560 3221220472 1074789206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13380 12587 1111 63 0 13317 0
vsize: 53520
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 189615 0 0 0 70570 442 0 0 25 0 1 0 908052514 54804480 12587 4294967295 134512640 134716908 3221224560 3221220528 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13380 12587 1111 63 0 13317 0
vsize: 53520
[startup+720.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 193065 0 0 0 71561 450 0 0 25 0 1 0 908052514 51318784 11850 4294967295 134512640 134716908 3221224560 3221221712 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12529 11850 1111 63 0 12466 0
vsize: 50116
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 194645 0 0 0 72558 454 0 0 25 0 1 0 908052514 55025664 12544 4294967295 134512640 134716908 3221224560 3221220720 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13434 12544 1111 63 0 13371 0
vsize: 53736
[startup+740.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 202260 0 0 0 73542 470 0 0 25 0 1 0 908052514 55390208 12748 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13523 12748 1111 63 0 13460 0
vsize: 54092
[startup+750.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 202289 0 0 0 74542 470 0 0 25 0 1 0 908052514 55390208 12777 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13523 12777 1111 63 0 13460 0
vsize: 54092
[startup+760.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 202289 0 0 0 75542 470 0 0 25 0 1 0 908052514 55390208 12777 4294967295 134512640 134716908 3221224560 3221220832 1074801845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13523 12777 1111 63 0 13460 0
vsize: 54092
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 208886 0 0 0 76529 484 0 0 25 0 1 0 908052514 51859456 11982 4294967295 134512640 134716908 3221224560 3221222432 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 11982 1111 63 0 12598 0
vsize: 50644
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 210587 0 0 0 77526 487 0 0 25 0 1 0 908052514 55799808 12742 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 12742 1111 63 0 13560 0
vsize: 54492
[startup+790.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 210587 0 0 0 78526 487 0 0 25 0 1 0 908052514 55799808 12742 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 12742 1111 63 0 13560 0
vsize: 54492
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 210601 0 0 0 79526 487 0 0 25 0 1 0 908052514 55799808 12756 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 12756 1111 63 0 13560 0
vsize: 54492
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 215960 0 0 0 80515 499 0 0 25 0 1 0 908052514 56160256 12854 4294967295 134512640 134716908 3221224560 3221220436 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13711 12854 1111 63 0 13648 0
vsize: 54844
[startup+820.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 219898 0 0 0 81505 509 0 0 25 0 1 0 908052514 52334592 12083 4294967295 134512640 134716908 3221224560 3221221456 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12777 12083 1111 63 0 12714 0
vsize: 51108
[startup+830.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 221770 0 0 0 82500 514 0 0 25 0 1 0 908052514 56406016 12939 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13771 12939 1111 63 0 13708 0
vsize: 55084
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 223685 0 0 0 83496 518 0 0 25 0 1 0 908052514 54697984 12675 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13354 12675 1111 63 0 13291 0
vsize: 53416
[startup+850.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 224742 0 0 0 84494 520 0 0 25 0 1 0 908052514 56569856 12977 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13811 12977 1111 63 0 13748 0
vsize: 55244
[startup+860.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 224746 0 0 0 85497 520 0 0 25 0 1 0 908052514 56569856 12981 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13811 12981 1111 63 0 13748 0
vsize: 55244
[startup+870.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 227782 0 0 0 86491 526 0 0 25 0 1 0 908052514 56578048 12967 4294967295 134512640 134716908 3221224560 3221220468 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13813 12967 1111 63 0 13750 0
vsize: 55252
[startup+880.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 232465 0 0 0 87480 537 0 0 25 0 1 0 908052514 54992896 12715 4294967295 134512640 134716908 3221224560 3221222208 1075818298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13426 12715 1111 63 0 13363 0
vsize: 53704
[startup+890.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 233812 0 0 0 88478 540 0 0 25 0 1 0 908052514 56844288 13050 4294967295 134512640 134716908 3221224560 3221220784 1075895691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13878 13050 1111 63 0 13815 0
vsize: 55512
[startup+900.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 233822 0 0 0 89478 540 0 0 25 0 1 0 908052514 56844288 13057 4294967295 134512640 134716908 3221224560 3221221104 1075088566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13878 13057 1111 63 0 13815 0
vsize: 55512
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 233833 0 0 0 90478 540 0 0 25 0 1 0 908052514 56844288 13068 4294967295 134512640 134716908 3221224560 3221220416 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13878 13068 1111 63 0 13815 0
vsize: 55512
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 233833 0 0 0 91478 540 0 0 25 0 1 0 908052514 56844288 13068 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13878 13068 1111 63 0 13815 0
vsize: 55512
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 237196 0 0 0 92472 547 0 0 25 0 1 0 908052514 57073664 13168 4294967295 134512640 134716908 3221224560 3221220456 1074787100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13168 1111 63 0 13871 0
vsize: 55736
[startup+940.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 237199 0 0 0 93472 547 0 0 25 0 1 0 908052514 57073664 13171 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13934 13171 1111 63 0 13871 0
vsize: 55736
[startup+950.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 240659 0 0 0 94464 555 0 0 25 0 1 0 908052514 57147392 13197 4294967295 134512640 134716908 3221224560 3221220660 1075964248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13952 13197 1111 63 0 13889 0
vsize: 55808
[startup+960.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 240714 0 0 0 95464 555 0 0 25 0 1 0 908052514 57147392 13252 4294967295 134512640 134716908 3221224560 3221220524 1074788153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13952 13252 1111 63 0 13889 0
vsize: 55808
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 240718 0 0 0 96464 555 0 0 25 0 1 0 908052514 57286656 13256 4294967295 134512640 134716908 3221224560 3221220936 1075112619 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 13256 1111 63 0 13923 0
vsize: 55944
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 240718 0 0 0 97465 555 0 0 25 0 1 0 908052514 57286656 13256 4294967295 134512640 134716908 3221224560 3221220832 1074961264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 13256 1111 63 0 13923 0
vsize: 55944
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 240726 0 0 0 98465 555 0 0 25 0 1 0 908052514 57286656 13264 4294967295 134512640 134716908 3221224560 3221220788 1075114937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 13264 1111 63 0 13923 0
vsize: 55944
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 245313 0 0 0 99453 567 0 0 25 0 1 0 908052514 53018624 12265 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12944 12265 1111 63 0 12881 0
vsize: 51776
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 247223 0 0 0 100449 572 0 0 25 0 1 0 908052514 57323520 13125 4294967295 134512640 134716908 3221224560 3221221600 1075971270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13995 13125 1111 63 0 13932 0
vsize: 55980
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 248745 0 0 0 101445 576 0 0 25 0 1 0 908052514 52994048 12259 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12938 12259 1111 63 0 12875 0
vsize: 51752
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 250691 0 0 0 102441 581 0 0 25 0 1 0 908052514 57405440 13155 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14015 13155 1111 63 0 13952 0
vsize: 56060
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 254070 0 0 0 103434 588 0 0 25 0 1 0 908052514 57294848 13131 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13988 13131 1111 63 0 13925 0
vsize: 55952
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 254143 0 0 0 104435 588 0 0 25 0 1 0 908052514 57458688 13204 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14028 13204 1111 63 0 13965 0
vsize: 56112
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 254151 0 0 0 105434 588 0 0 25 0 1 0 908052514 57458688 13212 4294967295 134512640 134716908 3221224560 3221220736 1074882601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14028 13212 1111 63 0 13965 0
vsize: 56112
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 260759 0 0 0 106421 602 0 0 25 0 1 0 908052514 57823232 13358 4294967295 134512640 134716908 3221224560 3221220772 1075117710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14117 13358 1111 63 0 14054 0
vsize: 56468
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 260809 0 0 0 107420 603 0 0 25 0 1 0 908052514 57823232 13405 4294967295 134512640 134716908 3221224560 3221221632 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14117 13405 1111 63 0 14054 0
vsize: 56468
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 260809 0 0 0 108420 603 0 0 25 0 1 0 908052514 57823232 13405 4294967295 134512640 134716908 3221224560 3221220416 1074870843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14117 13405 1111 63 0 14054 0
vsize: 56468
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 260815 0 0 0 109420 603 0 0 25 0 1 0 908052514 57974784 13411 4294967295 134512640 134716908 3221224560 3221220736 1074882604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14154 13411 1111 63 0 14091 0
vsize: 56616
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 262322 0 0 0 110416 607 0 0 25 0 1 0 908052514 54161408 12512 4294967295 134512640 134716908 3221224560 3221222880 1074039446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13223 12512 1111 63 0 13160 0
vsize: 52892
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 267418 0 0 0 111402 621 0 0 25 0 1 0 908052514 57819136 13207 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14116 13207 1111 63 0 14053 0
vsize: 56464
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 267520 0 0 0 112402 621 0 0 25 0 1 0 908052514 57958400 13306 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14150 13306 1111 63 0 14087 0
vsize: 56600
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 269104 0 0 0 113398 625 0 0 25 0 1 0 908052514 53440512 12368 4294967295 134512640 134716908 3221224560 3221221984 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13047 12368 1111 63 0 12984 0
vsize: 52188
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 271101 0 0 0 114393 631 0 0 25 0 1 0 908052514 57884672 13279 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14132 13279 1111 63 0 14069 0
vsize: 56528
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 272692 0 0 0 115389 635 0 0 25 0 1 0 908052514 53469184 12375 4294967295 134512640 134716908 3221224560 3221221856 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13054 12375 1111 63 0 12991 0
vsize: 52216
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 274744 0 0 0 116383 641 0 0 25 0 1 0 908052514 57954304 13289 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14149 13289 1111 63 0 14086 0
vsize: 56596
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 274748 0 0 0 117383 641 0 0 25 0 1 0 908052514 57954304 13293 4294967295 134512640 134716908 3221224560 3221220468 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14149 13293 1111 63 0 14086 0
vsize: 56596
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 278277 0 0 0 118374 650 0 0 25 0 1 0 908052514 57987072 13413 4294967295 134512640 134716908 3221224560 3221220416 1074871208 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14157 13413 1111 63 0 14094 0
vsize: 56628
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) R 4578 20224 20223 0 -1 0 278290 0 0 0 119374 650 0 0 25 0 1 0 908052514 57987072 13426 4294967295 134512640 134716908 3221224560 3221220528 1074872790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14157 13426 1111 63 0 14094 0
vsize: 56628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 4579
Raw data (stat): 4579 (bsolo_lpr_cuts-) Z 4578 20224 20223 0 -1 1036 278290 0 0 0 119374 653 0 0 25 0 1 0 908052514 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.13
CPU time (s): 1200.28
CPU user time (s): 1193.74
CPU system time (s): 6.53401
CPU usage (%): 100.012
Max. virtual memory (Kb): 56628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####