PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
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	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 41080

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 05:15:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29134 boxname=wulflinc6 idbench=918 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  5fcfa2f72175b9723ffb2781fb76fcdc  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-lseu.opb
IDLAUNCH: 29134
/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:        811204 kB
Buffers:         29280 kB
Cached:         170312 kB
SwapCached:       4068 kB
Active:          34460 kB
Inactive:       170256 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        810952 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13092 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:35:10 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 29134 7 1200.45 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.073 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.013
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.436
c NEW SOLUTION FOUND: 2823 @ 0.779
c NEW SOLUTION FOUND: 2727 @ 1.163
c NEW SOLUTION FOUND: 2668 @ 3.937
c NEW SOLUTION FOUND: 2665 @ 3.973
c NEW SOLUTION FOUND: 2663 @ 6.301
c NEW SOLUTION FOUND: 2641 @ 6.923
c NEW SOLUTION FOUND: 2638 @ 7.225
c NEW SOLUTION FOUND: 2603 @ 8.086
c NEW SOLUTION FOUND: 2573 @ 11.008
c NEW SOLUTION FOUND: 2546 @ 16.643
c NEW SOLUTION FOUND: 2490 @ 23.164
c NEW SOLUTION FOUND: 2415 @ 27.574
c NEW SOLUTION FOUND: 2405 @ 28.665
c NEW SOLUTION FOUND: 2403 @ 49.739
c NEW SOLUTION FOUND: 2367 @ 70.422
c NEW SOLUTION FOUND: 2353 @ 78.947
c NEW SOLUTION FOUND: 2343 @ 86.95
c NEW SOLUTION FOUND: 2310 @ 89.945
c NEW SOLUTION FOUND: 2293 @ 89.965
c NEW SOLUTION FOUND: 2220 @ 94.243
c NEW SOLUTION FOUND: 2134 @ 95.331
c NEW SOLUTION FOUND: 2101 @ 137.007
c NEW SOLUTION FOUND: 2066 @ 164.336
c NEW SOLUTION FOUND: 2062 @ 182.1
c NEW SOLUTION FOUND: 1976 @ 182.484
c NEW SOLUTION FOUND: 1949 @ 221.529
#### 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.92 0.98 0.91 2/54 7404
Raw data (stat): 7404 (runsolver) R 7403 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907675396 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 8390 0 0 0 963 34 0 0 25 0 1 0 907675396 12726272 2429 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3107 2429 1111 63 0 3044 0
vsize: 12428
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 35929 0 0 0 1899 99 0 0 25 0 1 0 907675396 15998976 3222 4294967295 134512640 134716908 3221224560 3221221856 1074819743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3222 1111 63 0 3843 0
vsize: 15624
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 57550 0 0 0 2848 149 0 0 25 0 1 0 907675396 18247680 3759 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3759 1111 63 0 4392 0
vsize: 17820
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 61146 0 0 0 3840 158 0 0 25 0 1 0 907675396 20111360 4222 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4910 4222 1111 63 0 4847 0
vsize: 19640
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 68413 0 0 0 4823 176 0 0 25 0 1 0 907675396 18509824 3835 4294967295 134512640 134716908 3221224560 3221222608 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4519 3835 1111 63 0 4456 0
vsize: 18076
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 75486 0 0 0 5806 193 0 0 25 0 1 0 907675396 19845120 4119 4294967295 134512640 134716908 3221224560 3221222800 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4845 4119 1111 63 0 4782 0
vsize: 19380
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 81555 0 0 0 6792 207 0 0 25 0 1 0 907675396 19206144 4010 4294967295 134512640 134716908 3221224560 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 4010 1111 63 0 4626 0
vsize: 18756
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 115698 0 0 0 7708 291 0 0 25 0 1 0 907675396 24600576 5250 4294967295 134512640 134716908 3221224560 3221222880 1077378651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6006 5250 1111 63 0 5943 0
vsize: 24024
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 146997 0 0 0 8633 367 0 0 25 0 1 0 907675396 29294592 6379 4294967295 134512640 134716908 3221224560 3221222540 1074208192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7152 6379 1111 63 0 7089 0
vsize: 28608
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 172478 0 0 0 9571 428 0 0 25 0 1 0 907675396 32317440 7121 4294967295 134512640 134716908 3221224560 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7890 7121 1111 63 0 7827 0
vsize: 31560
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 189984 0 0 0 10536 464 0 0 25 0 1 0 907675396 34615296 7515 4294967295 134512640 134716908 3221224560 3221221112 1075509045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8451 7515 1111 63 0 8388 0
vsize: 33804
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 215748 0 0 0 11473 527 0 0 25 0 1 0 907675396 37392384 8191 4294967295 134512640 134716908 3221224560 3221222892 1077373828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9129 8191 1111 63 0 9066 0
vsize: 36516
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 236882 0 0 0 12425 575 0 0 25 0 1 0 907675396 39137280 8720 4294967295 134512640 134716908 3221224560 3221222200 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9555 8720 1111 63 0 9492 0
vsize: 38220
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 272835 0 0 0 13345 656 0 0 25 0 1 0 907675396 43626496 9809 4294967295 134512640 134716908 3221224560 3221223272 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10651 9809 1111 63 0 10588 0
vsize: 42604
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 315497 0 0 0 14247 754 0 0 25 0 1 0 907675396 49516544 11094 4294967295 134512640 134716908 3221224560 3221220928 1075894558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12089 11094 1111 63 0 12026 0
vsize: 48356
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 355458 0 0 0 15155 847 0 0 25 0 1 0 907675396 54689792 12374 4294967295 134512640 134716908 3221224560 3221222960 134652440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13352 12374 1111 63 0 13289 0
vsize: 53408
[startup+170.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 376915 0 0 0 16110 891 0 0 25 0 1 0 907675396 56487936 12799 4294967295 134512640 134716908 3221224560 3221222288 1075635961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13791 12799 1111 63 0 13728 0
vsize: 55164
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 391166 0 0 0 17076 926 0 0 25 0 1 0 907675396 57466880 13058 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14030 13058 1111 63 0 13967 0
vsize: 56120
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 406644 0 0 0 18046 957 0 0 25 0 1 0 907675396 60743680 13831 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14830 13831 1111 63 0 14767 0
vsize: 59320
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 410499 0 0 0 19037 965 0 0 25 0 1 0 907675396 59133952 13463 4294967295 134512640 134716908 3221224560 3221221680 1074865254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14437 13463 1111 63 0 14374 0
vsize: 57748
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 420020 0 0 0 20015 988 0 0 25 0 1 0 907675396 61153280 13735 4294967295 134512640 134716908 3221224560 3221221480 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14708 13651 1111 63 0 14645 0
vsize: 59720
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 425895 0 0 0 21003 1001 0 0 25 0 1 0 907675396 59613184 13580 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14554 13580 1111 63 0 14491 0
vsize: 58216
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 442753 0 0 0 21962 1041 0 0 25 0 1 0 907675396 61304832 13978 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14967 13978 1111 63 0 14904 0
vsize: 59868
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 451770 0 0 0 22943 1061 0 0 25 0 1 0 907675396 62779392 14345 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15327 14345 1111 63 0 15264 0
vsize: 61308
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 451911 0 0 0 23942 1063 0 0 25 0 1 0 907675396 63352832 14485 4294967295 134512640 134716908 3221224560 3221222656 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15467 14485 1111 63 0 15404 0
vsize: 61868
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 452004 0 0 0 24941 1064 0 0 25 0 1 0 907675396 63864832 14578 4294967295 134512640 134716908 3221224560 3221222608 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15592 14578 1111 63 0 15529 0
vsize: 62368
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 452099 0 0 0 25940 1065 0 0 25 0 1 0 907675396 64155648 14673 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15663 14673 1111 63 0 15600 0
vsize: 62652
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 452174 0 0 0 26940 1066 0 0 25 0 1 0 907675396 64561152 14748 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15762 14748 1111 63 0 15699 0
vsize: 63048
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 452223 0 0 0 27939 1067 0 0 25 0 1 0 907675396 64761856 14797 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15811 14797 1111 63 0 15748 0
vsize: 63244
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 28936 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 29936 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 30937 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 31937 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 32937 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 454038 0 0 0 33938 1070 0 0 25 0 1 0 907675396 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 459853 0 0 0 34925 1084 0 0 25 0 1 0 907675396 64798720 14838 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 459853 0 0 0 35925 1084 0 0 25 0 1 0 907675396 64798720 14838 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 459853 0 0 0 36925 1084 0 0 25 0 1 0 907675396 64798720 14838 4294967295 134512640 134716908 3221224560 3221223280 134622900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 460105 0 0 0 37924 1085 0 0 25 0 1 0 907675396 63434752 14505 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15487 14505 1111 63 0 15424 0
vsize: 61948
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 460195 0 0 0 38923 1087 0 0 25 0 1 0 907675396 63803392 14595 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15577 14595 1111 63 0 15514 0
vsize: 62308
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 461457 0 0 0 39920 1090 0 0 25 0 1 0 907675396 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 461457 0 0 0 40920 1090 0 0 25 0 1 0 907675396 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+430.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 461457 0 0 0 41921 1090 0 0 25 0 1 0 907675396 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 471958 0 0 0 42898 1113 0 0 25 0 1 0 907675396 76079104 15557 4294967295 134512640 134716908 3221224560 3221221192 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18574 15557 1111 63 0 18511 0
vsize: 74296
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 473944 0 0 0 43894 1117 0 0 25 0 1 0 907675396 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 473944 0 0 0 44894 1118 0 0 25 0 1 0 907675396 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 479708 0 0 0 45883 1130 0 0 25 0 1 0 907675396 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 479708 0 0 0 46883 1130 0 0 25 0 1 0 907675396 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 479708 0 0 0 47884 1130 0 0 25 0 1 0 907675396 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 483511 0 0 0 48875 1138 0 0 25 0 1 0 907675396 64135168 14676 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 483511 0 0 0 49876 1138 0 0 25 0 1 0 907675396 64135168 14676 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 483998 0 0 0 50874 1140 0 0 25 0 1 0 907675396 63926272 14625 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15607 14625 1111 63 0 15544 0
vsize: 62428
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 487016 0 0 0 51866 1148 0 0 25 0 1 0 907675396 64815104 14842 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15824 14842 1111 63 0 15761 0
vsize: 63296
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 490179 0 0 0 52859 1156 0 0 25 0 1 0 907675396 64045056 14623 4294967295 134512640 134716908 3221224560 3221223272 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15636 14623 1111 63 0 15573 0
vsize: 62544
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 492716 0 0 0 53853 1163 0 0 25 0 1 0 907675396 63021056 14404 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15386 14404 1111 63 0 15323 0
vsize: 61544
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 497686 0 0 0 54841 1175 0 0 25 0 1 0 907675396 63086592 14420 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15402 14420 1111 63 0 15339 0
vsize: 61608
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 500849 0 0 0 55833 1183 0 0 25 0 1 0 907675396 64217088 14696 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15678 14696 1111 63 0 15615 0
vsize: 62712
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 506031 0 0 0 56820 1196 0 0 25 0 1 0 907675396 63188992 14437 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15427 14437 1111 63 0 15364 0
vsize: 61708
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 520972 0 0 0 57786 1231 0 0 25 0 1 0 907675396 72273920 14983 4294967295 134512640 134716908 3221224560 3221220720 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17645 14994 1111 63 0 17582 0
vsize: 70580
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 537683 0 0 0 58747 1270 0 0 25 0 1 0 907675396 69685248 14943 4294967295 134512640 134716908 3221224560 3221220704 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17013 14943 1111 63 0 16950 0
vsize: 68052
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 539997 0 0 0 59740 1277 0 0 25 0 1 0 907675396 63823872 14604 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15582 14604 1111 63 0 15519 0
vsize: 62328
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 540102 0 0 0 60740 1278 0 0 25 0 1 0 907675396 64385024 14709 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15719 14709 1111 63 0 15656 0
vsize: 62876
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 540200 0 0 0 61739 1279 0 0 25 0 1 0 907675396 64688128 14807 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15793 14807 1111 63 0 15730 0
vsize: 63172
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 540278 0 0 0 62739 1280 0 0 25 0 1 0 907675396 65105920 14885 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15895 14885 1111 63 0 15832 0
vsize: 63580
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 540335 0 0 0 63739 1280 0 0 25 0 1 0 907675396 65339392 14942 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15952 14942 1111 63 0 15889 0
vsize: 63808
[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 540427 0 0 0 64738 1281 0 0 25 0 1 0 907675396 65716224 15034 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16044 15034 1111 63 0 15981 0
vsize: 64176
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 65735 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+680.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 66736 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+690.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 67736 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 68736 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+710.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 69737 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+720.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 70737 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+730.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 71737 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 72738 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 73738 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 542390 0 0 0 74738 1285 0 0 25 0 1 0 907675396 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 550365 0 0 0 75721 1303 0 0 25 0 1 0 907675396 67710976 15509 4294967295 134512640 134716908 3221224560 3221223280 134622751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 550365 0 0 0 76721 1303 0 0 25 0 1 0 907675396 67710976 15509 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 550365 0 0 0 77721 1303 0 0 25 0 1 0 907675396 67710976 15509 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+800.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 550618 0 0 0 78719 1305 0 0 25 0 1 0 907675396 66129920 15151 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16145 15151 1111 63 0 16082 0
vsize: 64580
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 551522 0 0 0 79716 1308 0 0 25 0 1 0 907675396 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+820.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 551522 0 0 0 80717 1309 0 0 25 0 1 0 907675396 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 551522 0 0 0 81717 1309 0 0 25 0 1 0 907675396 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 555546 0 0 0 82709 1317 0 0 25 0 1 0 907675396 65851392 15090 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16077 15090 1111 63 0 16014 0
vsize: 64308
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 555696 0 0 0 83708 1318 0 0 25 0 1 0 907675396 65171456 14932 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15911 14932 1111 63 0 15848 0
vsize: 63644
[startup+860.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 556532 0 0 0 84706 1321 0 0 25 0 1 0 907675396 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16314 15335 1111 63 0 16251 0
vsize: 65256
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 557516 0 0 0 85704 1323 0 0 25 0 1 0 907675396 76521472 15691 4294967295 134512640 134716908 3221224560 3221221084 1076111491 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18682 15691 1111 63 0 18619 0
vsize: 74728
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 563770 0 0 0 86687 1340 0 0 25 0 1 0 907675396 64544768 14781 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15758 14781 1111 63 0 15695 0
vsize: 63032
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 564668 0 0 0 87685 1343 0 0 25 0 1 0 907675396 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+900.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 564668 0 0 0 88685 1343 0 0 25 0 1 0 907675396 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 568692 0 0 0 89677 1352 0 0 25 0 1 0 907675396 65961984 15049 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16104 15049 1111 63 0 16041 0
vsize: 64416
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 568925 0 0 0 90676 1352 0 0 25 0 1 0 907675396 64851968 14835 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15833 14835 1111 63 0 15770 0
vsize: 63332
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 575695 0 0 0 91661 1368 0 0 25 0 1 0 907675396 63885312 14621 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15597 14621 1111 63 0 15534 0
vsize: 62388
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 583129 0 0 0 92642 1388 0 0 25 0 1 0 907675396 63885312 14626 4294967295 134512640 134716908 3221224560 3221222624 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15597 14626 1111 63 0 15534 0
vsize: 62388
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 591229 0 0 0 93623 1407 0 0 25 0 1 0 907675396 64012288 14645 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15628 14645 1111 63 0 15565 0
vsize: 62512
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 598533 0 0 0 94605 1425 0 0 25 0 1 0 907675396 65200128 14940 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15918 14940 1111 63 0 15855 0
vsize: 63672
[startup+970.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 618604 0 0 0 95555 1476 0 0 25 0 1 0 907675396 65777664 15066 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16059 15066 1111 63 0 15996 0
vsize: 64236
[startup+980.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 653915 0 0 0 96472 1559 0 0 25 0 1 0 907675396 66314240 15170 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16190 15170 1111 63 0 16127 0
vsize: 64760
[startup+990.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 700584 0 0 0 97361 1671 0 0 25 0 1 0 907675396 68538368 15645 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16733 15645 1111 63 0 16670 0
vsize: 66932
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 750343 0 0 0 98236 1796 0 0 25 0 1 0 907675396 78757888 16641 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19228 16642 1111 63 0 19165 0
vsize: 76912
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 796053 0 0 0 99122 1910 0 0 25 0 1 0 907675396 77934592 17790 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19027 17790 1111 63 0 18964 0
vsize: 76108
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 845877 0 0 0 99997 2036 0 0 25 0 1 0 907675396 90013696 19230 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21976 19231 1111 63 0 21913 0
vsize: 87904
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 870138 0 0 0 100939 2094 0 0 25 0 1 0 907675396 85831680 19695 4294967295 134512640 134716908 3221224560 3221222752 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20955 19695 1111 63 0 20892 0
vsize: 83820
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 906986 0 0 0 101853 2180 0 0 25 0 1 0 907675396 93536256 20103 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22836 20111 1111 63 0 22773 0
vsize: 91344
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 949570 0 0 0 102749 2284 0 0 25 0 1 0 907675396 89370624 20579 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21819 20579 1111 63 0 21756 0
vsize: 87276
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 985866 0 0 0 103665 2369 0 0 25 0 1 0 907675396 91226112 21041 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22272 21041 1111 63 0 22209 0
vsize: 89088
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1005872 0 0 0 104618 2416 0 0 25 0 1 0 907675396 101744640 21365 4294967295 134512640 134716908 3221224560 3221220720 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24840 21365 1111 63 0 24777 0
vsize: 99360
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1041061 0 0 0 105534 2501 0 0 25 0 1 0 907675396 100208640 22047 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24465 22047 1111 63 0 24402 0
vsize: 97860
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1065805 0 0 0 106477 2558 0 0 25 0 1 0 907675396 94420992 21791 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23052 21791 1111 63 0 22989 0
vsize: 92208
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1088208 0 0 0 107422 2614 0 0 25 0 1 0 907675396 95518720 22063 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23320 22063 1111 63 0 23257 0
vsize: 93280
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1088669 0 0 0 108420 2616 0 0 25 0 1 0 907675396 97009664 22400 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23684 22400 1111 63 0 23621 0
vsize: 94736
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1088777 0 0 0 109419 2618 0 0 25 0 1 0 907675396 97439744 22508 4294967295 134512640 134716908 3221224560 3221222608 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23789 22508 1111 63 0 23726 0
vsize: 95156
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1088856 0 0 0 110418 2619 0 0 25 0 1 0 907675396 97755136 22587 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23866 22587 1111 63 0 23803 0
vsize: 95464
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1088942 0 0 0 111418 2619 0 0 25 0 1 0 907675396 98037760 22673 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23935 22673 1111 63 0 23872 0
vsize: 95740
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1089000 0 0 0 112418 2620 0 0 25 0 1 0 907675396 98275328 22731 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23993 22731 1111 63 0 23930 0
vsize: 95972
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1089084 0 0 0 113418 2620 0 0 25 0 1 0 907675396 98639872 22815 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24082 22815 1111 63 0 24019 0
vsize: 96328
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1089135 0 0 0 114418 2621 0 0 25 0 1 0 907675396 98848768 22866 4294967295 134512640 134716908 3221224560 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24133 22866 1111 63 0 24070 0
vsize: 96532
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1089173 0 0 0 115417 2622 0 0 25 0 1 0 907675396 99004416 22904 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24171 22904 1111 63 0 24108 0
vsize: 96684
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1091538 0 0 0 116412 2627 0 0 25 0 1 0 907675396 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) R 7403 25568 25567 0 -1 0 1091538 0 0 0 117412 2627 0 0 25 0 1 0 907675396 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 7404
Raw data (stat): 7404 (bsolo_lpr_cuts-) Z 7403 25568 25567 0 -1 1036 1091538 0 0 0 117412 2631 0 0 25 0 1 0 907675396 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.09
CPU time (s): 1200.45
CPU user time (s): 1174.13
CPU system time (s): 26.319
CPU usage (%): 100.03
Max. virtual memory (Kb): 102840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####