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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
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	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 41362

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 10:59:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29424 boxname=wulflinc1 idbench=1208 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  60f638829868e3a2820fb14a59c3225e  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-degen3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-degen3.opb
IDLAUNCH: 29424
/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:        666048 kB
Buffers:         23992 kB
Cached:         320172 kB
SwapCached:       1140 kB
Active:          36088 kB
Inactive:       310216 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        665796 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16476 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:18:51 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 29424 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 36360 variables and 2220 constraints.
c After prepocess the problem consists of 16254 variables and 2674 constraints.
c preprocess terminated 371.66 s
c Initial Lower Bound: 1800696139
c Lower Bound Elapsed time: 57.488
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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.93 0.96 0.90 2/55 3715
Raw data (stat): 3715 (runsolver) R 3714 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852884446 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 3715
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 1428 0 0 0 994 3 0 0 25 0 1 0 852884446 18325504 1348 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4474 1348 1111 63 0 4411 0
vsize: 17896
[startup+20.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 3715
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 2260 0 0 0 1992 5 0 0 25 0 1 0 852884446 21852160 2180 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 2180 1111 63 0 5272 0
vsize: 21340
[startup+30.0016 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3715
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 3102 0 0 0 2992 6 0 0 25 0 1 0 852884446 25243648 3022 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 3022 1111 63 0 6100 0
vsize: 24652
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 3715
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 3965 0 0 0 3990 8 0 0 25 0 1 0 852884446 28794880 3885 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7030 3885 1111 63 0 6967 0
vsize: 28120
[startup+50.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 4850 0 0 0 4989 9 0 0 25 0 1 0 852884446 32464896 4770 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 4770 1111 63 0 7863 0
vsize: 31704
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 5768 0 0 0 5987 11 0 0 25 0 1 0 852884446 36134912 5688 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8822 5688 1111 63 0 8759 0
vsize: 35288
[startup+70.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 6802 0 0 0 6986 12 0 0 25 0 1 0 852884446 40382464 6722 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9859 6722 1111 63 0 9796 0
vsize: 39436
[startup+80.0037 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 7927 0 0 0 7984 15 0 0 25 0 1 0 852884446 45039616 7847 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 7847 1111 63 0 10933 0
vsize: 43984
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 9110 0 0 0 8981 17 0 0 25 0 1 0 852884446 49840128 9030 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12168 9030 1111 63 0 12105 0
vsize: 48672
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3768
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 10376 0 0 0 9979 19 0 0 25 0 1 0 852884446 55070720 10296 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13445 10296 1111 63 0 13382 0
vsize: 53780
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3770
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 11673 0 0 0 10977 22 0 0 25 0 1 0 852884446 60293120 11593 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14720 11593 1111 63 0 14657 0
vsize: 58880
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 13020 0 0 0 11975 24 0 0 25 0 1 0 852884446 66023424 12940 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16119 12940 1111 63 0 16056 0
vsize: 64476
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 14428 0 0 0 12971 28 0 0 25 0 1 0 852884446 71663616 14348 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17496 14348 1111 63 0 17433 0
vsize: 69984
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 15866 0 0 0 13968 31 0 0 25 0 1 0 852884446 77594624 15786 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 15786 1111 63 0 18881 0
vsize: 75776
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 17374 0 0 0 14966 33 0 0 25 0 1 0 852884446 83808256 17294 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20461 17294 1111 63 0 20398 0
vsize: 81844
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 18880 0 0 0 15962 37 0 0 25 0 1 0 852884446 89882624 18800 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21944 18800 1111 63 0 21881 0
vsize: 87776
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 20417 0 0 0 16960 39 0 0 25 0 1 0 852884446 96239616 20337 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23496 20337 1111 63 0 23433 0
vsize: 93984
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 22047 0 0 0 17958 42 0 0 25 0 1 0 852884446 102871040 21967 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25115 21967 1111 63 0 25052 0
vsize: 100460
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 26735 0 0 0 18949 50 0 0 25 0 1 0 852884446 122368000 26651 4294967295 134512640 134716908 3221224560 3221222580 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29875 26651 1111 63 0 29812 0
vsize: 119500
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 28274 0 0 0 19945 54 0 0 25 0 1 0 852884446 128737280 28190 4294967295 134512640 134716908 3221224560 3221222220 1077253109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31430 28190 1111 63 0 31367 0
vsize: 125720
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 29010 0 0 0 20944 55 0 0 25 0 1 0 852884446 131899392 28926 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32202 28926 1111 63 0 32139 0
vsize: 128808
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 29631 0 0 0 21943 57 0 0 25 0 1 0 852884446 134492160 29547 4294967295 134512640 134716908 3221224560 3221221036 1077191714 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32835 29547 1111 63 0 32772 0
vsize: 131340
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 31257 0 0 0 22939 61 0 0 25 0 1 0 852884446 141127680 31173 4294967295 134512640 134716908 3221224560 3221222836 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34455 31173 1111 63 0 34392 0
vsize: 137820
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 32231 0 0 0 23936 63 0 0 25 0 1 0 852884446 145231872 32147 4294967295 134512640 134716908 3221224560 3221221100 1077091164 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35457 32147 1111 63 0 35394 0
vsize: 141828
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 33023 0 0 0 24934 66 0 0 25 0 1 0 852884446 148684800 32939 4294967295 134512640 134716908 3221224560 3221222836 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36300 32939 1111 63 0 36237 0
vsize: 145200
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 33687 0 0 0 25933 67 0 0 25 0 1 0 852884446 151556096 33603 4294967295 134512640 134716908 3221224560 3221222836 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37001 33603 1111 63 0 36938 0
vsize: 148004
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 34258 0 0 0 26932 69 0 0 25 0 1 0 852884446 153878528 34174 4294967295 134512640 134716908 3221224560 3221222476 1077270025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37568 34174 1111 63 0 37505 0
vsize: 150272
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 35731 0 0 0 27927 73 0 0 25 0 1 0 852884446 159989760 35647 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39060 35647 1111 63 0 38997 0
vsize: 156240
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 81981 0 0 0 28823 177 0 0 25 0 1 0 852884446 175632384 41559 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42879 41566 1111 63 0 42816 0
vsize: 171516
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 243482 0 0 0 29468 532 0 0 25 0 1 0 852884446 192442368 45704 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46983 45711 1111 63 0 46920 0
vsize: 187932
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 438119 0 0 0 30035 966 0 0 25 0 1 0 852884446 187850752 44537 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45862 44543 1111 63 0 45799 0
vsize: 183448
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 473945 0 0 0 30957 1043 0 0 25 0 1 0 852884446 186941440 44399 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45640 44399 1111 63 0 45577 0
vsize: 182560
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 473957 0 0 0 31958 1043 0 0 25 0 1 0 852884446 186941440 44411 4294967295 134512640 134716908 3221224560 3221223220 134627154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45640 44411 1111 63 0 45577 0
vsize: 182560
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 473968 0 0 0 32958 1043 0 0 25 0 1 0 852884446 187076608 44422 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45673 44422 1111 63 0 45610 0
vsize: 182692
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 473981 0 0 0 33958 1043 0 0 25 0 1 0 852884446 187076608 44435 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45673 44435 1111 63 0 45610 0
vsize: 182692
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 473996 0 0 0 34958 1043 0 0 25 0 1 0 852884446 187211776 44450 4294967295 134512640 134716908 3221224560 3221223212 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45706 44450 1111 63 0 45643 0
vsize: 182824
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3772
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 474012 0 0 0 35958 1044 0 0 25 0 1 0 852884446 187211776 44466 4294967295 134512640 134716908 3221224560 3221223212 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45706 44466 1111 63 0 45643 0
vsize: 182824
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 504195 0 0 0 36885 1116 0 0 25 0 1 0 852884446 201334784 47774 4294967295 134512640 134716908 3221224560 3221222272 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49154 47774 1111 63 0 49091 0
vsize: 196616
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 551337 0 0 0 37767 1234 0 0 25 0 1 0 852884446 201846784 47900 4294967295 134512640 134716908 3221224560 3221222608 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49279 47900 1111 63 0 49216 0
vsize: 197116
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 594680 0 0 0 38660 1341 0 0 25 0 1 0 852884446 202133504 47971 4294967295 134512640 134716908 3221224560 3221208608 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49349 47971 1111 63 0 49286 0
vsize: 197396
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625725 0 0 0 39585 1416 0 0 25 0 1 0 852884446 213741568 50604 4294967295 134512640 134716908 3221224560 3221220488 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52183 50604 1111 63 0 52120 0
vsize: 208732
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625781 0 0 0 40586 1416 0 0 25 0 1 0 852884446 213741568 50660 4294967295 134512640 134716908 3221224560 3221220428 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52183 50660 1111 63 0 52120 0
vsize: 208732
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625785 0 0 0 41586 1416 0 0 25 0 1 0 852884446 213741568 50664 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52183 50664 1111 63 0 52120 0
vsize: 208732
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625846 0 0 0 42586 1417 0 0 25 0 1 0 852884446 213962752 50725 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52237 50725 1111 63 0 52174 0
vsize: 208948
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625846 0 0 0 43584 1417 0 0 25 0 1 0 852884446 213962752 50725 4294967295 134512640 134716908 3221224560 3221220332 1074787724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52237 50725 1111 63 0 52174 0
vsize: 208948
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625846 0 0 0 44584 1417 0 0 25 0 1 0 852884446 213962752 50725 4294967295 134512640 134716908 3221224560 3221220608 1074971324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52237 50725 1111 63 0 52174 0
vsize: 208948
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 625846 0 0 0 45584 1417 0 0 25 0 1 0 852884446 213962752 50725 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52237 50725 1111 63 0 52174 0
vsize: 208948
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 663990 0 0 0 46498 1503 0 0 25 0 1 0 852884446 213639168 50432 4294967295 134512640 134716908 3221224560 3221222576 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52158 50432 1111 63 0 52095 0
vsize: 208632
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 666485 0 0 0 47493 1509 0 0 25 0 1 0 852884446 214609920 50831 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52395 50831 1111 63 0 52332 0
vsize: 209580
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 675166 0 0 0 48475 1527 0 0 25 0 1 0 852884446 205250560 48829 4294967295 134512640 134716908 3221224560 3221222616 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50110 48829 1111 63 0 50047 0
vsize: 200440
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 709763 0 0 0 49397 1605 0 0 25 0 1 0 852884446 214724608 50853 4294967295 134512640 134716908 3221224560 3221220428 1074860620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52423 50853 1111 63 0 52360 0
vsize: 209692
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 709778 0 0 0 50397 1605 0 0 25 0 1 0 852884446 214724608 50868 4294967295 134512640 134716908 3221224560 3221220684 1075116541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52423 50868 1111 63 0 52360 0
vsize: 209692
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 709789 0 0 0 51397 1605 0 0 25 0 1 0 852884446 214724608 50879 4294967295 134512640 134716908 3221224560 3221220796 1075112927 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52423 50879 1111 63 0 52360 0
vsize: 209692
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 709791 0 0 0 52397 1605 0 0 25 0 1 0 852884446 214724608 50881 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52423 50881 1111 63 0 52360 0
vsize: 209692
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 719894 0 0 0 53375 1628 0 0 25 0 1 0 852884446 205205504 48789 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50099 48789 1111 63 0 50036 0
vsize: 200396
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 744607 0 0 0 54322 1681 0 0 25 0 1 0 852884446 208302080 49545 4294967295 134512640 134716908 3221224560 3221222616 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50855 49545 1111 63 0 50792 0
vsize: 203420
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 757224 0 0 0 55295 1708 0 0 25 0 1 0 852884446 214822912 50882 4294967295 134512640 134716908 3221224560 3221221008 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52447 50882 1111 63 0 52384 0
vsize: 209788
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 757235 0 0 0 56295 1708 0 0 25 0 1 0 852884446 214822912 50893 4294967295 134512640 134716908 3221224560 3221220684 1075116480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52447 50893 1111 63 0 52384 0
vsize: 209788
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 757242 0 0 0 57295 1708 0 0 25 0 1 0 852884446 214822912 50900 4294967295 134512640 134716908 3221224560 3221221496 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52447 50900 1111 63 0 52384 0
vsize: 209788
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 757242 0 0 0 58295 1708 0 0 25 0 1 0 852884446 214822912 50900 4294967295 134512640 134716908 3221224560 3221220736 1074960783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52447 50900 1111 63 0 52384 0
vsize: 209788
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761224 0 0 0 59287 1716 0 0 25 0 1 0 852884446 203853824 48524 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49769 48524 1111 63 0 49706 0
vsize: 199076
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 60286 1716 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 61286 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 62286 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223360 134597690 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 63286 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223400 134600238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 64286 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 65286 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 66287 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 67287 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 68287 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 69287 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761225 0 0 0 70287 1717 0 0 25 0 1 0 852884446 203853824 48525 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49769 48525 1111 63 0 49706 0
vsize: 199076
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761670 0 0 0 71286 1719 0 0 25 0 1 0 852884446 205746176 48970 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50231 48970 1111 63 0 50168 0
vsize: 200924
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 72286 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 73286 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 74286 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 75286 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 76286 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 77287 1719 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 78286 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 79287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 80287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 81287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 82287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 83287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 84287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 85287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 86287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+890.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 87287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 88287 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 89288 1720 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 90288 1721 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 91288 1721 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 92288 1721 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 93288 1721 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 94288 1721 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 95288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 96287 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 97288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 98288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 99288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 100288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 101288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 102288 1722 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223396 134600243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 103288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 104288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223360 134597688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 105288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 106288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 107288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 108288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 109288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 110288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 111288 1723 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223420 134600220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 112288 1724 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 113288 1724 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223440 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 114288 1724 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 115288 1724 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 201188
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3774
Raw data (stat): 3715 (bsolo_lpr_cuts-) R 3714 8378 8377 0 -1 0 761734 0 0 0 115288 1724 0 0 25 0 1 0 852884446 206016512 49034 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50297 49034 1111 63 0 50234 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.11
CPU user time (s): 1157.77
CPU system time (s): 17.3384
CPU usage (%): 100.01
Max. virtual memory (Kb): 209788
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####