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-dolom1.opb
MD5SUM	bafd5f2a91d0ace4ec9dc114753d5b3e
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	66480
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	35987090508169210757120
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	35987192908169210757120
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.632903
Number of variables	66480
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	66480
Trace number 41318

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 10:18:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29379 boxname=wulflinc1 idbench=1163 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  bafd5f2a91d0ace4ec9dc114753d5b3e  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dolom1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-dolom1.opb
IDLAUNCH: 29379
/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:        687160 kB
Buffers:         21776 kB
Cached:         301376 kB
SwapCached:       1140 kB
Active:          34340 kB
Inactive:       290964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        686908 kB
SwapTotal:     2097136 kB
SwapFree:      2094820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16320 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:38:52 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 29379 7 1200.43 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.84 0.94 0.90 2/55 3531
Raw data (stat): 3531 (runsolver) R 3530 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852641819 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.0002 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 2045 0 0 0 992 5 0 0 25 0 1 0 852641819 19861504 1965 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4849 1965 1111 63 0 4786 0
vsize: 19396
[startup+19.9999 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 3230 0 0 0 1990 7 0 0 25 0 1 0 852641819 24788992 3150 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6052 3150 1111 63 0 5989 0
vsize: 24208
[startup+29.9997 s]
Raw data (loadavg): 0.90 0.94 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 4420 0 0 0 2988 9 0 0 25 0 1 0 852641819 29564928 4340 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7218 4340 1111 63 0 7155 0
vsize: 28872
[startup+39.9995 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 5611 0 0 0 3986 11 0 0 25 0 1 0 852641819 34492416 5531 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8421 5531 1111 63 0 8358 0
vsize: 33684
[startup+50.1012 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 6820 0 0 0 4995 13 0 0 25 0 1 0 852641819 39415808 6740 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9623 6740 1111 63 0 9560 0
vsize: 38492
[startup+60.101 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 8027 0 0 0 5993 15 0 0 25 0 1 0 852641819 44335104 7947 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10824 7947 1111 63 0 10761 0
vsize: 43296
[startup+70.1009 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 9229 0 0 0 6991 18 0 0 25 0 1 0 852641819 49262592 9149 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12027 9149 1111 63 0 11964 0
vsize: 48108
[startup+80.1016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 10438 0 0 0 7989 20 0 0 25 0 1 0 852641819 54337536 10358 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13266 10358 1111 63 0 13203 0
vsize: 53064
[startup+90.1014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 11653 0 0 0 8987 22 0 0 25 0 1 0 852641819 59265024 11573 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14469 11573 1111 63 0 14406 0
vsize: 57876
[startup+100.101 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 12868 0 0 0 9985 24 0 0 25 0 1 0 852641819 64188416 12788 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12788 1111 63 0 15608 0
vsize: 62684
[startup+110.101 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 14094 0 0 0 10983 26 0 0 25 0 1 0 852641819 69238784 14014 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16904 14014 1111 63 0 16841 0
vsize: 67616
[startup+120.101 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 15317 0 0 0 11981 28 0 0 25 0 1 0 852641819 74321920 15237 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18145 15237 1111 63 0 18082 0
vsize: 72580
[startup+130.101 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 16544 0 0 0 12979 30 0 0 25 0 1 0 852641819 79245312 16464 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19347 16464 1111 63 0 19284 0
vsize: 77388
[startup+140.1 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 17777 0 0 0 13977 33 0 0 25 0 1 0 852641819 84320256 17697 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20586 17697 1111 63 0 20523 0
vsize: 82344
[startup+150.101 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 19010 0 0 0 14975 35 0 0 25 0 1 0 852641819 89395200 18930 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21825 18930 1111 63 0 21762 0
vsize: 87300
[startup+160.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 20249 0 0 0 15973 37 0 0 25 0 1 0 852641819 94474240 20169 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23065 20169 1111 63 0 23002 0
vsize: 92260
[startup+170.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 21495 0 0 0 16972 38 0 0 25 0 1 0 852641819 99553280 21415 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24305 21415 1111 63 0 24242 0
vsize: 97220
[startup+180.1 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 22740 0 0 0 17969 41 0 0 25 0 1 0 852641819 104628224 22660 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25544 22660 1111 63 0 25481 0
vsize: 102176
[startup+190.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 23992 0 0 0 18967 44 0 0 25 0 1 0 852641819 109854720 23912 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26820 23912 1111 63 0 26757 0
vsize: 107280
[startup+200.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 25258 0 0 0 19965 46 0 0 25 0 1 0 852641819 115060736 25178 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28091 25178 1111 63 0 28028 0
vsize: 112364
[startup+210.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 26513 0 0 0 20963 48 0 0 25 0 1 0 852641819 120127488 26433 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29328 26433 1111 63 0 29265 0
vsize: 117312
[startup+220.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 27778 0 0 0 21961 50 0 0 25 0 1 0 852641819 125358080 27698 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30605 27698 1111 63 0 30542 0
vsize: 122420
[startup+230.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 29048 0 0 0 22959 52 0 0 25 0 1 0 852641819 130580480 28968 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31880 28968 1111 63 0 31817 0
vsize: 127520
[startup+240.101 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 30317 0 0 0 23957 54 0 0 25 0 1 0 852641819 135655424 30237 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33119 30237 1111 63 0 33056 0
vsize: 132476
[startup+250.101 s]
Raw data (loadavg): 0.99 0.96 0.91 3/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 31600 0 0 0 24955 56 0 0 25 0 1 0 852641819 141029376 31520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34431 31520 1111 63 0 34368 0
vsize: 137724
[startup+260.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 32883 0 0 0 25953 58 0 0 25 0 1 0 852641819 146259968 32803 4294967295 134512640 134716908 3221224560 3221223228 1077374432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35708 32803 1111 63 0 35645 0
vsize: 142832
[startup+270.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 34164 0 0 0 26952 60 0 0 25 0 1 0 852641819 151482368 34084 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34084 1111 63 0 36920 0
vsize: 147932
[startup+280.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 35453 0 0 0 27950 62 0 0 25 0 1 0 852641819 156708864 35373 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38259 35373 1111 63 0 38196 0
vsize: 153036
[startup+290.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 36753 0 0 0 28948 64 0 0 25 0 1 0 852641819 162082816 36673 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39571 36673 1111 63 0 39508 0
vsize: 158284
[startup+300.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 38049 0 0 0 29946 66 0 0 25 0 1 0 852641819 167313408 37969 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40848 37969 1111 63 0 40785 0
vsize: 163392
[startup+310.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 39355 0 0 0 30944 68 0 0 25 0 1 0 852641819 172683264 39275 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42159 39275 1111 63 0 42096 0
vsize: 168636
[startup+320.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 40660 0 0 0 31942 71 0 0 25 0 1 0 852641819 178057216 40580 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43471 40580 1111 63 0 43408 0
vsize: 173884
[startup+330.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 41979 0 0 0 32940 73 0 0 25 0 1 0 852641819 183431168 41899 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44783 41899 1111 63 0 44720 0
vsize: 179132
[startup+340.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 43293 0 0 0 33938 75 0 0 25 0 1 0 852641819 188809216 43213 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46096 43213 1111 63 0 46033 0
vsize: 184384
[startup+350.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 44617 0 0 0 34936 77 0 0 25 0 1 0 852641819 194334720 44537 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47445 44537 1111 63 0 47382 0
vsize: 189780
[startup+360.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 45947 0 0 0 35934 80 0 0 25 0 1 0 852641819 199704576 45867 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48756 45867 1111 63 0 48693 0
vsize: 195024
[startup+370.101 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 47283 0 0 0 36932 82 0 0 25 0 1 0 852641819 205230080 47203 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50105 47203 1111 63 0 50042 0
vsize: 200420
[startup+380.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 48627 0 0 0 37930 84 0 0 25 0 1 0 852641819 210759680 48547 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51455 48547 1111 63 0 51392 0
vsize: 205820
[startup+390.102 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 49980 0 0 0 38927 87 0 0 25 0 1 0 852641819 216281088 49900 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52803 49900 1111 63 0 52740 0
vsize: 211212
[startup+400.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 51336 0 0 0 39925 89 0 0 25 0 1 0 852641819 221806592 51256 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54152 51256 1111 63 0 54089 0
vsize: 216608
[startup+410.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 52692 0 0 0 40923 91 0 0 25 0 1 0 852641819 227336192 52612 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55502 52612 1111 63 0 55439 0
vsize: 222008
[startup+420.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 54059 0 0 0 41921 94 0 0 25 0 1 0 852641819 233009152 53979 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56887 53979 1111 63 0 56824 0
vsize: 227548
[startup+430.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 55426 0 0 0 42919 95 0 0 25 0 1 0 852641819 238534656 55346 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58236 55346 1111 63 0 58173 0
vsize: 232944
[startup+440.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 56801 0 0 0 43917 97 0 0 25 0 1 0 852641819 244211712 56721 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59622 56721 1111 63 0 59559 0
vsize: 238488
[startup+450.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 58182 0 0 0 44915 100 0 0 25 0 1 0 852641819 249884672 58102 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61007 58102 1111 63 0 60944 0
vsize: 244028
[startup+460.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 59567 0 0 0 45913 102 0 0 25 0 1 0 852641819 255557632 59487 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62392 59487 1111 63 0 62329 0
vsize: 249568
[startup+470.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60049 0 0 0 46912 103 0 0 25 0 1 0 852641819 257495040 59969 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62865 59969 1111 63 0 62802 0
vsize: 251460
[startup+480.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60168 0 0 0 47912 103 0 0 25 0 1 0 852641819 257937408 60088 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62973 60088 1111 63 0 62910 0
vsize: 251892
[startup+490.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60285 0 0 0 48913 103 0 0 25 0 1 0 852641819 258510848 60205 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63113 60205 1111 63 0 63050 0
vsize: 252452
[startup+500.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60403 0 0 0 49912 103 0 0 25 0 1 0 852641819 258965504 60323 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63224 60323 1111 63 0 63161 0
vsize: 252896
[startup+510.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60519 0 0 0 50912 104 0 0 25 0 1 0 852641819 259411968 60439 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63333 60439 1111 63 0 63270 0
vsize: 253332
[startup+520.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60638 0 0 0 51912 104 0 0 25 0 1 0 852641819 259862528 60558 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63443 60558 1111 63 0 63380 0
vsize: 253772
[startup+530.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60755 0 0 0 52912 104 0 0 25 0 1 0 852641819 260456448 60675 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63588 60675 1111 63 0 63525 0
vsize: 254352
[startup+540.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60873 0 0 0 53912 104 0 0 25 0 1 0 852641819 260911104 60793 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63699 60793 1111 63 0 63636 0
vsize: 254796
[startup+550.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 60990 0 0 0 54912 105 0 0 25 0 1 0 852641819 261357568 60910 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63808 60910 1111 63 0 63745 0
vsize: 255232
[startup+560.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61109 0 0 0 55912 105 0 0 25 0 1 0 852641819 261812224 61029 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63919 61029 1111 63 0 63856 0
vsize: 255676
[startup+570.103 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61233 0 0 0 56912 105 0 0 25 0 1 0 852641819 262406144 61153 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64064 61153 1111 63 0 64001 0
vsize: 256256
[startup+580.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61357 0 0 0 57911 106 0 0 25 0 1 0 852641819 262860800 61277 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64175 61277 1111 63 0 64112 0
vsize: 256700
[startup+590.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61474 0 0 0 58912 106 0 0 25 0 1 0 852641819 263307264 61394 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64284 61394 1111 63 0 64221 0
vsize: 257136
[startup+600.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61593 0 0 0 59911 106 0 0 25 0 1 0 852641819 263757824 61513 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64394 61513 1111 63 0 64331 0
vsize: 257576
[startup+610.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61718 0 0 0 60911 106 0 0 25 0 1 0 852641819 264359936 61638 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64541 61638 1111 63 0 64478 0
vsize: 258164
[startup+620.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61842 0 0 0 61911 107 0 0 25 0 1 0 852641819 264810496 61762 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64651 61762 1111 63 0 64588 0
vsize: 258604
[startup+630.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 61961 0 0 0 62911 107 0 0 25 0 1 0 852641819 265261056 61881 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64761 61881 1111 63 0 64698 0
vsize: 259044
[startup+640.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62085 0 0 0 63911 107 0 0 25 0 1 0 852641819 265854976 62005 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64906 62005 1111 63 0 64843 0
vsize: 259624
[startup+650.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62210 0 0 0 64911 107 0 0 25 0 1 0 852641819 266309632 62130 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65017 62130 1111 63 0 64954 0
vsize: 260068
[startup+660.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62328 0 0 0 65911 107 0 0 25 0 1 0 852641819 266756096 62248 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65126 62248 1111 63 0 65063 0
vsize: 260504
[startup+670.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62460 0 0 0 66911 108 0 0 25 0 1 0 852641819 267354112 62380 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65272 62380 1111 63 0 65209 0
vsize: 261088
[startup+680.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62585 0 0 0 67911 108 0 0 25 0 1 0 852641819 267804672 62505 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65382 62505 1111 63 0 65319 0
vsize: 261528
[startup+690.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62709 0 0 0 68911 108 0 0 25 0 1 0 852641819 268406784 62629 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65529 62629 1111 63 0 65466 0
vsize: 262116
[startup+700.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62834 0 0 0 69911 108 0 0 25 0 1 0 852641819 268857344 62754 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65639 62754 1111 63 0 65576 0
vsize: 262556
[startup+710.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 62958 0 0 0 70911 108 0 0 25 0 1 0 852641819 269451264 62878 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65784 62878 1111 63 0 65721 0
vsize: 263136
[startup+720.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63108 0 0 0 71911 109 0 0 25 0 1 0 852641819 270069760 63028 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65935 63028 1111 63 0 65872 0
vsize: 263740
[startup+730.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63238 0 0 0 72911 109 0 0 25 0 1 0 852641819 270663680 63158 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66080 63158 1111 63 0 66017 0
vsize: 264320
[startup+740.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63358 0 0 0 73910 109 0 0 25 0 1 0 852641819 271118336 63278 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66191 63278 1111 63 0 66128 0
vsize: 264764
[startup+750.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63491 0 0 0 74910 110 0 0 25 0 1 0 852641819 271712256 63411 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66336 63411 1111 63 0 66273 0
vsize: 265344
[startup+760.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63622 0 0 0 75910 110 0 0 25 0 1 0 852641819 272162816 63542 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66446 63542 1111 63 0 66383 0
vsize: 265784
[startup+770.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63755 0 0 0 76910 110 0 0 25 0 1 0 852641819 272764928 63675 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66593 63675 1111 63 0 66530 0
vsize: 266372
[startup+780.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 63885 0 0 0 77910 111 0 0 25 0 1 0 852641819 273362944 63805 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66739 63805 1111 63 0 66676 0
vsize: 266956
[startup+790.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64018 0 0 0 78910 111 0 0 25 0 1 0 852641819 273817600 63938 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66850 63938 1111 63 0 66787 0
vsize: 267400
[startup+800.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64152 0 0 0 79909 112 0 0 25 0 1 0 852641819 274411520 64072 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66995 64072 1111 63 0 66932 0
vsize: 267980
[startup+810.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64283 0 0 0 80909 112 0 0 25 0 1 0 852641819 274862080 64203 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67105 64203 1111 63 0 67042 0
vsize: 268420
[startup+820.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64415 0 0 0 81909 112 0 0 25 0 1 0 852641819 275464192 64335 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67252 64335 1111 63 0 67189 0
vsize: 269008
[startup+830.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64548 0 0 0 82909 112 0 0 25 0 1 0 852641819 276058112 64468 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67397 64468 1111 63 0 67334 0
vsize: 269588
[startup+840.104 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64681 0 0 0 83909 112 0 0 25 0 1 0 852641819 276512768 64601 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67508 64601 1111 63 0 67445 0
vsize: 270032
[startup+850.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64814 0 0 0 84909 113 0 0 25 0 1 0 852641819 277110784 64734 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67654 64734 1111 63 0 67591 0
vsize: 270616
[startup+860.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 64951 0 0 0 85909 113 0 0 25 0 1 0 852641819 277712896 64871 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67801 64871 1111 63 0 67738 0
vsize: 271204
[startup+870.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65093 0 0 0 86909 113 0 0 25 0 1 0 852641819 278163456 65013 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67911 65013 1111 63 0 67848 0
vsize: 271644
[startup+880.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65224 0 0 0 87909 113 0 0 25 0 1 0 852641819 278757376 65144 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68056 65144 1111 63 0 67993 0
vsize: 272224
[startup+890.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65363 0 0 0 88909 114 0 0 25 0 1 0 852641819 279359488 65283 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68203 65283 1111 63 0 68140 0
vsize: 272812
[startup+900.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65504 0 0 0 89909 114 0 0 25 0 1 0 852641819 279961600 65424 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68350 65424 1111 63 0 68287 0
vsize: 273400
[startup+910.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65643 0 0 0 90909 114 0 0 25 0 1 0 852641819 280408064 65563 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68459 65563 1111 63 0 68396 0
vsize: 273836
[startup+920.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65783 0 0 0 91909 114 0 0 25 0 1 0 852641819 281010176 65703 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68606 65703 1111 63 0 68543 0
vsize: 274424
[startup+930.106 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 65923 0 0 0 92909 115 0 0 25 0 1 0 852641819 281608192 65843 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68752 65843 1111 63 0 68689 0
vsize: 275008
[startup+940.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66063 0 0 0 93909 115 0 0 25 0 1 0 852641819 282210304 65983 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68899 65983 1111 63 0 68836 0
vsize: 275596
[startup+950.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66209 0 0 0 94909 115 0 0 25 0 1 0 852641819 282812416 66129 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69046 66129 1111 63 0 68983 0
vsize: 276184
[startup+960.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66354 0 0 0 95909 115 0 0 25 0 1 0 852641819 283406336 66274 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69191 66274 1111 63 0 69128 0
vsize: 276764
[startup+970.108 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66496 0 0 0 96909 116 0 0 25 0 1 0 852641819 284008448 66416 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69338 66416 1111 63 0 69275 0
vsize: 277352
[startup+980.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66636 0 0 0 97908 116 0 0 25 0 1 0 852641819 284459008 66556 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69448 66556 1111 63 0 69385 0
vsize: 277792
[startup+990.107 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66782 0 0 0 98908 116 0 0 25 0 1 0 852641819 285052928 66702 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69593 66702 1111 63 0 69530 0
vsize: 278372
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 66929 0 0 0 99909 116 0 0 25 0 1 0 852641819 285655040 66849 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69740 66849 1111 63 0 69677 0
vsize: 278960
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67077 0 0 0 100909 116 0 0 25 0 1 0 852641819 286257152 66997 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69887 66997 1111 63 0 69824 0
vsize: 279548
[startup+1020.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67223 0 0 0 101909 116 0 0 25 0 1 0 852641819 286851072 67143 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70032 67143 1111 63 0 69969 0
vsize: 280128
[startup+1030.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67370 0 0 0 102909 117 0 0 25 0 1 0 852641819 287453184 67290 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70179 67290 1111 63 0 70116 0
vsize: 280716
[startup+1040.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67526 0 0 0 103909 117 0 0 25 0 1 0 852641819 288206848 67446 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70363 67446 1111 63 0 70300 0
vsize: 281452
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67678 0 0 0 104909 117 0 0 25 0 1 0 852641819 288800768 67598 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70508 67598 1111 63 0 70445 0
vsize: 282032
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67825 0 0 0 105909 118 0 0 25 0 1 0 852641819 289402880 67745 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70655 67745 1111 63 0 70592 0
vsize: 282620
[startup+1070.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 67980 0 0 0 106908 118 0 0 25 0 1 0 852641819 290004992 67900 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70802 67900 1111 63 0 70739 0
vsize: 283208
[startup+1080.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68135 0 0 0 107908 119 0 0 25 0 1 0 852641819 290603008 68055 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70948 68055 1111 63 0 70885 0
vsize: 283792
[startup+1090.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68288 0 0 0 108908 119 0 0 25 0 1 0 852641819 291205120 68208 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71095 68208 1111 63 0 71032 0
vsize: 284380
[startup+1100.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68442 0 0 0 109908 119 0 0 25 0 1 0 852641819 291950592 68362 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71277 68362 1111 63 0 71214 0
vsize: 285108
[startup+1110.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68605 0 0 0 110908 119 0 0 25 0 1 0 852641819 292552704 68525 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71424 68525 1111 63 0 71361 0
vsize: 285696
[startup+1120.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68752 0 0 0 111907 120 0 0 25 0 1 0 852641819 293150720 68672 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71570 68672 1111 63 0 71507 0
vsize: 286280
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 68913 0 0 0 112907 120 0 0 25 0 1 0 852641819 293748736 68833 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71716 68833 1111 63 0 71653 0
vsize: 286864
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69076 0 0 0 113907 121 0 0 25 0 1 0 852641819 294502400 68996 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71900 68996 1111 63 0 71837 0
vsize: 287600
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69236 0 0 0 114907 121 0 0 25 0 1 0 852641819 295100416 69156 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72046 69156 1111 63 0 71983 0
vsize: 288184
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69397 0 0 0 115907 121 0 0 25 0 1 0 852641819 295845888 69317 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72228 69317 1111 63 0 72165 0
vsize: 288912
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69561 0 0 0 116907 121 0 0 25 0 1 0 852641819 296448000 69481 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72375 69481 1111 63 0 72312 0
vsize: 289500
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69722 0 0 0 117907 121 0 0 25 0 1 0 852641819 297050112 69642 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72522 69642 1111 63 0 72459 0
vsize: 290088
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 69883 0 0 0 118907 122 0 0 25 0 1 0 852641819 297795584 69803 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72704 69803 1111 63 0 72641 0
vsize: 290816
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) R 3530 8378 8377 0 -1 0 70059 0 0 0 119906 122 0 0 25 0 1 0 852641819 298545152 69979 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72887 69979 1111 63 0 72824 0
vsize: 291548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 3531
Raw data (stat): 3531 (bsolo_lpr_cuts-) Z 3530 8378 8377 0 -1 1036 70059 0 0 0 119906 135 0 0 25 0 1 0 852641819 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.25
CPU time (s): 1200.43
CPU user time (s): 1199.07
CPU system time (s): 1.35979
CPU usage (%): 100.015
Max. virtual memory (Kb): 291548
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####