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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM	44b9f0f81a9b533b0f9e0fd187bafc3d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	198658
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	38727219
Number of bits of the sum of numbers in the objective function	26
Biggest number in a constraint	30720
Number of bits of the biggest number in a constraint	15
Biggest sum of numbers in a constraint	38727219
Number of bits of the biggest sum of numbers	26
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	8.39472
Number of variables	874498
Total number of constraints	113008
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2186
Number of constraints which are nor clauses,nor cardinality constraints	110822
Minimum length of a constraint	1
Maximum length of a constraint	14080
Trace number 41291

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 09:46:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29352 boxname=wulflinc1 idbench=1136 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  44b9f0f81a9b533b0f9e0fd187bafc3d  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos9.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos9.opb
IDLAUNCH: 29352
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        665440 kB
Buffers:         19864 kB
Cached:         324776 kB
SwapCached:       1140 kB
Active:          92236 kB
Inactive:       254644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665188 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16460 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:06:10 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29352 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.93 0.90 2/55 3101
Raw data (stat): 3101 (runsolver) R 3100 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852445596 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 2452 0 0 0 990 8 0 0 25 0 1 0 852445596 19861504 2372 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 2372 1111 63 0 4786 0
vsize: 19396
[startup+20.0018 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 3660 0 0 0 1987 11 0 0 25 0 1 0 852445596 24936448 3580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6088 3580 1111 63 0 6025 0
vsize: 24352
[startup+30.0026 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 4869 0 0 0 2985 13 0 0 25 0 1 0 852445596 29863936 4789 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 4789 1111 63 0 7228 0
vsize: 29164
[startup+40.0034 s]
Raw data (loadavg): 0.98 0.94 0.90 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 6078 0 0 0 3982 16 0 0 25 0 1 0 852445596 34791424 5998 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8494 5998 1111 63 0 8431 0
vsize: 33976
[startup+50.0032 s]
Raw data (loadavg): 0.98 0.94 0.90 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 7288 0 0 0 4980 18 0 0 25 0 1 0 852445596 39723008 7208 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9698 7208 1111 63 0 9635 0
vsize: 38792
[startup+60.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 8506 0 0 0 5977 21 0 0 25 0 1 0 852445596 44785664 8426 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10934 8426 1111 63 0 10871 0
vsize: 43736
[startup+70.0032 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 9720 0 0 0 6975 24 0 0 25 0 1 0 852445596 49709056 9640 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12136 9640 1111 63 0 12073 0
vsize: 48544
[startup+80.0046 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 10929 0 0 0 7973 26 0 0 25 0 1 0 852445596 54636544 10849 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13339 10849 1111 63 0 13276 0
vsize: 53356
[startup+90.0043 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 12150 0 0 0 8971 29 0 0 25 0 1 0 852445596 59711488 12070 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14578 12070 1111 63 0 14515 0
vsize: 58312
[startup+100.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 13365 0 0 0 9969 31 0 0 25 0 1 0 852445596 64638976 13285 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15781 13285 1111 63 0 15718 0
vsize: 63124
[startup+110.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 14143 0 0 0 10967 32 0 0 25 0 1 0 852445596 67874816 14063 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16571 14063 1111 63 0 16508 0
vsize: 66284
[startup+120.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 14377 0 0 0 11967 33 0 0 25 0 1 0 852445596 68730880 14297 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16780 14297 1111 63 0 16717 0
vsize: 67120
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 14616 0 0 0 12966 34 0 0 25 0 1 0 852445596 69734400 14536 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 14536 1111 63 0 16962 0
vsize: 68100
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 14856 0 0 0 13966 34 0 0 25 0 1 0 852445596 70770688 14776 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17278 14776 1111 63 0 17215 0
vsize: 69112
[startup+150.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 15089 0 0 0 14965 35 0 0 25 0 1 0 852445596 71643136 15009 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17491 15009 1111 63 0 17428 0
vsize: 69964
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 15335 0 0 0 15965 36 0 0 25 0 1 0 852445596 72654848 15255 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17738 15255 1111 63 0 17675 0
vsize: 70952
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 15567 0 0 0 16964 36 0 0 25 0 1 0 852445596 73682944 15487 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17989 15487 1111 63 0 17926 0
vsize: 71956
[startup+180.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 15802 0 0 0 17963 37 0 0 25 0 1 0 852445596 74670080 15722 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18230 15722 1111 63 0 18167 0
vsize: 72920
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 16048 0 0 0 18963 38 0 0 25 0 1 0 852445596 75546624 15968 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 15968 1111 63 0 18381 0
vsize: 73776
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 16290 0 0 0 19962 39 0 0 25 0 1 0 852445596 76689408 16210 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18723 16210 1111 63 0 18660 0
vsize: 74892
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 16527 0 0 0 20962 39 0 0 25 0 1 0 852445596 77533184 16447 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18929 16447 1111 63 0 18866 0
vsize: 75716
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 16766 0 0 0 21962 40 0 0 25 0 1 0 852445596 78536704 16686 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19174 16686 1111 63 0 19111 0
vsize: 76696
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 17000 0 0 0 22962 40 0 0 25 0 1 0 852445596 79544320 16920 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19420 16920 1111 63 0 19357 0
vsize: 77680
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 17234 0 0 0 23961 41 0 0 25 0 1 0 852445596 80551936 17154 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19666 17154 1111 63 0 19603 0
vsize: 78664
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 17481 0 0 0 24961 41 0 0 25 0 1 0 852445596 81428480 17401 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 17401 1111 63 0 19817 0
vsize: 79520
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 17713 0 0 0 25960 42 0 0 25 0 1 0 852445596 82456576 17633 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20131 17633 1111 63 0 20068 0
vsize: 80524
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 17948 0 0 0 26960 43 0 0 25 0 1 0 852445596 83443712 17868 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20372 17868 1111 63 0 20309 0
vsize: 81488
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 18180 0 0 0 27959 43 0 0 25 0 1 0 852445596 84316160 18100 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20585 18100 1111 63 0 20522 0
vsize: 82340
[startup+290.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 18426 0 0 0 28959 44 0 0 25 0 1 0 852445596 85323776 18346 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20831 18346 1111 63 0 20768 0
vsize: 83324
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 18661 0 0 0 29959 44 0 0 25 0 1 0 852445596 86331392 18581 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 18581 1111 63 0 21014 0
vsize: 84308
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 18895 0 0 0 30958 45 0 0 25 0 1 0 852445596 87343104 18815 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21324 18815 1111 63 0 21261 0
vsize: 85296
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 19141 0 0 0 31958 45 0 0 25 0 1 0 852445596 88350720 19061 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21570 19061 1111 63 0 21507 0
vsize: 86280
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 19374 0 0 0 32958 46 0 0 25 0 1 0 852445596 89198592 19294 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21777 19294 1111 63 0 21714 0
vsize: 87108
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 19608 0 0 0 33958 46 0 0 25 0 1 0 852445596 90206208 19528 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22023 19528 1111 63 0 21960 0
vsize: 88092
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 19854 0 0 0 34957 47 0 0 25 0 1 0 852445596 91213824 19774 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22269 19774 1111 63 0 22206 0
vsize: 89076
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 20088 0 0 0 35957 47 0 0 25 0 1 0 852445596 92221440 20008 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22515 20008 1111 63 0 22452 0
vsize: 90060
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 20327 0 0 0 36956 48 0 0 25 0 1 0 852445596 93073408 20247 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22723 20247 1111 63 0 22660 0
vsize: 90892
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 20567 0 0 0 37956 48 0 0 25 0 1 0 852445596 94081024 20487 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20487 1111 63 0 22906 0
vsize: 91876
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 20800 0 0 0 38956 49 0 0 25 0 1 0 852445596 95088640 20720 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 20720 1111 63 0 23152 0
vsize: 92860
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 21056 0 0 0 39956 49 0 0 25 0 1 0 852445596 96137216 20976 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23471 20976 1111 63 0 23408 0
vsize: 93884
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 21289 0 0 0 40956 49 0 0 25 0 1 0 852445596 97120256 21209 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23711 21209 1111 63 0 23648 0
vsize: 94844
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 21536 0 0 0 41956 50 0 0 25 0 1 0 852445596 98127872 21456 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23957 21456 1111 63 0 23894 0
vsize: 95828
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 21769 0 0 0 42955 50 0 0 25 0 1 0 852445596 99135488 21689 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24203 21689 1111 63 0 24140 0
vsize: 96812
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 22009 0 0 0 43955 50 0 0 25 0 1 0 852445596 100143104 21929 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24449 21929 1111 63 0 24386 0
vsize: 97796
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 22250 0 0 0 44955 51 0 0 25 0 1 0 852445596 101015552 22170 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 22170 1111 63 0 24599 0
vsize: 98648
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 22489 0 0 0 45955 51 0 0 25 0 1 0 852445596 102027264 22409 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24909 22409 1111 63 0 24846 0
vsize: 99636
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 22731 0 0 0 46954 52 0 0 25 0 1 0 852445596 103038976 22651 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25156 22651 1111 63 0 25093 0
vsize: 100624
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 22963 0 0 0 47954 52 0 0 25 0 1 0 852445596 103911424 22883 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25369 22883 1111 63 0 25306 0
vsize: 101476
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 23210 0 0 0 48953 53 0 0 25 0 1 0 852445596 104923136 23130 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25616 23130 1111 63 0 25553 0
vsize: 102464
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 23450 0 0 0 49953 54 0 0 25 0 1 0 852445596 105951232 23370 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25867 23370 1111 63 0 25804 0
vsize: 103468
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 23690 0 0 0 50953 54 0 0 25 0 1 0 852445596 106938368 23610 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26108 23610 1111 63 0 26045 0
vsize: 104432
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 23936 0 0 0 51952 55 0 0 25 0 1 0 852445596 107966464 23856 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26359 23856 1111 63 0 26296 0
vsize: 105436
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 24170 0 0 0 52952 55 0 0 25 0 1 0 852445596 108974080 24090 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26605 24090 1111 63 0 26542 0
vsize: 106420
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 24415 0 0 0 53952 56 0 0 25 0 1 0 852445596 109981696 24335 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26851 24335 1111 63 0 26788 0
vsize: 107404
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 24650 0 0 0 54952 56 0 0 25 0 1 0 852445596 110837760 24570 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27060 24570 1111 63 0 26997 0
vsize: 108240
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 24897 0 0 0 55951 56 0 0 25 0 1 0 852445596 111865856 24817 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27311 24817 1111 63 0 27248 0
vsize: 109244
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 25137 0 0 0 56951 57 0 0 25 0 1 0 852445596 112852992 25057 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27552 25057 1111 63 0 27489 0
vsize: 110208
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 25377 0 0 0 57951 57 0 0 25 0 1 0 852445596 113885184 25297 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27804 25297 1111 63 0 27741 0
vsize: 111216
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 25622 0 0 0 58951 57 0 0 25 0 1 0 852445596 114892800 25542 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28050 25542 1111 63 0 27987 0
vsize: 112200
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 25857 0 0 0 59951 58 0 0 25 0 1 0 852445596 115744768 25777 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28258 25777 1111 63 0 28195 0
vsize: 113032
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 26102 0 0 0 60951 58 0 0 25 0 1 0 852445596 116772864 26022 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28509 26022 1111 63 0 28446 0
vsize: 114036
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 26350 0 0 0 61950 59 0 0 25 0 1 0 852445596 117760000 26270 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28750 26270 1111 63 0 28687 0
vsize: 115000
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 26583 0 0 0 62950 59 0 0 25 0 1 0 852445596 118788096 26503 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29001 26503 1111 63 0 28938 0
vsize: 116004
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 26829 0 0 0 63950 59 0 0 25 0 1 0 852445596 119799808 26749 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29248 26749 1111 63 0 29185 0
vsize: 116992
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 27075 0 0 0 64949 60 0 0 25 0 1 0 852445596 120807424 26995 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29494 26995 1111 63 0 29431 0
vsize: 117976
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 27310 0 0 0 65949 60 0 0 25 0 1 0 852445596 121819136 27230 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29741 27230 1111 63 0 29678 0
vsize: 118964
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 27557 0 0 0 66949 61 0 0 25 0 1 0 852445596 122712064 27477 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29959 27477 1111 63 0 29896 0
vsize: 119836
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 27802 0 0 0 67949 61 0 0 25 0 1 0 852445596 123723776 27722 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30206 27722 1111 63 0 30143 0
vsize: 120824
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 28043 0 0 0 68949 61 0 0 25 0 1 0 852445596 124710912 27963 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30447 27963 1111 63 0 30384 0
vsize: 121788
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 28283 0 0 0 69949 62 0 0 25 0 1 0 852445596 125739008 28203 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30698 28203 1111 63 0 30635 0
vsize: 122792
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 28529 0 0 0 70948 62 0 0 25 0 1 0 852445596 126750720 28449 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30945 28449 1111 63 0 30882 0
vsize: 123780
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 28775 0 0 0 71948 62 0 0 25 0 1 0 852445596 127758336 28695 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31191 28695 1111 63 0 31128 0
vsize: 124764
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 29016 0 0 0 72948 63 0 0 25 0 1 0 852445596 128770048 28936 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31438 28936 1111 63 0 31375 0
vsize: 125752
[startup+740.016 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 29255 0 0 0 73948 63 0 0 25 0 1 0 852445596 129773568 29175 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31683 29175 1111 63 0 31620 0
vsize: 126732
[startup+750.016 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 29501 0 0 0 74948 63 0 0 25 0 1 0 852445596 130650112 29421 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31897 29421 1111 63 0 31834 0
vsize: 127588
[startup+760.016 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 29746 0 0 0 75947 64 0 0 25 0 1 0 852445596 131678208 29666 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32148 29666 1111 63 0 32085 0
vsize: 128592
[startup+770.016 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 29993 0 0 0 76947 64 0 0 25 0 1 0 852445596 132665344 29913 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32389 29913 1111 63 0 32326 0
vsize: 129556
[startup+780.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 30240 0 0 0 77947 65 0 0 25 0 1 0 852445596 133677056 30160 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32636 30160 1111 63 0 32573 0
vsize: 130544
[startup+790.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 30492 0 0 0 78946 65 0 0 25 0 1 0 852445596 134881280 30412 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32930 30412 1111 63 0 32867 0
vsize: 131720
[startup+800.016 s]
Raw data (loadavg): 1.21 1.03 0.93 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 30739 0 0 0 79946 66 0 0 25 0 1 0 852445596 135884800 30659 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33175 30659 1111 63 0 33112 0
vsize: 132700
[startup+810.017 s]
Raw data (loadavg): 1.17 1.03 0.93 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 30984 0 0 0 80945 67 0 0 25 0 1 0 852445596 136912896 30904 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33426 30904 1111 63 0 33363 0
vsize: 133704
[startup+820.017 s]
Raw data (loadavg): 1.15 1.03 0.93 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 31231 0 0 0 81945 67 0 0 25 0 1 0 852445596 137900032 31151 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33667 31151 1111 63 0 33604 0
vsize: 134668
[startup+830.017 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 3101
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 31476 0 0 0 82945 68 0 0 25 0 1 0 852445596 138928128 31396 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33918 31396 1111 63 0 33855 0
vsize: 135672
[startup+840.016 s]
Raw data (loadavg): 1.10 1.03 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 31724 0 0 0 83944 68 0 0 25 0 1 0 852445596 139939840 31644 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34165 31644 1111 63 0 34102 0
vsize: 136660
[startup+850.018 s]
Raw data (loadavg): 1.09 1.03 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 31970 0 0 0 84945 68 0 0 25 0 1 0 852445596 140947456 31890 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34411 31890 1111 63 0 34348 0
vsize: 137644
[startup+860.018 s]
Raw data (loadavg): 1.07 1.02 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 32217 0 0 0 85945 68 0 0 25 0 1 0 852445596 141955072 32137 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34657 32137 1111 63 0 34594 0
vsize: 138628
[startup+870.018 s]
Raw data (loadavg): 1.06 1.02 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 32463 0 0 0 86945 69 0 0 25 0 1 0 852445596 142962688 32383 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34903 32383 1111 63 0 34840 0
vsize: 139612
[startup+880.018 s]
Raw data (loadavg): 1.05 1.02 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 32703 0 0 0 87944 69 0 0 25 0 1 0 852445596 143970304 32623 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35149 32623 1111 63 0 35086 0
vsize: 140596
[startup+890.017 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 3154
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 32944 0 0 0 88944 69 0 0 25 0 1 0 852445596 144977920 32864 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35395 32864 1111 63 0 35332 0
vsize: 141580
[startup+900.017 s]
Raw data (loadavg): 1.04 1.02 0.93 2/55 3156
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 33191 0 0 0 89944 70 0 0 25 0 1 0 852445596 145985536 33111 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35641 33111 1111 63 0 35578 0
vsize: 142564
[startup+910.018 s]
Raw data (loadavg): 1.03 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 33437 0 0 0 90944 70 0 0 25 0 1 0 852445596 146972672 33357 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35882 33357 1111 63 0 35819 0
vsize: 143528
[startup+920.021 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 33682 0 0 0 91944 70 0 0 25 0 1 0 852445596 148000768 33602 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36133 33602 1111 63 0 36070 0
vsize: 144532
[startup+930.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 33929 0 0 0 92943 71 0 0 25 0 1 0 852445596 148987904 33849 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36374 33849 1111 63 0 36311 0
vsize: 145496
[startup+940.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 34175 0 0 0 93944 71 0 0 25 0 1 0 852445596 150016000 34095 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36625 34095 1111 63 0 36562 0
vsize: 146500
[startup+950.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 34423 0 0 0 94943 71 0 0 25 0 1 0 852445596 151023616 34343 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36871 34343 1111 63 0 36808 0
vsize: 147484
[startup+960.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 34670 0 0 0 95943 72 0 0 25 0 1 0 852445596 152010752 34590 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37112 34590 1111 63 0 37049 0
vsize: 148448
[startup+970.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 34915 0 0 0 96942 73 0 0 25 0 1 0 852445596 153018368 34835 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37358 34835 1111 63 0 37295 0
vsize: 149432
[startup+980.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 35162 0 0 0 97942 73 0 0 25 0 1 0 852445596 154025984 35082 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37604 35082 1111 63 0 37541 0
vsize: 150416
[startup+990.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 35409 0 0 0 98941 74 0 0 25 0 1 0 852445596 155033600 35329 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37850 35329 1111 63 0 37787 0
vsize: 151400
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 35656 0 0 0 99942 74 0 0 25 0 1 0 852445596 156065792 35576 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38102 35576 1111 63 0 38039 0
vsize: 152408
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 35907 0 0 0 100941 74 0 0 25 0 1 0 852445596 157073408 35827 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38348 35827 1111 63 0 38285 0
vsize: 153392
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 36160 0 0 0 101941 75 0 0 25 0 1 0 852445596 158081024 36080 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38594 36080 1111 63 0 38531 0
vsize: 154376
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 36407 0 0 0 102941 75 0 0 25 0 1 0 852445596 159088640 36327 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38840 36327 1111 63 0 38777 0
vsize: 155360
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 36654 0 0 0 103940 76 0 0 25 0 1 0 852445596 160100352 36574 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39087 36574 1111 63 0 39024 0
vsize: 156348
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 36901 0 0 0 104940 76 0 0 25 0 1 0 852445596 161107968 36821 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39333 36821 1111 63 0 39270 0
vsize: 157332
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 37147 0 0 0 105940 76 0 0 25 0 1 0 852445596 162115584 37067 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39579 37067 1111 63 0 39516 0
vsize: 158316
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 37394 0 0 0 106940 77 0 0 25 0 1 0 852445596 163123200 37314 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39825 37314 1111 63 0 39762 0
vsize: 159300
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 37639 0 0 0 107940 77 0 0 25 0 1 0 852445596 164126720 37559 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40070 37559 1111 63 0 40007 0
vsize: 160280
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 37887 0 0 0 108939 78 0 0 25 0 1 0 852445596 165113856 37807 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40311 37807 1111 63 0 40248 0
vsize: 161244
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 38138 0 0 0 109939 78 0 0 25 0 1 0 852445596 166141952 38058 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40562 38058 1111 63 0 40499 0
vsize: 162248
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 38391 0 0 0 110938 79 0 0 25 0 1 0 852445596 167129088 38311 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40803 38311 1111 63 0 40740 0
vsize: 163212
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 38638 0 0 0 111938 79 0 0 25 0 1 0 852445596 168157184 38558 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41054 38558 1111 63 0 40991 0
vsize: 164216
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 38884 0 0 0 112938 79 0 0 25 0 1 0 852445596 169172992 38804 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41302 38804 1111 63 0 41239 0
vsize: 165208
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 39132 0 0 0 113938 80 0 0 25 0 1 0 852445596 170184704 39052 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41549 39052 1111 63 0 41486 0
vsize: 166196
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3158
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 39384 0 0 0 114938 80 0 0 25 0 1 0 852445596 171212800 39304 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41800 39304 1111 63 0 41737 0
vsize: 167200
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 39637 0 0 0 115938 80 0 0 25 0 1 0 852445596 172355584 39557 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42079 39557 1111 63 0 42016 0
vsize: 168316
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 39882 0 0 0 116938 81 0 0 25 0 1 0 852445596 173228032 39802 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42292 39802 1111 63 0 42229 0
vsize: 169168
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 40130 0 0 0 117938 81 0 0 25 0 1 0 852445596 174239744 40050 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42539 40050 1111 63 0 42476 0
vsize: 170156
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 40377 0 0 0 118937 82 0 0 25 0 1 0 852445596 175378432 40297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42817 40297 1111 63 0 42754 0
vsize: 171268
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) R 3100 8378 8377 0 -1 0 40636 0 0 0 119937 82 0 0 25 0 1 0 852445596 176386048 40556 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43063 40556 1111 63 0 43000 0
vsize: 172252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 3160
Raw data (stat): 3101 (bsolo_lpr_cuts-) Z 3100 8378 8377 0 -1 1036 40636 0 0 0 119937 89 0 0 25 0 1 0 852445596 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.27
CPU user time (s): 1199.37
CPU system time (s): 0.899863
CPU usage (%): 100.015
Max. virtual memory (Kb): 172252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####