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/een/normalized-lseu.opb
MD5SUM	a578bf261896413ca78de4dc6db2447f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	89
Total number of constraints	28
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	15
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	2
Maximum length of a constraint	47
Trace number 40936

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        903132 kB
Buffers:         25108 kB
Cached:          82636 kB
SwapCached:       4048 kB
Active:          29536 kB
Inactive:        83368 kB
HighTotal:      131008 kB
HighFree:        49700 kB
LowTotal:       903652 kB
LowFree:        853432 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            12972 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:20:45 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 29001 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.043 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.013
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 3058 @ 0.441
c NEW SOLUTION FOUND: 2936 @ 0.484
c NEW SOLUTION FOUND: 2933 @ 0.493
c NEW SOLUTION FOUND: 2932 @ 0.529
c NEW SOLUTION FOUND: 2722 @ 1.017
c NEW SOLUTION FOUND: 2608 @ 1.467
c NEW SOLUTION FOUND: 2602 @ 1.66
c NEW SOLUTION FOUND: 2582 @ 1.747
c NEW SOLUTION FOUND: 2492 @ 2.269
c NEW SOLUTION FOUND: 2486 @ 3.028
c NEW SOLUTION FOUND: 2464 @ 3.585
c NEW SOLUTION FOUND: 2396 @ 3.82
c NEW SOLUTION FOUND: 2317 @ 6.972
c NEW SOLUTION FOUND: 2309 @ 14.621
c NEW SOLUTION FOUND: 2307 @ 16.603
c NEW SOLUTION FOUND: 2300 @ 21.261
c NEW SOLUTION FOUND: 2232 @ 21.303
c NEW SOLUTION FOUND: 2142 @ 91.942
c NEW SOLUTION FOUND: 2141 @ 92.274
c NEW SOLUTION FOUND: 2060 @ 127.085
c NEW SOLUTION FOUND: 1975 @ 195.779
c NEW SOLUTION FOUND: 1938 @ 228.112
c NEW SOLUTION FOUND: 1935 @ 396.689
c NEW SOLUTION FOUND: 1930 @ 581.844
c NEW SOLUTION FOUND: 1929 @ 837.503
c NEW SOLUTION FOUND: 1921 @ 838.41
#### 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.96 0.97 0.91 2/54 5151
Raw data (stat): 5151 (runsolver) R 5150 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906868839 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.0008 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5151
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 8569 0 0 0 959 38 0 0 25 0 1 0 906868839 11960320 2236 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2920 2236 1111 63 0 2857 0
vsize: 11680
[startup+20.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5151
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 26653 0 0 0 1913 83 0 0 25 0 1 0 906868839 14241792 2797 4294967295 134512640 134716908 3221224576 3221222304 1075828569 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3477 2797 1111 63 0 3414 0
vsize: 13908
[startup+30.0024 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5151
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 48766 0 0 0 2862 134 0 0 25 0 1 0 906868839 16785408 3394 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4098 3394 1111 63 0 4035 0
vsize: 16392
[startup+40.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 59548 0 0 0 3838 159 0 0 25 0 1 0 906868839 17313792 3544 4294967295 134512640 134716908 3221224576 3221223056 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4227 3544 1111 63 0 4164 0
vsize: 16908
[startup+50.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 79810 0 0 0 4789 208 0 0 25 0 1 0 906868839 19382272 4036 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4732 4036 1111 63 0 4669 0
vsize: 18928
[startup+60.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 123332 0 0 0 5689 309 0 0 25 0 1 0 906868839 26959872 5641 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6473 5642 1111 63 0 6410 0
vsize: 26328
[startup+70.0047 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 148074 0 0 0 6635 364 0 0 25 0 1 0 906868839 29974528 6572 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7318 6572 1111 63 0 7255 0
vsize: 29272
[startup+80.0051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 170892 0 0 0 7583 416 0 0 25 0 1 0 906868839 31727616 6983 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7746 6983 1111 63 0 7683 0
vsize: 30984
[startup+90.0052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 201616 0 0 0 8517 482 0 0 25 0 1 0 906868839 36048896 7903 4294967295 134512640 134716908 3221224576 3221222576 1074916927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8801 7903 1111 63 0 8738 0
vsize: 35204
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 244169 0 0 0 9423 577 0 0 25 0 1 0 906868839 39739392 8811 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9702 8811 1111 63 0 9639 0
vsize: 38808
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 258480 0 0 0 10392 608 0 0 25 0 1 0 906868839 42582016 9362 4294967295 134512640 134716908 3221224576 3221220804 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10396 9362 1111 63 0 10333 0
vsize: 41584
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 274864 0 0 0 11355 645 0 0 25 0 1 0 906868839 42299392 9458 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10327 9458 1111 63 0 10264 0
vsize: 41308
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 296739 0 0 0 12302 698 0 0 25 0 1 0 906868839 45252608 9953 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10829 9947 1111 63 0 10766 0
vsize: 44192
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 309399 0 0 0 13273 728 0 0 25 0 1 0 906868839 45686784 10250 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11154 10250 1111 63 0 11091 0
vsize: 44616
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 334901 0 0 0 14216 785 0 0 25 0 1 0 906868839 50069504 11282 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12224 11282 1111 63 0 12161 0
vsize: 48896
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 338539 0 0 0 15208 793 0 0 25 0 1 0 906868839 48902144 11022 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11939 11022 1111 63 0 11876 0
vsize: 47756
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 342710 0 0 0 16199 803 0 0 25 0 1 0 906868839 50237440 11198 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12265 11198 1111 63 0 12202 0
vsize: 49060
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 360552 0 0 0 17157 845 0 0 25 0 1 0 906868839 50040832 11298 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12217 11298 1111 63 0 12154 0
vsize: 48868
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 369640 0 0 0 18137 865 0 0 25 0 1 0 906868839 51003392 11535 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12452 11535 1111 63 0 12389 0
vsize: 49808
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 405555 0 0 0 19056 947 0 0 25 0 1 0 906868839 54063104 12250 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13254 12251 1111 63 0 13191 0
vsize: 52796
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 421874 0 0 0 20017 986 0 0 25 0 1 0 906868839 55500800 12583 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13550 12583 1111 63 0 13487 0
vsize: 54200
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 448722 0 0 0 20959 1045 0 0 25 0 1 0 906868839 59453440 13308 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14515 13308 1111 63 0 14452 0
vsize: 58060
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 489754 0 0 0 21866 1138 0 0 25 0 1 0 906868839 63791104 14249 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15574 14250 1111 63 0 15511 0
vsize: 62296
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 536476 0 0 0 22763 1241 0 0 25 0 1 0 906868839 69595136 15710 4294967295 134512640 134716908 3221224576 3221223368 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16991 15710 1111 63 0 16928 0
vsize: 67964
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 560669 0 0 0 23712 1293 0 0 25 0 1 0 906868839 72458240 16388 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17690 16388 1111 63 0 17627 0
vsize: 70760
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 560895 0 0 0 24710 1295 0 0 25 0 1 0 906868839 73138176 16542 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17856 16542 1111 63 0 17793 0
vsize: 71424
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5153
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 25708 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18675 17383 1111 63 0 18612 0
vsize: 74700
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 26708 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18675 17383 1111 63 0 18612 0
vsize: 74700
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 27709 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18675 17383 1111 63 0 18612 0
vsize: 74700
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 562101 0 0 0 28709 1298 0 0 25 0 1 0 906868839 76492800 17383 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18675 17383 1111 63 0 18612 0
vsize: 74700
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 565922 0 0 0 29701 1306 0 0 25 0 1 0 906868839 73551872 16675 4294967295 134512640 134716908 3221224576 3221223372 134536888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17957 16675 1111 63 0 17894 0
vsize: 71828
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 566558 0 0 0 30700 1308 0 0 25 0 1 0 906868839 74047488 16796 4294967295 134512640 134716908 3221224576 3221222576 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18078 16796 1111 63 0 18015 0
vsize: 72312
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 570723 0 0 0 31691 1317 0 0 25 0 1 0 906868839 73654272 16700 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17982 16700 1111 63 0 17919 0
vsize: 71928
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 573784 0 0 0 32684 1324 0 0 25 0 1 0 906868839 73351168 16626 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17908 16626 1111 63 0 17845 0
vsize: 71632
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 581580 0 0 0 33666 1343 0 0 25 0 1 0 906868839 72781824 16455 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17769 16455 1111 63 0 17706 0
vsize: 71076
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 586740 0 0 0 34654 1355 0 0 25 0 1 0 906868839 72372224 16388 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17669 16388 1111 63 0 17606 0
vsize: 70676
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 590858 0 0 0 35645 1365 0 0 25 0 1 0 906868839 73211904 16563 4294967295 134512640 134716908 3221224576 3221222640 1075961750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17874 16563 1111 63 0 17811 0
vsize: 71496
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 610503 0 0 0 36600 1410 0 0 25 0 1 0 906868839 73097216 16544 4294967295 134512640 134716908 3221224576 3221222576 1074918343 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17846 16544 1111 63 0 17783 0
vsize: 71384
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 641980 0 0 0 37526 1484 0 0 25 0 1 0 906868839 75218944 17066 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18364 17066 1111 63 0 18301 0
vsize: 73456
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 675232 0 0 0 38451 1559 0 0 25 0 1 0 906868839 76713984 17430 4294967295 134512640 134716908 3221224576 3221223368 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18729 17430 1111 63 0 18666 0
vsize: 74916
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 676699 0 0 0 39446 1564 0 0 25 0 1 0 906868839 78036992 17758 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19052 17758 1111 63 0 18989 0
vsize: 76208
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 677532 0 0 0 40445 1566 0 0 25 0 1 0 906868839 80388096 18321 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19626 18321 1111 63 0 19563 0
vsize: 78504
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 679060 0 0 0 41442 1570 0 0 25 0 1 0 906868839 86290432 19248 4294967295 134512640 134716908 3221224576 3221220752 1074882610 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21067 19248 1111 63 0 21004 0
vsize: 84268
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 680933 0 0 0 42437 1574 0 0 25 0 1 0 906868839 79671296 18066 4294967295 134512640 134716908 3221224576 3221223288 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18066 1111 63 0 19388 0
vsize: 77804
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 684536 0 0 0 43428 1584 0 0 25 0 1 0 906868839 79417344 18041 4294967295 134512640 134716908 3221224576 3221222688 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19389 18041 1111 63 0 19326 0
vsize: 77556
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 687063 0 0 0 44423 1589 0 0 25 0 1 0 906868839 78692352 17882 4294967295 134512640 134716908 3221224576 3221223380 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19212 17882 1111 63 0 19149 0
vsize: 76848
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 689349 0 0 0 45418 1595 0 0 25 0 1 0 906868839 77754368 17675 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18983 17675 1111 63 0 18920 0
vsize: 75932
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 710728 0 0 0 46365 1648 0 0 25 0 1 0 906868839 78262272 17796 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19107 17796 1111 63 0 19044 0
vsize: 76428
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 713827 0 0 0 47358 1656 0 0 25 0 1 0 906868839 79523840 18108 4294967295 134512640 134716908 3221224576 3221223312 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19415 18108 1111 63 0 19352 0
vsize: 77660
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 733049 0 0 0 48313 1701 0 0 25 0 1 0 906868839 79163392 18022 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19327 18022 1111 63 0 19264 0
vsize: 77308
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 736880 0 0 0 49303 1711 0 0 25 0 1 0 906868839 78999552 18003 4294967295 134512640 134716908 3221224576 3221223304 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19287 18003 1111 63 0 19224 0
vsize: 77148
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 741883 0 0 0 50291 1723 0 0 25 0 1 0 906868839 79597568 18144 4294967295 134512640 134716908 3221224576 3221222576 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19433 18144 1111 63 0 19370 0
vsize: 77732
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 747839 0 0 0 51278 1737 0 0 25 0 1 0 906868839 80035840 18256 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19540 18256 1111 63 0 19477 0
vsize: 78160
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 756703 0 0 0 52258 1758 0 0 25 0 1 0 906868839 79835136 18209 4294967295 134512640 134716908 3221224576 3221222480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19491 18209 1111 63 0 19428 0
vsize: 77964
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 762429 0 0 0 53246 1770 0 0 25 0 1 0 906868839 79392768 18101 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19383 18101 1111 63 0 19320 0
vsize: 77532
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 778286 0 0 0 54206 1810 0 0 25 0 1 0 906868839 80187392 18298 4294967295 134512640 134716908 3221224576 3221223312 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18298 1111 63 0 19514 0
vsize: 78308
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 804209 0 0 0 55147 1869 0 0 25 0 1 0 906868839 87044096 19362 4294967295 134512640 134716908 3221224576 3221220944 1075894554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21251 19362 1111 63 0 21188 0
vsize: 85004
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 817150 0 0 0 56116 1901 0 0 25 0 1 0 906868839 82051072 18745 4294967295 134512640 134716908 3221224576 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20032 18745 1111 63 0 19969 0
vsize: 80128
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 852529 0 0 0 57031 1985 0 0 25 0 1 0 906868839 91062272 20363 4294967295 134512640 134716908 3221224576 3221220588 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22232 20363 1111 63 0 22169 0
vsize: 88928
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 876244 0 0 0 57978 2039 0 0 25 0 1 0 906868839 85901312 19705 4294967295 134512640 134716908 3221224576 3221222912 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20972 19705 1111 63 0 20909 0
vsize: 83888
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 909673 0 0 0 58898 2119 0 0 25 0 1 0 906868839 88219648 20268 4294967295 134512640 134716908 3221224576 3221223132 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21538 20268 1111 63 0 21475 0
vsize: 86152
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910073 0 0 0 59896 2122 0 0 25 0 1 0 906868839 89522176 20594 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21856 20594 1111 63 0 21793 0
vsize: 87424
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910181 0 0 0 60896 2122 0 0 25 0 1 0 906868839 90054656 20702 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21986 20702 1111 63 0 21923 0
vsize: 87944
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 910252 0 0 0 61896 2123 0 0 25 0 1 0 906868839 90288128 20773 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22043 20773 1111 63 0 21980 0
vsize: 88172
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 911439 0 0 0 62893 2126 0 0 25 0 1 0 906868839 94662656 21467 4294967295 134512640 134716908 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23111 21479 1111 63 0 23048 0
vsize: 92444
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 914160 0 0 0 63887 2132 0 0 25 0 1 0 906868839 100986880 23105 4294967295 134512640 134716908 3221224576 3221220736 1075095367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24655 23105 1111 63 0 24592 0
vsize: 98620
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 64879 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223364 134622402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22644 21284 1111 63 0 22581 0
vsize: 90576
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 65880 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223288 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22644 21284 1111 63 0 22581 0
vsize: 90576
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 66880 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223304 134622793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22644 21284 1111 63 0 22581 0
vsize: 90576
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 917918 0 0 0 67881 2140 0 0 25 0 1 0 906868839 92749824 21284 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22644 21284 1111 63 0 22581 0
vsize: 90576
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 918553 0 0 0 68879 2143 0 0 25 0 1 0 906868839 90963968 20928 4294967295 134512640 134716908 3221224576 3221222576 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22208 20928 1111 63 0 22145 0
vsize: 88832
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 920789 0 0 0 69874 2147 0 0 25 0 1 0 906868839 90214400 20735 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22025 20735 1111 63 0 21962 0
vsize: 88100
[startup+730.038 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 926488 0 0 0 70862 2161 0 0 25 0 1 0 906868839 89219072 20520 4294967295 134512640 134716908 3221224576 3221222460 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21782 20520 1111 63 0 21719 0
vsize: 87128
[startup+740.038 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 948048 0 0 0 71810 2213 0 0 25 0 1 0 906868839 89608192 20615 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21877 20615 1111 63 0 21814 0
vsize: 87508
[startup+750.039 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 952043 0 0 0 72800 2223 0 0 25 0 1 0 906868839 90357760 20806 4294967295 134512640 134716908 3221224576 3221223392 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22060 20806 1111 63 0 21997 0
vsize: 88240
[startup+760.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 964992 0 0 0 73769 2254 0 0 25 0 1 0 906868839 94261248 20807 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23013 20809 1111 63 0 22950 0
vsize: 92052
[startup+770.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 981358 0 0 0 74731 2293 0 0 25 0 1 0 906868839 91643904 21079 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22374 21079 1111 63 0 22311 0
vsize: 89496
[startup+780.042 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 996305 0 0 0 75693 2331 0 0 25 0 1 0 906868839 91557888 21070 4294967295 134512640 134716908 3221224576 3221222720 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22353 21070 1111 63 0 22290 0
vsize: 89412
[startup+790.043 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1009545 0 0 0 76660 2364 0 0 25 0 1 0 906868839 91865088 21148 4294967295 134512640 134716908 3221224576 3221222864 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22428 21148 1111 63 0 22365 0
vsize: 89712
[startup+800.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1020183 0 0 0 77633 2392 0 0 25 0 1 0 906868839 93503488 21467 4294967295 134512640 134716908 3221224576 3221223372 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22828 21467 1111 63 0 22765 0
vsize: 91312
[startup+810.043 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1041880 0 0 0 78584 2442 0 0 25 0 1 0 906868839 93528064 21482 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23793 21488 1111 63 0 23730 0
vsize: 91336
[startup+820.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1082889 0 0 0 79487 2539 0 0 25 0 1 0 906868839 97177600 22327 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23725 22327 1111 63 0 23662 0
vsize: 94900
[startup+830.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1102191 0 0 0 80441 2585 0 0 25 0 1 0 906868839 97320960 22371 4294967295 134512640 134716908 3221224576 3221222504 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23760 22371 1111 63 0 23697 0
vsize: 95040
[startup+840.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1141346 0 0 0 81349 2678 0 0 25 0 1 0 906868839 100401152 23079 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24512 23079 1111 63 0 24449 0
vsize: 98048
[startup+850.047 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1153000 0 0 0 82321 2706 0 0 25 0 1 0 906868839 104529920 23425 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25520 23425 1111 63 0 25457 0
vsize: 102080
[startup+860.046 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1169059 0 0 0 83283 2744 0 0 25 0 1 0 906868839 104497152 23145 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25512 23145 1111 63 0 25449 0
vsize: 102048
[startup+870.045 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1206755 0 0 0 84195 2832 0 0 25 0 1 0 906868839 103489536 23836 4294967295 134512640 134716908 3221224576 3221223288 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25266 23836 1111 63 0 25203 0
vsize: 101064
[startup+880.045 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1238442 0 0 0 85121 2906 0 0 25 0 1 0 906868839 105279488 24240 4294967295 134512640 134716908 3221224576 3221223132 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25703 24240 1111 63 0 25640 0
vsize: 102812
[startup+890.045 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252725 0 0 0 86087 2941 0 0 25 0 1 0 906868839 107880448 24840 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26338 24840 1111 63 0 26275 0
vsize: 105352
[startup+900.045 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252862 0 0 0 87086 2942 0 0 25 0 1 0 906868839 108457984 24977 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26479 24977 1111 63 0 26416 0
vsize: 105916
[startup+910.044 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1252950 0 0 0 88085 2944 0 0 25 0 1 0 906868839 108810240 25065 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26565 25065 1111 63 0 26502 0
vsize: 106260
[startup+920.044 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253014 0 0 0 89084 2945 0 0 25 0 1 0 906868839 109072384 25129 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26629 25129 1111 63 0 26566 0
vsize: 106516
[startup+930.044 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253136 0 0 0 90084 2945 0 0 25 0 1 0 906868839 109694976 25251 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26781 25251 1111 63 0 26718 0
vsize: 107124
[startup+940.044 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253206 0 0 0 91083 2946 0 0 25 0 1 0 906868839 109912064 25321 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26834 25321 1111 63 0 26771 0
vsize: 107336
[startup+950.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253251 0 0 0 92083 2946 0 0 25 0 1 0 906868839 110096384 25366 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26879 25366 1111 63 0 26816 0
vsize: 107516
[startup+960.044 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253297 0 0 0 93083 2947 0 0 25 0 1 0 906868839 110284800 25412 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26925 25412 1111 63 0 26862 0
vsize: 107700
[startup+970.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253360 0 0 0 94083 2947 0 0 25 0 1 0 906868839 110612480 25475 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27005 25475 1111 63 0 26942 0
vsize: 108020
[startup+980.042 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253401 0 0 0 95083 2948 0 0 25 0 1 0 906868839 110780416 25516 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27046 25516 1111 63 0 26983 0
vsize: 108184
[startup+990.043 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253440 0 0 0 96082 2948 0 0 25 0 1 0 906868839 110940160 25555 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27085 25555 1111 63 0 27022 0
vsize: 108340
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253476 0 0 0 97083 2949 0 0 25 0 1 0 906868839 111087616 25591 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27121 25591 1111 63 0 27058 0
vsize: 108484
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253562 0 0 0 98082 2950 0 0 25 0 1 0 906868839 111439872 25677 4294967295 134512640 134716908 3221224576 3221222320 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27207 25677 1111 63 0 27144 0
vsize: 108828
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253594 0 0 0 99082 2950 0 0 25 0 1 0 906868839 111570944 25709 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27239 25709 1111 63 0 27176 0
vsize: 108956
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253622 0 0 0 100082 2950 0 0 25 0 1 0 906868839 111685632 25737 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27267 25737 1111 63 0 27204 0
vsize: 109068
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253654 0 0 0 101082 2951 0 0 25 0 1 0 906868839 111816704 25769 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27299 25769 1111 63 0 27236 0
vsize: 109196
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253679 0 0 0 102081 2952 0 0 25 0 1 0 906868839 111919104 25794 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27324 25794 1111 63 0 27261 0
vsize: 109296
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253739 0 0 0 103081 2952 0 0 25 0 1 0 906868839 112037888 25854 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27353 25854 1111 63 0 27290 0
vsize: 109412
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253766 0 0 0 104080 2953 0 0 25 0 1 0 906868839 112148480 25881 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27380 25881 1111 63 0 27317 0
vsize: 109520
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253788 0 0 0 105080 2953 0 0 25 0 1 0 906868839 112238592 25903 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27402 25903 1111 63 0 27339 0
vsize: 109608
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253812 0 0 0 106080 2954 0 0 25 0 1 0 906868839 112336896 25927 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27426 25927 1111 63 0 27363 0
vsize: 109704
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253839 0 0 0 107081 2954 0 0 25 0 1 0 906868839 112447488 25954 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27453 25954 1111 63 0 27390 0
vsize: 109812
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1253863 0 0 0 108081 2954 0 0 25 0 1 0 906868839 112545792 25978 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27477 25978 1111 63 0 27414 0
vsize: 109908
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 109072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 110072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 111072 2963 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 112073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 113073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 114073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 115073 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 116074 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) R 5150 25568 25567 0 -1 0 1257596 0 0 0 117074 2964 0 0 25 0 1 0 906868839 122470400 28400 4294967295 134512640 134716908 3221224576 3221222576 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28400 1111 63 0 29837 0
vsize: 119600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 5155
Raw data (stat): 5151 (bsolo_lpr_cuts-) Z 5150 25568 25567 0 -1 1036 1257596 0 0 0 117074 2969 0 0 25 0 1 0 906868839 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.1
CPU time (s): 1200.44
CPU user time (s): 1170.75
CPU system time (s): 29.6925
CPU usage (%): 100.029
Max. virtual memory (Kb): 119600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####