PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb
MD5SUM	47daf5749c77d7eb7d5d94fe2374f355
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1448
Optimality of the best value was proved	NO
Number of terms in the objective function	3002
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	3002
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3002
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	3002
Total number of constraints	5076
Number of constraints which are clauses	5076
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	6
Trace number 40801

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        834624 kB
Buffers:         29516 kB
Cached:         148812 kB
SwapCached:        648 kB
Active:          40736 kB
Inactive:       139636 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        834372 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14072 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:22:29 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 28841 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 3002 variables and 5076 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.82 0.90 0.90 2/54 23148
Raw data (stat): 23148 (runsolver) R 23147 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905079904 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.01 s]
Raw data (loadavg): 0.85 0.90 0.90 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 11877 0 0 0 971 27 0 0 25 0 1 0 905079904 29962240 6440 4294967295 134512640 134716908 3221224576 3221223200 134529298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7315 6440 1111 63 0 7252 0
vsize: 29260
[startup+20.018 s]
Raw data (loadavg): 0.87 0.91 0.90 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 20998 0 0 0 1951 48 0 0 25 0 1 0 905079904 39632896 8830 4294967295 134512640 134716908 3221224576 3221223104 134543693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8830 1111 63 0 9613 0
vsize: 38704
[startup+30.0191 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 24487 0 0 0 2943 56 0 0 25 0 1 0 905079904 43298816 9725 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10571 9725 1111 63 0 10508 0
vsize: 42284
[startup+40.0185 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 27469 0 0 0 3938 61 0 0 25 0 1 0 905079904 48422912 10973 4294967295 134512640 134716908 3221224576 3221223328 134630838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11822 10973 1111 63 0 11759 0
vsize: 47288
[startup+50.0192 s]
Raw data (loadavg): 0.98 0.93 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 29296 0 0 0 4935 64 0 0 25 0 1 0 905079904 52101120 11874 4294967295 134512640 134716908 3221224576 3221223104 134528680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 11874 1111 63 0 12657 0
vsize: 50880
[startup+60.0193 s]
Raw data (loadavg): 0.99 0.93 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 30572 0 0 0 5931 68 0 0 25 0 1 0 905079904 55234560 12607 4294967295 134512640 134716908 3221224576 3221223088 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13485 12607 1111 63 0 13422 0
vsize: 53940
[startup+70.0191 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 31984 0 0 0 6929 71 0 0 25 0 1 0 905079904 57966592 13306 4294967295 134512640 134716908 3221224576 3221222908 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14152 13306 1111 63 0 14089 0
vsize: 56608
[startup+80.0195 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 33085 0 0 0 7926 74 0 0 25 0 1 0 905079904 60702720 13942 4294967295 134512640 134716908 3221224576 3221223184 134529152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14820 13942 1111 63 0 14757 0
vsize: 59280
[startup+90.0196 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 34093 0 0 0 8925 75 0 0 25 0 1 0 905079904 63369216 14593 4294967295 134512640 134716908 3221224576 3221223192 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15471 14593 1111 63 0 15408 0
vsize: 61884
[startup+100.02 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 35056 0 0 0 9923 77 0 0 25 0 1 0 905079904 65896448 15227 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15227 1111 63 0 16025 0
vsize: 64352
[startup+110.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 38664 0 0 0 10916 85 0 0 25 0 1 0 905079904 69939200 16229 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16229 1111 63 0 17012 0
vsize: 68300
[startup+120.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 38664 0 0 0 11916 85 0 0 25 0 1 0 905079904 69939200 16229 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17075 16229 1111 63 0 17012 0
vsize: 68300
[startup+130.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 39053 0 0 0 12916 85 0 0 25 0 1 0 905079904 70737920 16392 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17270 16392 1111 63 0 17207 0
vsize: 69080
[startup+140.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 39898 0 0 0 13914 87 0 0 25 0 1 0 905079904 72433664 16795 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17684 16795 1111 63 0 17621 0
vsize: 70736
[startup+150.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 40697 0 0 0 14912 89 0 0 25 0 1 0 905079904 74313728 17241 4294967295 134512640 134716908 3221224576 3221223308 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18143 17241 1111 63 0 18080 0
vsize: 72572
[startup+160.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 41586 0 0 0 15910 91 0 0 25 0 1 0 905079904 76169216 17695 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18596 17695 1111 63 0 18533 0
vsize: 74384
[startup+170.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 42185 0 0 0 16910 92 0 0 25 0 1 0 905079904 77389824 18026 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18894 18026 1111 63 0 18831 0
vsize: 75576
[startup+180.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 42758 0 0 0 17909 93 0 0 25 0 1 0 905079904 79130624 18419 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19319 18419 1111 63 0 19256 0
vsize: 77276
[startup+190.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 43521 0 0 0 18908 95 0 0 25 0 1 0 905079904 80588800 18776 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19675 18776 1111 63 0 19612 0
vsize: 78700
[startup+200.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23148
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 44131 0 0 0 19907 96 0 0 25 0 1 0 905079904 81887232 19125 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19992 19125 1111 63 0 19929 0
vsize: 79968
[startup+210.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 44765 0 0 0 20905 97 0 0 25 0 1 0 905079904 83374080 19466 4294967295 134512640 134716908 3221224576 3221223104 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20355 19466 1111 63 0 20292 0
vsize: 81420
[startup+220.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 45539 0 0 0 21904 99 0 0 25 0 1 0 905079904 84824064 19811 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20709 19811 1111 63 0 20646 0
vsize: 82836
[startup+230.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 46099 0 0 0 22903 100 0 0 25 0 1 0 905079904 85925888 20112 4294967295 134512640 134716908 3221224576 3221222908 134535959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20978 20112 1111 63 0 20915 0
vsize: 83912
[startup+240.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 46928 0 0 0 23902 101 0 0 25 0 1 0 905079904 86732800 20310 4294967295 134512640 134716908 3221224576 3221223056 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21175 20310 1111 63 0 21112 0
vsize: 84700
[startup+250.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 47432 0 0 0 24901 103 0 0 25 0 1 0 905079904 88051712 20604 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21497 20604 1111 63 0 21434 0
vsize: 85988
[startup+260.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 47925 0 0 0 25900 104 0 0 25 0 1 0 905079904 89100288 20889 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21753 20889 1111 63 0 21690 0
vsize: 87012
[startup+270.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 48451 0 0 0 26898 105 0 0 25 0 1 0 905079904 90148864 21145 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22009 21145 1111 63 0 21946 0
vsize: 88036
[startup+280.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 48721 0 0 0 27898 106 0 0 25 0 1 0 905079904 90443776 21218 4294967295 134512640 134716908 3221224576 3221222984 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22081 21218 1111 63 0 22018 0
vsize: 88324
[startup+290.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 49141 0 0 0 28897 107 0 0 25 0 1 0 905079904 91488256 21473 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22336 21473 1111 63 0 22273 0
vsize: 89344
[startup+300.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 49719 0 0 0 29897 107 0 0 25 0 1 0 905079904 92622848 21720 4294967295 134512640 134716908 3221224576 3221222956 134539341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22613 21720 1111 63 0 22550 0
vsize: 90452
[startup+310.028 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 50373 0 0 0 30896 109 0 0 25 0 1 0 905079904 93872128 22027 4294967295 134512640 134716908 3221224576 3221223180 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22918 22027 1111 63 0 22855 0
vsize: 91672
[startup+320.027 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 50866 0 0 0 31894 110 0 0 25 0 1 0 905079904 95113216 22342 4294967295 134512640 134716908 3221224576 3221223068 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23221 22342 1111 63 0 23158 0
vsize: 92884
[startup+330.031 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 51559 0 0 0 32894 112 0 0 25 0 1 0 905079904 96342016 22659 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23521 22659 1111 63 0 23458 0
vsize: 94084
[startup+340.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 51937 0 0 0 33892 113 0 0 25 0 1 0 905079904 97275904 22887 4294967295 134512640 134716908 3221224576 3221223056 134523904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23749 22887 1111 63 0 23686 0
vsize: 94996
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 52283 0 0 0 34892 114 0 0 25 0 1 0 905079904 98201600 23114 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23975 23114 1111 63 0 23912 0
vsize: 95900
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 52685 0 0 0 35891 115 0 0 25 0 1 0 905079904 99115008 23337 4294967295 134512640 134716908 3221224576 3221223104 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24198 23337 1111 63 0 24135 0
vsize: 96792
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 53086 0 0 0 36890 116 0 0 25 0 1 0 905079904 100024320 23559 4294967295 134512640 134716908 3221224576 3221223104 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24420 23559 1111 63 0 24357 0
vsize: 97680
[startup+380.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 53483 0 0 0 37889 117 0 0 25 0 1 0 905079904 100921344 23779 4294967295 134512640 134716908 3221224576 3221222988 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24639 23779 1111 63 0 24576 0
vsize: 98556
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 53880 0 0 0 38888 118 0 0 25 0 1 0 905079904 101945344 24026 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24889 24026 1111 63 0 24826 0
vsize: 99556
[startup+400.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 54190 0 0 0 39888 119 0 0 25 0 1 0 905079904 102555648 24175 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25038 24175 1111 63 0 24975 0
vsize: 100152
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59776 0 0 0 40875 132 0 0 25 0 1 0 905079904 110014464 25977 4294967295 134512640 134716908 3221224576 3221223056 134539371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59776 0 0 0 41875 132 0 0 25 0 1 0 905079904 110014464 25977 4294967295 134512640 134716908 3221224576 3221222908 134535928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+430.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59776 0 0 0 42875 132 0 0 25 0 1 0 905079904 110014464 25977 4294967295 134512640 134716908 3221224576 3221223068 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+440.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59776 0 0 0 43875 132 0 0 25 0 1 0 905079904 110014464 25977 4294967295 134512640 134716908 3221224576 3221222984 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25977 1111 63 0 26796 0
vsize: 107436
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59777 0 0 0 44875 132 0 0 25 0 1 0 905079904 110014464 25978 4294967295 134512640 134716908 3221224576 3221223308 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25978 1111 63 0 26796 0
vsize: 107436
[startup+460.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59777 0 0 0 45876 132 0 0 25 0 1 0 905079904 110014464 25978 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25978 1111 63 0 26796 0
vsize: 107436
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 59778 0 0 0 46876 132 0 0 25 0 1 0 905079904 110014464 25979 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26859 25979 1111 63 0 26796 0
vsize: 107436
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 60023 0 0 0 47876 133 0 0 25 0 1 0 905079904 110186496 26044 4294967295 134512640 134716908 3221224576 3221223056 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26901 26044 1111 63 0 26838 0
vsize: 107604
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 61649 0 0 0 48872 137 0 0 25 0 1 0 905079904 111063040 26259 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27115 26259 1111 63 0 27052 0
vsize: 108460
[startup+500.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 62237 0 0 0 49871 138 0 0 25 0 1 0 905079904 112062464 26477 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27359 26477 1111 63 0 27296 0
vsize: 109436
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 62796 0 0 0 50870 139 0 0 25 0 1 0 905079904 112742400 26666 4294967295 134512640 134716908 3221224576 3221223116 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27525 26666 1111 63 0 27462 0
vsize: 110100
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 63451 0 0 0 51868 141 0 0 25 0 1 0 905079904 113360896 26802 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27676 26802 1111 63 0 27613 0
vsize: 110704
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 65890 0 0 0 52863 146 0 0 25 0 1 0 905079904 113717248 26896 4294967295 134512640 134716908 3221224576 3221222940 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27763 26896 1111 63 0 27700 0
vsize: 111052
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 66996 0 0 0 53861 149 0 0 25 0 1 0 905079904 114380800 27069 4294967295 134512640 134716908 3221224576 3221222968 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27925 27069 1111 63 0 27862 0
vsize: 111700
[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 67516 0 0 0 54860 150 0 0 25 0 1 0 905079904 115044352 27220 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28087 27220 1111 63 0 28024 0
vsize: 112348
[startup+560.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82670 0 0 0 55826 184 0 0 25 0 1 0 905079904 119889920 28415 4294967295 134512640 134716908 3221224576 3221222984 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+570.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82670 0 0 0 56826 184 0 0 25 0 1 0 905079904 119889920 28415 4294967295 134512640 134716908 3221224576 3221223200 134529266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+580.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82670 0 0 0 57827 184 0 0 25 0 1 0 905079904 119889920 28415 4294967295 134512640 134716908 3221224576 3221223060 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+590.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82670 0 0 0 58827 184 0 0 25 0 1 0 905079904 119889920 28415 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+600.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82670 0 0 0 59827 184 0 0 25 0 1 0 905079904 119889920 28415 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28415 1111 63 0 29207 0
vsize: 117080
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 82671 0 0 0 60827 184 0 0 25 0 1 0 905079904 119889920 28416 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29270 28416 1111 63 0 29207 0
vsize: 117080
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83727 0 0 0 61824 187 0 0 25 0 1 0 905079904 122589184 29075 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+630.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83727 0 0 0 62824 187 0 0 25 0 1 0 905079904 122589184 29075 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83727 0 0 0 63825 187 0 0 25 0 1 0 905079904 122589184 29075 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+650.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83727 0 0 0 64825 187 0 0 25 0 1 0 905079904 122589184 29075 4294967295 134512640 134716908 3221224576 3221223040 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29075 1111 63 0 29866 0
vsize: 119716
[startup+660.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83728 0 0 0 65825 187 0 0 25 0 1 0 905079904 122589184 29076 4294967295 134512640 134716908 3221224576 3221223216 134584962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29929 29076 1111 63 0 29866 0
vsize: 119716
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 83963 0 0 0 66824 188 0 0 25 0 1 0 905079904 122703872 29104 4294967295 134512640 134716908 3221224576 3221222976 134542775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29957 29104 1111 63 0 29894 0
vsize: 119828
[startup+680.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 84492 0 0 0 67824 188 0 0 25 0 1 0 905079904 123580416 29303 4294967295 134512640 134716908 3221224576 3221223200 134529168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30171 29303 1111 63 0 30108 0
vsize: 120684
[startup+690.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 85327 0 0 0 68822 190 0 0 25 0 1 0 905079904 123830272 29379 4294967295 134512640 134716908 3221224576 3221223056 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30232 29379 1111 63 0 30169 0
vsize: 120928
[startup+700.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 86148 0 0 0 69821 192 0 0 25 0 1 0 905079904 124719104 29586 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30449 29586 1111 63 0 30386 0
vsize: 121796
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 87032 0 0 0 70819 194 0 0 25 0 1 0 905079904 124805120 29618 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30470 29618 1111 63 0 30407 0
vsize: 121880
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 87611 0 0 0 71817 195 0 0 25 0 1 0 905079904 125628416 29813 4294967295 134512640 134716908 3221224576 3221223312 134630826 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30671 29813 1111 63 0 30608 0
vsize: 122684
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 87989 0 0 0 72817 196 0 0 25 0 1 0 905079904 126107648 29918 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30788 29918 1111 63 0 30725 0
vsize: 123152
[startup+740.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 88724 0 0 0 73816 197 0 0 25 0 1 0 905079904 126386176 30005 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30856 30005 1111 63 0 30793 0
vsize: 123424
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 89207 0 0 0 74815 198 0 0 25 0 1 0 905079904 127115264 30177 4294967295 134512640 134716908 3221224576 3221223312 134630847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31034 30177 1111 63 0 30971 0
vsize: 124136
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 89597 0 0 0 75815 199 0 0 25 0 1 0 905079904 127582208 30280 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31148 30280 1111 63 0 31085 0
vsize: 124592
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 90635 0 0 0 76813 201 0 0 25 0 1 0 905079904 127639552 30311 4294967295 134512640 134716908 3221224576 3221223036 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31162 30311 1111 63 0 31099 0
vsize: 124648
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 92918 0 0 0 77808 206 0 0 25 0 1 0 905079904 127991808 30397 4294967295 134512640 134716908 3221224576 3221223104 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31248 30397 1111 63 0 31185 0
vsize: 124992
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 93437 0 0 0 78807 207 0 0 25 0 1 0 905079904 128823296 30584 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31451 30584 1111 63 0 31388 0
vsize: 125804
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 94314 0 0 0 79806 209 0 0 25 0 1 0 905079904 129318912 30722 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31572 30722 1111 63 0 31509 0
vsize: 126288
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 94583 0 0 0 80805 210 0 0 25 0 1 0 905079904 130306048 30940 4294967295 134512640 134716908 3221224576 3221223136 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31813 30940 1111 63 0 31750 0
vsize: 127252
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 95424 0 0 0 81803 212 0 0 25 0 1 0 905079904 129687552 30812 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31662 30812 1111 63 0 31599 0
vsize: 126648
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 95970 0 0 0 82802 212 0 0 25 0 1 0 905079904 130293760 30954 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31810 30954 1111 63 0 31747 0
vsize: 127240
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 97187 0 0 0 83799 216 0 0 25 0 1 0 905079904 130736128 31065 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31918 31065 1111 63 0 31855 0
vsize: 127672
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 114960 0 0 0 84758 257 0 0 25 0 1 0 905079904 132681728 31543 4294967295 134512640 134716908 3221224576 3221223000 134542663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 114960 0 0 0 85758 257 0 0 25 0 1 0 905079904 132681728 31543 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 114960 0 0 0 86758 257 0 0 25 0 1 0 905079904 132681728 31543 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31543 1111 63 0 32330 0
vsize: 129572
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 114961 0 0 0 87758 257 0 0 25 0 1 0 905079904 132681728 31544 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32393 31544 1111 63 0 32330 0
vsize: 129572
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 115036 0 0 0 88759 257 0 0 25 0 1 0 905079904 132960256 31583 4294967295 134512640 134716908 3221224576 3221223152 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32461 31583 1111 63 0 32398 0
vsize: 129844
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 115420 0 0 0 89758 258 0 0 25 0 1 0 905079904 133242880 31673 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32530 31673 1111 63 0 32467 0
vsize: 130120
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 115877 0 0 0 90757 260 0 0 25 0 1 0 905079904 133599232 31762 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32617 31762 1111 63 0 32554 0
vsize: 130468
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 116332 0 0 0 91756 260 0 0 25 0 1 0 905079904 133963776 31851 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32706 31851 1111 63 0 32643 0
vsize: 130824
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 116791 0 0 0 92755 262 0 0 25 0 1 0 905079904 134062080 31854 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32730 31854 1111 63 0 32667 0
vsize: 130920
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 117240 0 0 0 93754 263 0 0 25 0 1 0 905079904 134324224 31946 4294967295 134512640 134716908 3221224576 3221222992 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32794 31946 1111 63 0 32731 0
vsize: 131176
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 117688 0 0 0 94752 265 0 0 25 0 1 0 905079904 134778880 32028 4294967295 134512640 134716908 3221224576 3221223008 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32905 32028 1111 63 0 32842 0
vsize: 131620
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 118135 0 0 0 95751 266 0 0 25 0 1 0 905079904 135401472 32201 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33057 32201 1111 63 0 32994 0
vsize: 132228
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 118586 0 0 0 96750 267 0 0 25 0 1 0 905079904 135737344 32285 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33139 32285 1111 63 0 33076 0
vsize: 132556
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 119035 0 0 0 97750 268 0 0 25 0 1 0 905079904 136089600 32369 4294967295 134512640 134716908 3221224576 3221223088 134542963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33225 32369 1111 63 0 33162 0
vsize: 132900
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 120149 0 0 0 98747 270 0 0 25 0 1 0 905079904 136425472 32453 4294967295 134512640 134716908 3221224576 3221223152 134523971 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33307 32453 1111 63 0 33244 0
vsize: 133228
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 120598 0 0 0 99746 272 0 0 25 0 1 0 905079904 136769536 32535 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33391 32535 1111 63 0 33328 0
vsize: 133564
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 121036 0 0 0 100746 273 0 0 25 0 1 0 905079904 137097216 32615 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33471 32615 1111 63 0 33408 0
vsize: 133884
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 121411 0 0 0 101745 273 0 0 25 0 1 0 905079904 137428992 32696 4294967295 134512640 134716908 3221224576 3221223056 134539385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33552 32696 1111 63 0 33489 0
vsize: 134208
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 121730 0 0 0 102745 274 0 0 25 0 1 0 905079904 137736192 32774 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33627 32774 1111 63 0 33564 0
vsize: 134508
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 122079 0 0 0 103744 275 0 0 25 0 1 0 905079904 137646080 32758 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33605 32758 1111 63 0 33542 0
vsize: 134420
[startup+1050.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 122727 0 0 0 104742 277 0 0 25 0 1 0 905079904 138801152 33040 4294967295 134512640 134716908 3221224576 3221222940 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33887 33040 1111 63 0 33824 0
vsize: 135548
[startup+1060.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 123154 0 0 0 105741 278 0 0 25 0 1 0 905079904 139046912 33100 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33947 33100 1111 63 0 33884 0
vsize: 135788
[startup+1070.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 123594 0 0 0 106740 279 0 0 25 0 1 0 905079904 139767808 33265 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34123 33265 1111 63 0 34060 0
vsize: 136492
[startup+1080.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 123928 0 0 0 107740 280 0 0 25 0 1 0 905079904 140312576 33340 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34256 33340 1111 63 0 34193 0
vsize: 137024
[startup+1090.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 124135 0 0 0 108739 281 0 0 25 0 1 0 905079904 140591104 33411 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34324 33411 1111 63 0 34261 0
vsize: 137296
[startup+1100.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 124513 0 0 0 109739 281 0 0 25 0 1 0 905079904 140722176 33432 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34356 33435 1111 63 0 34293 0
vsize: 137424
[startup+1110.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 124870 0 0 0 110738 282 0 0 25 0 1 0 905079904 140570624 33423 4294967295 134512640 134716908 3221224576 3221222992 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34319 33423 1111 63 0 34256 0
vsize: 137276
[startup+1120.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 125291 0 0 0 111737 283 0 0 25 0 1 0 905079904 141262848 33584 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34488 33584 1111 63 0 34425 0
vsize: 137952
[startup+1130.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 125634 0 0 0 112737 284 0 0 25 0 1 0 905079904 141549568 33652 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34558 33652 1111 63 0 34495 0
vsize: 138232
[startup+1140.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 125871 0 0 0 113737 284 0 0 25 0 1 0 905079904 141832192 33719 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34627 33719 1111 63 0 34564 0
vsize: 138508
[startup+1150.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 126162 0 0 0 114736 285 0 0 25 0 1 0 905079904 141660160 33689 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34585 33689 1111 63 0 34522 0
vsize: 138340
[startup+1160.05 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 126593 0 0 0 115735 286 0 0 25 0 1 0 905079904 141922304 33753 4294967295 134512640 134716908 3221224576 3221222960 134542334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34649 33753 1111 63 0 34586 0
vsize: 138596
[startup+1170.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 127024 0 0 0 116734 287 0 0 25 0 1 0 905079904 142626816 33909 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34821 33909 1111 63 0 34758 0
vsize: 139284
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 127451 0 0 0 117734 288 0 0 25 0 1 0 905079904 142884864 33971 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34884 33971 1111 63 0 34821 0
vsize: 139536
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 127758 0 0 0 118733 289 0 0 25 0 1 0 905079904 142573568 33913 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34808 33913 1111 63 0 34745 0
vsize: 139232
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) R 23147 7266 7265 0 -1 0 128847 0 0 0 119731 291 0 0 25 0 1 0 905079904 143249408 34067 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34973 34067 1111 63 0 34910 0
vsize: 139892
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23150
Raw data (stat): 23148 (bsolo_lpr_cuts-) Z 23147 7266 7265 0 -1 1036 128847 0 0 0 119731 297 0 0 25 0 1 0 905079904 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.11
CPU time (s): 1200.29
CPU user time (s): 1197.32
CPU system time (s): 2.97555
CPU usage (%): 100.015
Max. virtual memory (Kb): 139892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####