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/submitted/manquinho/primes-dimacs-cnf/normalized-g250.15.opb
MD5SUM	9cfcc49797c7ac58bfef2056b3d91b66
Bench Category	optimization, small integers (OPTSMALLINT)
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	7500
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	7500
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	7500
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.065989
Number of variables	7500
Total number of constraints	237715
Number of constraints which are clauses	237715
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	15
Trace number 40681

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 18:03:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28746 boxname=wulflinc2 idbench=132 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  9cfcc49797c7ac58bfef2056b3d91b66  /oldhome/oroussel/tmp/wulflinc2/normalized-g250.15.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-g250.15.opb
IDLAUNCH: 28746
/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:        757640 kB
Buffers:         30224 kB
Cached:         224180 kB
SwapCached:       1344 kB
Active:          49604 kB
Inactive:       206764 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        757388 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            15056 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:24:07 (client local time) WITH STATUS 0 IN 1206.68 SECONDS
stats: 28746 7 1206.68 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 7500 variables and 237715 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.95 0.90 1/54 14748
Raw data (stat): 14748 (runsolver) R 14747 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903652149 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 9311 0 0 0 972 25 0 0 25 0 1 0 903652149 51220480 9231 4294967295 134512640 134716908 3221224576 3221222492 1077269963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12505 9231 1111 63 0 12442 0
vsize: 50020
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 19968 0 0 0 1937 60 0 0 25 0 1 0 903652149 94892032 19888 4294967295 134512640 134716908 3221224576 3221223116 1077294272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23167 19888 1111 63 0 23104 0
vsize: 92668
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 120394 0 0 0 2708 288 0 0 25 0 1 0 903652149 496369664 120296 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121184 120296 1111 63 0 121121 0
vsize: 484736
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 191133 0 0 0 3542 453 0 0 25 0 1 0 903652149 785534976 190909 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190909 1111 63 0 191718 0
vsize: 767124
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 204159 0 21 0 4487 487 0 0 18 0 1 0 903652149 836399104 202775 4294967295 134512640 134716908 3221224576 3221223000 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 204235 202782 1111 63 0 204172 0
vsize: 816796
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 236657 0 57 0 5364 571 0 0 25 0 1 0 903652149 785534976 190172 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190172 1111 63 0 191718 0
vsize: 767124
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 287903 0 58 0 6232 700 0 0 25 0 1 0 903652149 785534976 190173 4294967295 134512640 134716908 3221224576 3221223000 1077378064 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190173 1111 63 0 191718 0
vsize: 767124
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 339347 0 58 0 7102 830 0 0 25 0 1 0 903652149 785534976 190173 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190173 1111 63 0 191718 0
vsize: 767124
[startup+90.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 343718 0 114 0 8038 842 0 0 25 0 1 0 903652149 785534976 190350 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190350 1111 63 0 191718 0
vsize: 767124
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 363312 0 129 0 8966 896 0 0 25 0 1 0 903652149 785534976 190485 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190485 1111 63 0 191718 0
vsize: 767124
[startup+110.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 397598 0 132 0 9872 985 0 0 25 0 1 0 903652149 785534976 190552 4294967295 134512640 134716908 3221224576 3221223012 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190552 1111 63 0 191718 0
vsize: 767124
[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 452793 0 132 0 10731 1126 0 0 25 0 1 0 903652149 870457344 211087 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 212514 211087 1111 63 0 212451 0
vsize: 850056
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 516745 0 136 0 11559 1294 0 0 25 0 1 0 903652149 785534976 190334 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190334 1111 63 0 191718 0
vsize: 767124
[startup+140.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14748
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 581710 0 147 0 12384 1459 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 668539 0 148 0 13164 1677 0 0 25 0 1 0 903652149 874659840 212088 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213540 212088 1111 63 0 213477 0
vsize: 854160
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 733830 0 148 0 13990 1851 0 0 25 0 1 0 903652149 785534976 190362 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190362 1111 63 0 191718 0
vsize: 767124
[startup+170.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 774389 0 149 0 14884 1955 0 0 25 0 1 0 903652149 785534976 190365 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190365 1111 63 0 191718 0
vsize: 767124
[startup+180.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 827894 0 149 0 15746 2093 0 0 25 0 1 0 903652149 829497344 201096 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202514 201096 1111 63 0 202451 0
vsize: 810056
[startup+190.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 872074 0 149 0 16629 2211 0 0 25 0 1 0 903652149 785534976 190366 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190366 1111 63 0 191718 0
vsize: 767124
[startup+200.019 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 894252 0 149 0 17572 2268 0 0 25 0 1 0 903652149 785534976 190366 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190366 1111 63 0 191718 0
vsize: 767124
[startup+210.019 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 894252 0 149 0 18571 2268 0 0 25 0 1 0 903652149 785534976 190366 4294967295 134512640 134716908 3221224576 3221223104 134543698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190366 1111 63 0 191718 0
vsize: 767124
[startup+220.019 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 894256 0 151 0 19567 2270 0 0 25 0 1 0 903652149 785534976 190372 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190372 1111 63 0 191718 0
vsize: 767124
[startup+230.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 894266 0 154 0 20564 2270 0 0 25 0 1 0 903652149 785534976 190385 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190385 1111 63 0 191718 0
vsize: 767124
[startup+240.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 894266 0 154 0 21564 2270 0 0 25 0 1 0 903652149 785534976 190385 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190385 1111 63 0 191718 0
vsize: 767124
[startup+250.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 920889 0 228 0 22322 2337 0 0 21 0 1 0 903652149 785534976 190109 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190109 1111 63 0 191718 0
vsize: 767124
[startup+260.022 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1003942 0 236 0 23104 2545 0 0 25 0 1 0 903652149 808189952 195686 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197312 195686 1111 63 0 197249 0
vsize: 789248
[startup+270.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1092152 0 238 0 23879 2767 0 0 25 0 1 0 903652149 851402752 206265 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 207862 206265 1111 63 0 207799 0
vsize: 831448
[startup+280.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1179992 0 239 0 24656 2988 0 0 25 0 1 0 903652149 892063744 216244 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217789 216244 1111 63 0 217726 0
vsize: 871156
[startup+290.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1258142 0 239 0 25454 3190 0 0 25 0 1 0 903652149 785534976 190256 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190256 1111 63 0 191718 0
vsize: 767124
[startup+300.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1284263 0 243 0 26381 3257 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221222992 1076647868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+310.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1286890 0 243 0 27373 3264 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223040 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+320.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1300071 0 243 0 28337 3300 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+330.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1313325 0 243 0 29301 3337 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223124 1077374469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+340.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 30271 3366 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+350.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 31271 3366 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+360.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 32271 3367 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+370.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 33270 3367 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+380.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 34271 3367 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+390.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324055 0 243 0 35270 3368 0 0 25 0 1 0 903652149 785534976 190271 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190271 1111 63 0 191718 0
vsize: 767124
[startup+400.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324060 0 245 0 36268 3368 0 0 25 0 1 0 903652149 785534976 190278 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190278 1111 63 0 191718 0
vsize: 767124
[startup+410.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324061 0 245 0 37267 3368 0 0 25 0 1 0 903652149 785534976 190279 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190279 1111 63 0 191718 0
vsize: 767124
[startup+420.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324061 0 245 0 38268 3368 0 0 25 0 1 0 903652149 785534976 190279 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190279 1111 63 0 191718 0
vsize: 767124
[startup+430.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324067 0 245 0 39268 3368 0 0 25 0 1 0 903652149 785534976 190285 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190285 1111 63 0 191718 0
vsize: 767124
[startup+440.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324067 0 245 0 40268 3368 0 0 25 0 1 0 903652149 785534976 190285 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190285 1111 63 0 191718 0
vsize: 767124
[startup+450.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324067 0 245 0 41268 3368 0 0 25 0 1 0 903652149 785534976 190285 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190285 1111 63 0 191718 0
vsize: 767124
[startup+460.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324067 0 245 0 42268 3368 0 0 25 0 1 0 903652149 785534976 190285 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190285 1111 63 0 191718 0
vsize: 767124
[startup+470.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324071 0 247 0 43265 3368 0 0 25 0 1 0 903652149 785534976 190291 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190291 1111 63 0 191718 0
vsize: 767124
[startup+480.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324071 0 247 0 44265 3368 0 0 25 0 1 0 903652149 785534976 190291 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190291 1111 63 0 191718 0
vsize: 767124
[startup+490.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324071 0 247 0 45265 3368 0 0 25 0 1 0 903652149 785534976 190291 4294967295 134512640 134716908 3221224576 3221223072 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190291 1111 63 0 191718 0
vsize: 767124
[startup+500.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324071 0 247 0 46265 3368 0 0 25 0 1 0 903652149 785534976 190291 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190291 1111 63 0 191718 0
vsize: 767124
[startup+510.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324071 0 247 0 47266 3368 0 0 25 0 1 0 903652149 785534976 190291 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190291 1111 63 0 191718 0
vsize: 767124
[startup+520.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324072 0 247 0 48266 3368 0 0 25 0 1 0 903652149 785534976 190292 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190292 1111 63 0 191718 0
vsize: 767124
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324077 0 247 0 49266 3368 0 0 25 0 1 0 903652149 785534976 190297 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190297 1111 63 0 191718 0
vsize: 767124
[startup+540.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324077 0 247 0 50266 3368 0 0 25 0 1 0 903652149 785534976 190297 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190297 1111 63 0 191718 0
vsize: 767124
[startup+550.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 51263 3368 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+560.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 52262 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 53263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+580.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 54263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+590.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 55263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223136 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+600.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 56263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222952 134539209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+610.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 57263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+620.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 58263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+630.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 59263 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+640.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 60264 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+650.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 61264 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223104 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+660.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 62264 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+670.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 63264 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+680.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 64264 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+690.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 65265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+700.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 66265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223104 134542876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+710.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 67265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223200 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+720.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 68265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+730.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 69265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+740.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 70265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+750.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 71265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+760.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 72265 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+770.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 73266 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223092 1077378704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+780.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 74266 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 75266 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 76266 3369 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 77266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 78266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+830.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 79266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 80266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 81266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 82266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 83266 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 84267 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 85267 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 86267 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 251 0 87267 3370 0 0 25 0 1 0 903652149 785534976 190310 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190310 1111 63 0 191718 0
vsize: 767124
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 88267 3370 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 89267 3370 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 90267 3370 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+950.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 91267 3370 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 92267 3371 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 93267 3371 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+980.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 94267 3371 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+990.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324086 0 252 0 95268 3371 0 0 25 0 1 0 903652149 785534976 190311 4294967295 134512640 134716908 3221224576 3221222984 134543647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190311 1111 63 0 191718 0
vsize: 767124
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324096 0 254 0 96265 3371 0 0 25 0 1 0 903652149 785534976 190323 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190323 1111 63 0 191718 0
vsize: 767124
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324112 0 256 0 97262 3371 0 0 25 0 1 0 903652149 785534976 190341 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190341 1111 63 0 191718 0
vsize: 767124
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324119 0 256 0 98260 3371 0 0 25 0 1 0 903652149 785534976 190348 4294967295 134512640 134716908 3221224576 3221223248 134594901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190348 1111 63 0 191718 0
vsize: 767124
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324119 0 256 0 99260 3371 0 0 25 0 1 0 903652149 785534976 190348 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190348 1111 63 0 191718 0
vsize: 767124
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 100260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223088 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 101260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 102260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222960 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 103260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 104260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 105260 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223192 134542370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 106261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222956 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 107261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 108261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 109261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 110261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221222992 134542737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 111261 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 112262 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 113262 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324124 0 257 0 114262 3372 0 0 25 0 1 0 903652149 785534976 190354 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190354 1111 63 0 191718 0
vsize: 767124
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324129 0 258 0 115259 3372 0 0 25 0 1 0 903652149 785534976 190360 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191781 190360 1111 63 0 191718 0
vsize: 767124
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324129 0 258 0 116259 3372 0 0 25 0 1 0 903652149 785534976 190360 4294967295 134512640 134716908 3221224576 3221223056 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190360 1111 63 0 191718 0
vsize: 767124
[startup+1210.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) R 14747 31399 31398 0 -1 0 1324129 0 258 0 117259 3372 0 0 25 0 1 0 903652149 785534976 190360 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191781 190360 1111 63 0 191718 0
vsize: 767124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.4 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 14750
Raw data (stat): 14748 (bsolo_lpr_cuts-) Z 14747 31399 31398 0 -1 1036 1324129 0 258 0 117259 3408 0 0 25 0 1 0 903652149 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): 1210.4
CPU time (s): 1206.68
CPU user time (s): 1172.6
CPU system time (s): 34.0838
CPU usage (%): 99.6929
Max. virtual memory (Kb): 871156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####