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/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM	3525728b1c2480586834886de2d50400
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63309
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	215947469635884908544
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	215947469635884908544
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	290.253
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 41320

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 10:19:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29384 boxname=wulflinc2 idbench=1168 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 29384
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        905980 kB
Buffers:          3984 kB
Cached:         103344 kB
SwapCached:       1472 kB
Active:          38772 kB
Inactive:        70600 kB
HighTotal:      131008 kB
HighFree:        52640 kB
LowTotal:       903652 kB
LowFree:        853340 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4956 kB
Slab:            13564 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:39:54 (client local time) WITH STATUS 0 IN 1200.59 SECONDS
stats: 29384 7 1200.59 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.78 0.93 0.90 2/54 25875
Raw data (stat): 25875 (runsolver) R 25874 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909508688 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.0003 s]
Raw data (loadavg): 0.82 0.93 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 1804 0 0 0 992 5 0 0 25 0 1 0 909508688 18817024 1724 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 1724 1111 63 0 4531 0
vsize: 18376
[startup+20 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 2746 0 0 0 1990 7 0 0 25 0 1 0 909508688 22695936 2666 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5541 2666 1111 63 0 5478 0
vsize: 22164
[startup+29.9997 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 3686 0 0 0 2988 9 0 0 25 0 1 0 909508688 26578944 3606 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 3606 1111 63 0 6426 0
vsize: 25956
[startup+39.9994 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 4634 0 0 0 3986 11 0 0 25 0 1 0 909508688 30457856 4554 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 4554 1111 63 0 7373 0
vsize: 29744
[startup+50.0001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 5582 0 0 0 4985 12 0 0 25 0 1 0 909508688 34340864 5502 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8384 5502 1111 63 0 8321 0
vsize: 33536
[startup+59.9998 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 6535 0 0 0 5984 14 0 0 25 0 1 0 909508688 38223872 6455 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9332 6455 1111 63 0 9269 0
vsize: 37328
[startup+69.9995 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 7486 0 0 0 6983 16 0 0 25 0 1 0 909508688 42094592 7406 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10277 7406 1111 63 0 10214 0
vsize: 41108
[startup+80.0002 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 8446 0 0 0 7981 17 0 0 25 0 1 0 909508688 46125056 8366 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8366 1111 63 0 11198 0
vsize: 45044
[startup+89.9999 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 9400 0 0 0 8979 20 0 0 25 0 1 0 909508688 50008064 9320 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9320 1111 63 0 12146 0
vsize: 48836
[startup+100.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 10360 0 0 0 9977 22 0 0 25 0 1 0 909508688 53891072 10280 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13157 10280 1111 63 0 13094 0
vsize: 52628
[startup+110.001 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 11326 0 0 0 10975 24 0 0 25 0 1 0 909508688 57921536 11246 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14141 11246 1111 63 0 14078 0
vsize: 56564
[startup+120.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 12292 0 0 0 11973 26 0 0 25 0 1 0 909508688 61804544 12212 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15089 12212 1111 63 0 15026 0
vsize: 60356
[startup+130.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 13263 0 0 0 12971 28 0 0 25 0 1 0 909508688 65810432 13183 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16067 13183 1111 63 0 16004 0
vsize: 64268
[startup+140 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 14230 0 0 0 13970 30 0 0 25 0 1 0 909508688 69840896 14150 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17051 14150 1111 63 0 16988 0
vsize: 68204
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 15202 0 0 0 14968 32 0 0 25 0 1 0 909508688 73719808 15122 4294967295 134512640 134716908 3221224560 3221222892 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17998 15122 1111 63 0 17935 0
vsize: 71992
[startup+160.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 16179 0 0 0 15966 34 0 0 25 0 1 0 909508688 77750272 16099 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18982 16099 1111 63 0 18919 0
vsize: 75928
[startup+170 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 17157 0 0 0 16965 35 0 0 25 0 1 0 909508688 81780736 17077 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19966 17077 1111 63 0 19903 0
vsize: 79864
[startup+180 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 18136 0 0 0 17962 38 0 0 25 0 1 0 909508688 85811200 18056 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20950 18056 1111 63 0 20887 0
vsize: 83800
[startup+190 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 19120 0 0 0 18960 40 0 0 25 0 1 0 909508688 89845760 19040 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21935 19040 1111 63 0 21872 0
vsize: 87740
[startup+200.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 20104 0 0 0 19958 42 0 0 25 0 1 0 909508688 93876224 20024 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22919 20024 1111 63 0 22856 0
vsize: 91676
[startup+210.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 21088 0 0 0 20957 44 0 0 25 0 1 0 909508688 97906688 21008 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23903 21008 1111 63 0 23840 0
vsize: 95612
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 22079 0 0 0 21956 45 0 0 25 0 1 0 909508688 101937152 21999 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 21999 1111 63 0 24824 0
vsize: 99548
[startup+230.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 23075 0 0 0 22954 47 0 0 25 0 1 0 909508688 105971712 22995 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25872 22995 1111 63 0 25809 0
vsize: 103488
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 24065 0 0 0 23952 49 0 0 25 0 1 0 909508688 110002176 23985 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26856 23985 1111 63 0 26793 0
vsize: 107424
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 25068 0 0 0 24950 52 0 0 25 0 1 0 909508688 114184192 24988 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27877 24988 1111 63 0 27814 0
vsize: 111508
[startup+260.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 26071 0 0 0 25948 54 0 0 25 0 1 0 909508688 118337536 25991 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28891 25991 1111 63 0 28828 0
vsize: 115564
[startup+270.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 27073 0 0 0 26946 55 0 0 25 0 1 0 909508688 122368000 26993 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29875 26993 1111 63 0 29812 0
vsize: 119500
[startup+280.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 28082 0 0 0 27944 58 0 0 25 0 1 0 909508688 126550016 28002 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30896 28002 1111 63 0 30833 0
vsize: 123584
[startup+290.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 29091 0 0 0 28942 60 0 0 25 0 1 0 909508688 130727936 29011 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31916 29011 1111 63 0 31853 0
vsize: 127664
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 30100 0 0 0 29940 62 0 0 25 0 1 0 909508688 134762496 30020 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32901 30020 1111 63 0 32838 0
vsize: 131604
[startup+310.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 31115 0 0 0 30938 64 0 0 25 0 1 0 909508688 138940416 31035 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33921 31035 1111 63 0 33858 0
vsize: 135684
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 32130 0 0 0 31937 66 0 0 25 0 1 0 909508688 143122432 32050 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34942 32050 1111 63 0 34879 0
vsize: 139768
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 33151 0 0 0 32935 67 0 0 25 0 1 0 909508688 147304448 33071 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35963 33071 1111 63 0 35900 0
vsize: 143852
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 34171 0 0 0 33933 70 0 0 25 0 1 0 909508688 151482368 34091 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34091 1111 63 0 36920 0
vsize: 147932
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 35193 0 0 0 34931 72 0 0 25 0 1 0 909508688 155664384 35113 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38004 35113 1111 63 0 37941 0
vsize: 152016
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 36226 0 0 0 35929 74 0 0 25 0 1 0 909508688 159846400 36146 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39025 36146 1111 63 0 38962 0
vsize: 156100
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 37253 0 0 0 36927 76 0 0 25 0 1 0 909508688 164024320 37173 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40045 37173 1111 63 0 39982 0
vsize: 160180
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 38286 0 0 0 37927 77 0 0 25 0 1 0 909508688 168353792 38206 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41102 38206 1111 63 0 41039 0
vsize: 164408
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 39325 0 0 0 38925 79 0 0 25 0 1 0 909508688 172535808 39245 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42123 39245 1111 63 0 42060 0
vsize: 168492
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 40364 0 0 0 39923 81 0 0 25 0 1 0 909508688 176865280 40284 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43180 40284 1111 63 0 43117 0
vsize: 172720
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 41404 0 0 0 40921 83 0 0 25 0 1 0 909508688 181047296 41324 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44201 41324 1111 63 0 44138 0
vsize: 176804
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 42449 0 0 0 41918 85 0 0 25 0 1 0 909508688 185376768 42369 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45258 42369 1111 63 0 45195 0
vsize: 181032
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 43500 0 0 0 42916 88 0 0 25 0 1 0 909508688 189706240 43420 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46315 43420 1111 63 0 46252 0
vsize: 185260
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 44545 0 0 0 43914 90 0 0 25 0 1 0 909508688 193884160 44465 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47335 44465 1111 63 0 47272 0
vsize: 189340
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 45602 0 0 0 44913 92 0 0 25 0 1 0 909508688 198217728 45522 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48393 45522 1111 63 0 48330 0
vsize: 193572
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 46659 0 0 0 45911 94 0 0 25 0 1 0 909508688 202547200 46579 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49450 46579 1111 63 0 49387 0
vsize: 197800
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 47716 0 0 0 46908 96 0 0 25 0 1 0 909508688 206876672 47636 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50507 47636 1111 63 0 50444 0
vsize: 202028
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 48779 0 0 0 47907 98 0 0 25 0 1 0 909508688 211353600 48699 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51600 48699 1111 63 0 51537 0
vsize: 206400
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 49859 0 0 0 48905 100 0 0 25 0 1 0 909508688 215830528 49779 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52693 49779 1111 63 0 52630 0
vsize: 210772
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 50923 0 0 0 49903 102 0 0 25 0 1 0 909508688 220160000 50843 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53750 50843 1111 63 0 53687 0
vsize: 215000
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 51998 0 0 0 50901 104 0 0 25 0 1 0 909508688 224489472 51918 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54807 51918 1111 63 0 54744 0
vsize: 219228
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 53073 0 0 0 51899 106 0 0 25 0 1 0 909508688 228966400 52993 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55900 52993 1111 63 0 55837 0
vsize: 223600
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 54155 0 0 0 52897 108 0 0 25 0 1 0 909508688 233295872 54075 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56957 54075 1111 63 0 56894 0
vsize: 227828
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 55236 0 0 0 53896 110 0 0 25 0 1 0 909508688 237776896 55156 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58051 55156 1111 63 0 57988 0
vsize: 232204
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 56324 0 0 0 54894 112 0 0 25 0 1 0 909508688 242253824 56244 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59144 56244 1111 63 0 59081 0
vsize: 236576
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 57413 0 0 0 55892 115 0 0 25 0 1 0 909508688 246734848 57333 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60238 57333 1111 63 0 60175 0
vsize: 240952
[startup+570.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 58506 0 0 0 56889 117 0 0 25 0 1 0 909508688 251211776 58426 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61331 58426 1111 63 0 61268 0
vsize: 245324
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 59600 0 0 0 57887 119 0 0 25 0 1 0 909508688 255692800 59520 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62425 59520 1111 63 0 62362 0
vsize: 249700
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 60699 0 0 0 58886 121 0 0 25 0 1 0 909508688 260169728 60619 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63518 60619 1111 63 0 63455 0
vsize: 254072
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 61806 0 0 0 59883 124 0 0 25 0 1 0 909508688 264650752 61726 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64612 61726 1111 63 0 64549 0
vsize: 258448
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 62919 0 0 0 60882 125 0 0 25 0 1 0 909508688 269283328 62839 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65743 62839 1111 63 0 65680 0
vsize: 262972
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 64032 0 0 0 61879 128 0 0 25 0 1 0 909508688 273760256 63952 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66836 63952 1111 63 0 66773 0
vsize: 267344
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 65149 0 0 0 62877 130 0 0 25 0 1 0 909508688 278388736 65069 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67966 65069 1111 63 0 67903 0
vsize: 271864
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 66267 0 0 0 63875 132 0 0 25 0 1 0 909508688 283017216 66187 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69096 66187 1111 63 0 69033 0
vsize: 276384
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 67397 0 0 0 64874 134 0 0 25 0 1 0 909508688 287645696 67317 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70226 67317 1111 63 0 70163 0
vsize: 280904
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 68528 0 0 0 65871 137 0 0 25 0 1 0 909508688 292274176 68448 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71356 68448 1111 63 0 71293 0
vsize: 285424
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 69659 0 0 0 66869 139 0 0 25 0 1 0 909508688 296902656 69579 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72486 69579 1111 63 0 72423 0
vsize: 289944
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 70795 0 0 0 67866 142 0 0 25 0 1 0 909508688 301527040 70715 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73615 70715 1111 63 0 73552 0
vsize: 294460
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 71937 0 0 0 68864 143 0 0 25 0 1 0 909508688 306155520 71857 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74745 71857 1111 63 0 74682 0
vsize: 298980
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 73066 0 0 0 69863 145 0 0 25 0 1 0 909508688 310784000 72986 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75875 72986 1111 63 0 75812 0
vsize: 303500
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 74203 0 0 0 70862 146 0 0 25 0 1 0 909508688 315412480 74123 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77005 74123 1111 63 0 76942 0
vsize: 308020
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 75347 0 0 0 71861 148 0 0 25 0 1 0 909508688 320196608 75267 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78173 75267 1111 63 0 78110 0
vsize: 312692
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 76490 0 0 0 72860 149 0 0 25 0 1 0 909508688 324825088 76410 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79303 76410 1111 63 0 79240 0
vsize: 317212
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 77638 0 0 0 73858 150 0 0 25 0 1 0 909508688 329449472 77558 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80432 77558 1111 63 0 80369 0
vsize: 321728
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 78792 0 0 0 74857 152 0 0 25 0 1 0 909508688 334229504 78712 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81599 78712 1111 63 0 81536 0
vsize: 326396
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 79953 0 0 0 75855 154 0 0 25 0 1 0 909508688 339005440 79873 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82765 79873 1111 63 0 82702 0
vsize: 331060
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 81113 0 0 0 76854 156 0 0 25 0 1 0 909508688 343781376 81033 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83931 81033 1111 63 0 83868 0
vsize: 335724
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 82275 0 0 0 77852 158 0 0 25 0 1 0 909508688 348557312 82195 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85097 82195 1111 63 0 85034 0
vsize: 340388
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 83447 0 0 0 78849 160 0 0 25 0 1 0 909508688 353337344 83367 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86264 83367 1111 63 0 86201 0
vsize: 345056
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 84619 0 0 0 79848 162 0 0 25 0 1 0 909508688 358113280 84539 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87430 84539 1111 63 0 87367 0
vsize: 349720
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 85799 0 0 0 80846 165 0 0 25 0 1 0 909508688 362897408 85719 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88598 85719 1111 63 0 88535 0
vsize: 354392
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 86984 0 0 0 81844 166 0 0 25 0 1 0 909508688 367820800 86904 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89800 86904 1111 63 0 89737 0
vsize: 359200
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 88170 0 0 0 82843 168 0 0 25 0 1 0 909508688 372600832 88090 4294967295 134512640 134716908 3221224560 3221222788 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90967 88090 1111 63 0 90904 0
vsize: 363868
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 89360 0 0 0 83841 169 0 0 25 0 1 0 909508688 377524224 89280 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92169 89280 1111 63 0 92106 0
vsize: 368676
[startup+850.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 90557 0 0 0 84840 171 0 0 25 0 1 0 909508688 382451712 90477 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93372 90477 1111 63 0 93309 0
vsize: 373488
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 91760 0 0 0 85838 173 0 0 25 0 1 0 909508688 387379200 91680 4294967295 134512640 134716908 3221224560 3221222788 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94575 91680 1111 63 0 94512 0
vsize: 378300
[startup+870.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 92968 0 0 0 86836 175 0 0 25 0 1 0 909508688 392302592 92888 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95777 92888 1111 63 0 95714 0
vsize: 383108
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 94179 0 0 0 87834 177 0 0 25 0 1 0 909508688 397234176 94099 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96981 94099 1111 63 0 96918 0
vsize: 387924
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 95393 0 0 0 88832 179 0 0 25 0 1 0 909508688 402161664 95313 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98184 95313 1111 63 0 98121 0
vsize: 392736
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 96614 0 0 0 89830 181 0 0 25 0 1 0 909508688 407236608 96534 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99423 96534 1111 63 0 99360 0
vsize: 397692
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 97841 0 0 0 90830 183 0 0 25 0 1 0 909508688 412311552 97761 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100662 97761 1111 63 0 100599 0
vsize: 402648
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 99086 0 0 0 91828 186 0 0 25 0 1 0 909508688 417456128 99006 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101918 99006 1111 63 0 101855 0
vsize: 407672
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 100327 0 0 0 92825 189 0 0 25 0 1 0 909508688 422535168 100247 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103158 100247 1111 63 0 103095 0
vsize: 412632
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 101566 0 0 0 93822 192 0 0 25 0 1 0 909508688 427610112 101486 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104397 101486 1111 63 0 104334 0
vsize: 417588
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 102812 0 0 0 94820 194 0 0 25 0 1 0 909508688 432685056 102732 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105636 102732 1111 63 0 105573 0
vsize: 422544
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 104063 0 0 0 95818 196 0 0 25 0 1 0 909508688 437911552 103983 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106912 103983 1111 63 0 106849 0
vsize: 427648
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 105321 0 0 0 96816 198 0 0 25 0 1 0 909508688 442986496 105241 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108151 105241 1111 63 0 108088 0
vsize: 432604
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 106586 0 0 0 97813 201 0 0 25 0 1 0 909508688 448217088 106506 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109428 106506 1111 63 0 109365 0
vsize: 437712
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 107849 0 0 0 98812 202 0 0 25 0 1 0 909508688 453292032 107769 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110667 107769 1111 63 0 110604 0
vsize: 442668
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 109126 0 0 0 99810 204 0 0 25 0 1 0 909508688 458514432 109046 4294967295 134512640 134716908 3221224560 3221222788 1077414418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111942 109046 1111 63 0 111879 0
vsize: 447768
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 110408 0 0 0 100809 206 0 0 25 0 1 0 909508688 463888384 110328 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113254 110328 1111 63 0 113191 0
vsize: 453016
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 111691 0 0 0 101806 209 0 0 25 0 1 0 909508688 469118976 111611 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114531 111611 1111 63 0 114468 0
vsize: 458124
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 112985 0 0 0 102804 211 0 0 25 0 1 0 909508688 474345472 112905 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115807 112905 1111 63 0 115744 0
vsize: 463228
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 114279 0 0 0 103802 214 0 0 25 0 1 0 909508688 479715328 114199 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117118 114199 1111 63 0 117055 0
vsize: 468472
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 115585 0 0 0 104800 216 0 0 25 0 1 0 909508688 485089280 115505 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118430 115505 1111 63 0 118367 0
vsize: 473720
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 116894 0 0 0 105798 218 0 0 25 0 1 0 909508688 490319872 116814 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119707 116814 1111 63 0 119644 0
vsize: 478828
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 118211 0 0 0 106795 221 0 0 25 0 1 0 909508688 495841280 118131 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121055 118131 1111 63 0 120992 0
vsize: 484220
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 119529 0 0 0 107793 223 0 0 25 0 1 0 909508688 501215232 119449 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122367 119449 1111 63 0 122304 0
vsize: 489468
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 120860 0 0 0 108791 226 0 0 25 0 1 0 909508688 506589184 120780 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123679 120780 1111 63 0 123616 0
vsize: 494716
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 122198 0 0 0 109788 228 0 0 25 0 1 0 909508688 512118784 122118 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125029 122118 1111 63 0 124966 0
vsize: 500116
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 123541 0 0 0 110786 231 0 0 25 0 1 0 909508688 517640192 123461 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126377 123461 1111 63 0 126314 0
vsize: 505508
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 124889 0 0 0 111783 234 0 0 25 0 1 0 909508688 523161600 124809 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127725 124809 1111 63 0 127662 0
vsize: 510900
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 126245 0 0 0 112781 237 0 0 25 0 1 0 909508688 528691200 126165 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129075 126165 1111 63 0 129012 0
vsize: 516300
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 127607 0 0 0 113779 239 0 0 25 0 1 0 909508688 534212608 127527 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130423 127527 1111 63 0 130360 0
vsize: 521692
[startup+1150.15 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 128998 0 0 0 114789 241 0 0 25 0 1 0 909508688 539885568 128918 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131808 128918 1111 63 0 131745 0
vsize: 527232
[startup+1160.17 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 130378 0 0 0 115789 243 0 0 25 0 1 0 909508688 545562624 130298 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133194 130298 1111 63 0 133131 0
vsize: 532776
[startup+1170.17 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 131757 0 0 0 116787 245 0 0 25 0 1 0 909508688 551235584 131677 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134579 131677 1111 63 0 134516 0
vsize: 538316
[startup+1180.17 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 133149 0 0 0 117786 247 0 0 25 0 1 0 909508688 556904448 133069 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135963 133069 1111 63 0 135900 0
vsize: 543852
[startup+1190.17 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 134547 0 0 0 118784 249 0 0 25 0 1 0 909508688 562733056 134467 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137386 134467 1111 63 0 137323 0
vsize: 549544
[startup+1200.17 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) R 25874 31399 31398 0 -1 0 135957 0 0 0 119782 251 0 0 25 0 1 0 909508688 568406016 135877 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138771 135877 1111 63 0 138708 0
vsize: 555084
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.43 s]
Raw data (loadavg): 1.03 0.99 0.91 1/54 25875
Raw data (stat): 25875 (bsolo_lpr_cuts-) Z 25874 31399 31398 0 -1 1036 135957 0 0 0 119782 276 0 0 25 0 1 0 909508688 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.43
CPU time (s): 1200.59
CPU user time (s): 1197.83
CPU system time (s): 2.76358
CPU usage (%): 100.014
Max. virtual memory (Kb): 555084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####