PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-p0291.opb
MD5SUM	1d9168a9335e29df835d07b0bdf2adea
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10447498
Optimality of the best value was proved	NO
Number of terms in the objective function	289
Biggest coefficient in the objective function	80000000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	686518451
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	80000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	686518451
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.333948
Number of variables	291
Total number of constraints	543
Number of constraints which are clauses	189
Number of constraints which are cardinality constraints (but not clauses)	295
Number of constraints which are nor clauses,nor cardinality constraints	59
Minimum length of a constraint	1
Maximum length of a constraint	53
Trace number 41471

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 13:11:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29535 boxname=wulflinc6 idbench=1319 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1d9168a9335e29df835d07b0bdf2adea  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-p0291.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-p0291.opb
IDLAUNCH: 29535
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        417500 kB
Buffers:         28568 kB
Cached:         567472 kB
SwapCached:        932 kB
Active:          37900 kB
Inactive:       560200 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        417248 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13240 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:31:54 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 29535 7 1200.41 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 291 variables and 205 constraints.
c After prepocess the problem consists of 291 variables and 205 constraints.
c preprocess terminated 0.273 s
c Initial Lower Bound: 2466535
c Lower Bound Elapsed time: 0.0235
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 252443513 @ 1.509
c NEW SOLUTION FOUND: 251740771 @ 1.555
c NEW SOLUTION FOUND: 251119681 @ 1.663
c NEW SOLUTION FOUND: 250347413 @ 1.7
c NEW SOLUTION FOUND: 249895463 @ 1.71
c NEW SOLUTION FOUND: 249269488 @ 1.732
c NEW SOLUTION FOUND: 248443513 @ 1.742
c NEW SOLUTION FOUND: 245895463 @ 1.782
c NEW SOLUTION FOUND: 244162000 @ 1.886
c NEW SOLUTION FOUND: 238389732 @ 1.894
c NEW SOLUTION FOUND: 235015707 @ 1.908
c NEW SOLUTION FOUND: 234563757 @ 2.043
c NEW SOLUTION FOUND: 234463357 @ 2.203
c NEW SOLUTION FOUND: 232534640 @ 2.211
c NEW SOLUTION FOUND: 232360615 @ 2.22
c NEW SOLUTION FOUND: 232134640 @ 2.294
c NEW SOLUTION FOUND: 231682690 @ 2.337
c NEW SOLUTION FOUND: 211667980 @ 2.411
c NEW SOLUTION FOUND: 211500688 @ 2.548
c NEW SOLUTION FOUND: 209797946 @ 2.56
c NEW SOLUTION FOUND: 209269488 @ 2.614
c NEW SOLUTION FOUND: 207502576 @ 2.66
c NEW SOLUTION FOUND: 204064483 @ 2.716
c NEW SOLUTION FOUND: 198466240 @ 2.731
c NEW SOLUTION FOUND: 197763757 @ 2.827
c NEW SOLUTION FOUND: 195015707 @ 3.251
c NEW SOLUTION FOUND: 194563757 @ 3.487
c NEW SOLUTION FOUND: 193823490 @ 3.628
c NEW SOLUTION FOUND: 192597515 @ 3.998
c NEW SOLUTION FOUND: 192175840 @ 4.038
c NEW SOLUTION FOUND: 191175840 @ 4.064
c NEW SOLUTION FOUND: 190723890 @ 4.09
c NEW SOLUTION FOUND: 167667980 @ 4.112
c NEW SOLUTION FOUND: 165669488 @ 4.337
c NEW SOLUTION FOUND: 163374118 @ 4.423
c NEW SOLUTION FOUND: 162873919 @ 4.484
c NEW SOLUTION FOUND: 160197751 @ 4.496
c NEW SOLUTION FOUND: 160023726 @ 4.503
c NEW SOLUTION FOUND: 157101651 @ 4.511
c NEW SOLUTION FOUND: 156823726 @ 4.592
c NEW SOLUTION FOUND: 156649701 @ 4.597
c NEW SOLUTION FOUND: 155649701 @ 4.671
c NEW SOLUTION FOUND: 154337782 @ 4.734
c NEW SOLUTION FOUND: 154111807 @ 5.335
c NEW SOLUTION FOUND: 151015707 @ 5.344
c NEW SOLUTION FOUND: 150563757 @ 6.178
c NEW SOLUTION FOUND: 137696484 @ 6.336
c NEW SOLUTION FOUND: 131020316 @ 6.376
c NEW SOLUTION FOUND: 119667980 @ 6.407
c NEW SOLUTION FOUND: 116212193 @ 6.969
c NEW SOLUTION FOUND: 113290118 @ 7.212
c NEW SOLUTION FOUND: 112838168 @ 7.599
c NEW SOLUTION FOUND: 83688344 @ 7.969
c NEW SOLUTION FOUND: 77916076 @ 7.973
c NEW SOLUTION FOUND: 73397978 @ 7.981
c NEW SOLUTION FOUND: 72092321 @ 8.004
c NEW SOLUTION FOUND: 71640371 @ 8.024
c NEW SOLUTION FOUND: 66532883 @ 8.064
c NEW SOLUTION FOUND: 63404765 @ 8.072
c NEW SOLUTION FOUND: 60760615 @ 8.085
c NEW SOLUTION FOUND: 60482690 @ 8.089
c NEW SOLUTION FOUND: 60308665 @ 8.098
c NEW SOLUTION FOUND: 41106536 @ 8.526
c NEW SOLUTION FOUND: 35882318 @ 9.274
c NEW SOLUTION FOUND: 32838168 @ 10.174
c NEW SOLUTION FOUND: 29185230 @ 30.569
c NEW SOLUTION FOUND: 28733280 @ 30.591
c NEW SOLUTION FOUND: 26247336 @ 30.649
c NEW SOLUTION FOUND: 25395386 @ 31.019
c NEW SOLUTION FOUND: 24318619 @ 31.102
c NEW SOLUTION FOUND: 22473311 @ 31.13
c NEW SOLUTION FOUND: 21770569 @ 38.637
c NEW SOLUTION FOUND: 18816939 @ 40.87
c NEW SOLUTION FOUND: 17447107 @ 41.062
c NEW SOLUTION FOUND: 16899057 @ 41.994
c NEW SOLUTION FOUND: 15995157 @ 42.546
c NEW SOLUTION FOUND: 14651685 @ 57.001
c NEW SOLUTION FOUND: 14477660 @ 57.202
c NEW SOLUTION FOUND: 12887757 @ 974.046
c NEW SOLUTION FOUND: 12594251 @ 980.462
c NEW SOLUTION FOUND: 12294844 @ 982.64
c NEW SOLUTION FOUND: 12274160 @ 982.819
c NEW SOLUTION FOUND: 12090351 @ 986.09
#### 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.92 0.98 0.93 2/54 12413
Raw data (stat): 12413 (runsolver) R 12412 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910536274 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.0012 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 11475 0 0 0 953 44 0 0 25 0 1 0 910536274 17264640 3492 4294967295 134512640 134716908 3221224560 3221220944 1076117299 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4215 3492 1111 63 0 4152 0
vsize: 16860
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 17503 0 0 0 1934 62 0 0 25 0 1 0 910536274 20107264 4206 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4909 4206 1111 63 0 4846 0
vsize: 19636
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 21192 0 0 0 2927 71 0 0 25 0 1 0 910536274 19775488 3951 4294967295 134512640 134716908 3221224560 3221220660 1075964296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4828 3951 1111 63 0 4765 0
vsize: 19312
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 47082 0 0 0 3866 131 0 0 25 0 1 0 910536274 22949888 4708 4294967295 134512640 134716908 3221224560 3221220688 1075112373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 4708 1111 63 0 5540 0
vsize: 22412
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 56165 0 0 0 4845 152 0 0 25 0 1 0 910536274 24604672 5027 4294967295 134512640 134716908 3221224560 3221221480 1074950117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6007 5027 1111 63 0 5944 0
vsize: 24028
[startup+60.0033 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 60873 0 0 0 5836 162 0 0 25 0 1 0 910536274 23195648 4979 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5663 4979 1111 63 0 5600 0
vsize: 22652
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 72937 0 0 0 6810 189 0 0 25 0 1 0 910536274 24883200 5161 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6075 5161 1111 63 0 6012 0
vsize: 24300
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 84766 0 0 0 7783 216 0 0 25 0 1 0 910536274 25825280 5623 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6305 5623 1111 63 0 6242 0
vsize: 25220
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 85500 0 0 0 8780 219 0 0 25 0 1 0 910536274 27955200 6134 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6825 6134 1111 63 0 6762 0
vsize: 27300
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 88173 0 0 0 9775 224 0 0 25 0 1 0 910536274 25804800 5598 4294967295 134512640 134716908 3221224560 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6300 5598 1111 63 0 6237 0
vsize: 25200
[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 88992 0 0 0 10772 228 0 0 25 0 1 0 910536274 27922432 6126 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 6126 1111 63 0 6754 0
vsize: 27268
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 109615 0 0 0 11720 280 0 0 25 0 1 0 910536274 28729344 5772 4294967295 134512640 134716908 3221224560 3221221624 1075007305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7014 5772 1111 63 0 6951 0
vsize: 28056
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 137315 0 0 0 12651 349 0 0 25 0 1 0 910536274 29298688 6466 4294967295 134512640 134716908 3221224560 3221222208 1075818175 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7153 6466 1111 63 0 7090 0
vsize: 28612
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 170343 0 0 0 13580 421 0 0 25 0 1 0 910536274 33812480 7111 4294967295 134512640 134716908 3221224560 3221220832 1074801892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8255 7111 1111 63 0 8192 0
vsize: 33020
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 177446 0 0 0 14563 438 0 0 25 0 1 0 910536274 33378304 7377 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8149 7377 1111 63 0 8086 0
vsize: 32596
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 189724 0 0 0 15535 466 0 0 25 0 1 0 910536274 32497664 7190 4294967295 134512640 134716908 3221224560 3221222208 1075818276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7934 7190 1111 63 0 7871 0
vsize: 31736
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 196333 0 0 0 16520 482 0 0 25 0 1 0 910536274 34148352 7557 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 7557 1111 63 0 8274 0
vsize: 33348
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 204430 0 0 0 17502 499 0 0 25 0 1 0 910536274 33837056 7497 4294967295 134512640 134716908 3221224560 3221223008 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8261 7497 1111 63 0 8198 0
vsize: 33044
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 211084 0 0 0 18487 515 0 0 25 0 1 0 910536274 33955840 7534 4294967295 134512640 134716908 3221224560 3221223348 134622297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8290 7534 1111 63 0 8227 0
vsize: 33160
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 231875 0 0 0 19441 561 0 0 25 0 1 0 910536274 34082816 7579 4294967295 134512640 134716908 3221224560 3221222832 1074056195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 7579 1111 63 0 8258 0
vsize: 33284
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 253444 0 0 0 20386 617 0 0 25 0 1 0 910536274 37621760 8408 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9185 8408 1111 63 0 9122 0
vsize: 36740
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 280153 0 0 0 21324 679 0 0 25 0 1 0 910536274 41381888 9308 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10103 9308 1111 63 0 10040 0
vsize: 40412
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 307167 0 0 0 22256 748 0 0 25 0 1 0 910536274 45047808 10186 4294967295 134512640 134716908 3221224560 3221222672 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10998 10186 1111 63 0 10935 0
vsize: 43992
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 333334 0 0 0 23195 808 0 0 25 0 1 0 910536274 51138560 11034 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12485 11037 1111 63 0 12422 0
vsize: 49940
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 360787 0 0 0 24129 876 0 0 25 0 1 0 910536274 52514816 11861 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12821 11861 1111 63 0 12758 0
vsize: 51284
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 389653 0 0 0 25063 942 0 0 25 0 1 0 910536274 55795712 12600 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13761 12600 1111 63 0 13698 0
vsize: 54488
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 422788 0 0 0 25989 1016 0 0 25 0 1 0 910536274 58576896 13233 4294967295 134512640 134716908 3221224560 3221222312 1074137219 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14301 13233 1111 63 0 14238 0
vsize: 57204
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 452452 0 0 0 26925 1081 0 0 25 0 1 0 910536274 61939712 14009 4294967295 134512640 134716908 3221224560 3221223336 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15122 14009 1111 63 0 15059 0
vsize: 60488
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 483734 0 0 0 27853 1152 0 0 25 0 1 0 910536274 64737280 14681 4294967295 134512640 134716908 3221224560 3221222832 1074056269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15805 14681 1111 63 0 15742 0
vsize: 63220
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 518971 0 0 0 28769 1237 0 0 25 0 1 0 910536274 67055616 15254 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16371 15254 1111 63 0 16308 0
vsize: 65484
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 552747 0 0 0 29691 1316 0 0 25 0 1 0 910536274 69550080 15882 4294967295 134512640 134716908 3221224560 3221222280 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 15882 1111 63 0 16917 0
vsize: 67920
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 585130 0 0 0 30617 1389 0 0 25 0 1 0 910536274 71815168 16449 4294967295 134512640 134716908 3221224560 3221223436 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17533 16449 1111 63 0 17470 0
vsize: 70132
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 597757 0 0 0 31590 1417 0 0 25 0 1 0 910536274 73584640 16892 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17965 16892 1111 63 0 17902 0
vsize: 71860
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 597852 0 0 0 32589 1419 0 0 25 0 1 0 910536274 73973760 16987 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18060 16987 1111 63 0 17997 0
vsize: 72240
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 597945 0 0 0 33589 1419 0 0 25 0 1 0 910536274 74432512 17080 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18172 17080 1111 63 0 18109 0
vsize: 72688
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598023 0 0 0 34588 1420 0 0 25 0 1 0 910536274 74690560 17158 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18235 17158 1111 63 0 18172 0
vsize: 72940
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598098 0 0 0 35587 1421 0 0 25 0 1 0 910536274 75112448 17233 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18338 17233 1111 63 0 18275 0
vsize: 73352
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598149 0 0 0 36587 1422 0 0 25 0 1 0 910536274 75321344 17284 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18389 17284 1111 63 0 18326 0
vsize: 73556
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598235 0 0 0 37586 1422 0 0 25 0 1 0 910536274 75673600 17370 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18475 17370 1111 63 0 18412 0
vsize: 73900
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598280 0 0 0 38586 1423 0 0 25 0 1 0 910536274 75857920 17415 4294967295 134512640 134716908 3221224560 3221222800 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18520 17415 1111 63 0 18457 0
vsize: 74080
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598319 0 0 0 39586 1423 0 0 25 0 1 0 910536274 76017664 17454 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18559 17454 1111 63 0 18496 0
vsize: 74236
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598386 0 0 0 40587 1423 0 0 25 0 1 0 910536274 76185600 17521 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18600 17521 1111 63 0 18537 0
vsize: 74400
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598420 0 0 0 41586 1424 0 0 25 0 1 0 910536274 76324864 17555 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18634 17555 1111 63 0 18571 0
vsize: 74536
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 598449 0 0 0 42586 1424 0 0 25 0 1 0 910536274 76443648 17584 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18663 17584 1111 63 0 18600 0
vsize: 74652
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 604664 0 0 0 43574 1437 0 0 25 0 1 0 910536274 93233152 21127 4294967295 134512640 134716908 3221224560 3221221104 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22762 21127 1111 63 0 22699 0
vsize: 91048
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 604958 0 0 0 44574 1438 0 0 25 0 1 0 910536274 91156480 20813 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22255 20813 1111 63 0 22192 0
vsize: 89020
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 605356 0 0 0 45573 1439 0 0 25 0 1 0 910536274 92401664 21211 4294967295 134512640 134716908 3221224560 3221221328 1076083360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22559 21211 1111 63 0 22496 0
vsize: 90236
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610121 0 0 0 46563 1450 0 0 25 0 1 0 910536274 73764864 16936 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18009 16936 1111 63 0 17946 0
vsize: 72036
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610298 0 0 0 47561 1452 0 0 25 0 1 0 910536274 74489856 17113 4294967295 134512640 134716908 3221224560 3221222656 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18186 17113 1111 63 0 18123 0
vsize: 72744
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610374 0 0 0 48560 1453 0 0 25 0 1 0 910536274 74801152 17189 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18262 17189 1111 63 0 18199 0
vsize: 73048
[startup+510.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610442 0 0 0 49560 1454 0 0 25 0 1 0 910536274 75079680 17257 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18330 17257 1111 63 0 18267 0
vsize: 73320
[startup+520.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610502 0 0 0 50559 1455 0 0 25 0 1 0 910536274 75325440 17317 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18390 17317 1111 63 0 18327 0
vsize: 73560
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610554 0 0 0 51559 1456 0 0 25 0 1 0 910536274 75538432 17369 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18442 17369 1111 63 0 18379 0
vsize: 73768
[startup+540.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610604 0 0 0 52558 1457 0 0 25 0 1 0 910536274 75743232 17419 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18492 17419 1111 63 0 18429 0
vsize: 73968
[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610647 0 0 0 53558 1457 0 0 25 0 1 0 910536274 75919360 17462 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18535 17462 1111 63 0 18472 0
vsize: 74140
[startup+560.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610692 0 0 0 54558 1458 0 0 25 0 1 0 910536274 76103680 17507 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18580 17507 1111 63 0 18517 0
vsize: 74320
[startup+570.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610733 0 0 0 55558 1458 0 0 25 0 1 0 910536274 76271616 17548 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18621 17548 1111 63 0 18558 0
vsize: 74484
[startup+580.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610793 0 0 0 56557 1459 0 0 25 0 1 0 910536274 76648448 17608 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18713 17608 1111 63 0 18650 0
vsize: 74852
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610827 0 0 0 57557 1460 0 0 25 0 1 0 910536274 76787712 17642 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18747 17642 1111 63 0 18684 0
vsize: 74988
[startup+600.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 610856 0 0 0 58557 1460 0 0 25 0 1 0 910536274 76906496 17671 4294967295 134512640 134716908 3221224560 3221222960 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18776 17671 1111 63 0 18713 0
vsize: 75104
[startup+610.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 618092 0 0 0 59542 1475 0 0 25 0 1 0 910536274 97185792 22032 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23727 22032 1111 63 0 23664 0
vsize: 94908
[startup+620.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 60531 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134542419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+630.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 61531 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 62531 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 63532 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 64532 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 65532 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 66533 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 67533 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+700.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 68533 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+710.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 69533 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 70533 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223356 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 71534 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223284 134622801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 72534 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 73534 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 74535 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 75535 1487 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 76535 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223356 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 77536 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 78536 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 79536 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 80537 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 81537 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 82537 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 83538 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 84538 1488 0 0 25 0 1 0 910536274 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+870.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623066 0 0 0 85538 1488 0 0 25 0 1 0 910536274 73449472 16859 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 16859 1111 63 0 17869 0
vsize: 71728
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623317 0 0 0 86537 1489 0 0 25 0 1 0 910536274 74477568 17110 4294967295 134512640 134716908 3221224560 3221222320 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18183 17110 1111 63 0 18120 0
vsize: 72732
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 623405 0 0 0 87535 1491 0 0 25 0 1 0 910536274 74838016 17198 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18271 17198 1111 63 0 18208 0
vsize: 73084
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 627403 0 0 0 88527 1499 0 0 25 0 1 0 910536274 89927680 19954 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21955 19954 1111 63 0 21892 0
vsize: 87820
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 89522 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 90522 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223296 134622765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+930.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 91522 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+940.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 92523 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 93523 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 629679 0 0 0 94523 1505 0 0 25 0 1 0 910536274 75022336 17240 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+970.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 644850 0 0 0 95484 1545 0 0 25 0 1 0 910536274 73449472 16860 4294967295 134512640 134716908 3221224560 3221222380 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 16860 1111 63 0 17869 0
vsize: 71728
[startup+980.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 672720 0 0 0 96415 1614 0 0 25 0 1 0 910536274 81190912 16996 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19822 17008 1111 63 0 19759 0
vsize: 79288
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 694271 0 0 0 97363 1666 0 0 25 0 1 0 910536274 75612160 17391 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18460 17391 1111 63 0 18397 0
vsize: 73840
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 694387 0 0 0 98362 1668 0 0 25 0 1 0 910536274 76087296 17507 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18576 17507 1111 63 0 18513 0
vsize: 74304
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 694481 0 0 0 99361 1669 0 0 25 0 1 0 910536274 76500992 17601 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18677 17601 1111 63 0 18614 0
vsize: 74708
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 695601 0 0 0 100359 1671 0 0 25 0 1 0 910536274 79597568 18352 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19433 18352 1111 63 0 19370 0
vsize: 77732
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 695601 0 0 0 101359 1671 0 0 25 0 1 0 910536274 79597568 18352 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19433 18352 1111 63 0 19370 0
vsize: 77732
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 698561 0 0 0 102353 1678 0 0 25 0 1 0 910536274 88047616 19619 4294967295 134512640 134716908 3221224560 3221220944 1075133414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21496 19619 1111 63 0 21433 0
vsize: 85984
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 701416 0 0 0 103347 1684 0 0 25 0 1 0 910536274 78438400 17994 4294967295 134512640 134716908 3221224560 3221223280 134622782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 701416 0 0 0 104347 1684 0 0 25 0 1 0 910536274 78438400 17994 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 701416 0 0 0 105348 1684 0 0 25 0 1 0 910536274 78438400 17994 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 701416 0 0 0 106348 1684 0 0 25 0 1 0 910536274 78438400 17994 4294967295 134512640 134716908 3221224560 3221223296 134622865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 701416 0 0 0 107348 1684 0 0 25 0 1 0 910536274 78438400 17994 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 710876 0 0 0 108326 1706 0 0 25 0 1 0 910536274 82538496 17647 4294967295 134512640 134716908 3221224560 3221220832 1074961132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20151 17648 1111 63 0 20088 0
vsize: 80604
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 716526 0 0 0 109310 1722 0 0 25 0 1 0 910536274 76644352 17618 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18712 17618 1111 63 0 18649 0
vsize: 74848
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 716609 0 0 0 110310 1724 0 0 25 0 1 0 910536274 76976128 17701 4294967295 134512640 134716908 3221224560 3221222768 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18793 17701 1111 63 0 18730 0
vsize: 75172
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 717712 0 0 0 111307 1727 0 0 25 0 1 0 910536274 79925248 18441 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19513 18441 1111 63 0 19450 0
vsize: 78052
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 717712 0 0 0 112307 1727 0 0 25 0 1 0 910536274 79925248 18441 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19513 18441 1111 63 0 19450 0
vsize: 78052
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 718172 0 0 0 113306 1728 0 0 25 0 1 0 910536274 81059840 18565 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19790 18567 1111 63 0 19727 0
vsize: 79160
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 723186 0 0 0 114296 1739 0 0 25 0 1 0 910536274 78991360 18117 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 723186 0 0 0 115296 1739 0 0 25 0 1 0 910536274 78991360 18117 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 723186 0 0 0 116296 1739 0 0 25 0 1 0 910536274 78991360 18117 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 723186 0 0 0 117297 1739 0 0 25 0 1 0 910536274 78991360 18117 4294967295 134512640 134716908 3221224560 3221223288 134622793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) R 12412 25568 25567 0 -1 0 723186 0 0 0 118297 1739 0 0 25 0 1 0 910536274 78991360 18117 4294967295 134512640 134716908 3221224560 3221223284 134622875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 12413
Raw data (stat): 12413 (bsolo_lpr_cuts-) Z 12412 25568 25567 0 -1 1036 723186 0 0 0 118297 1742 0 0 25 0 1 0 910536274 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.06
CPU time (s): 1200.41
CPU user time (s): 1182.98
CPU system time (s): 17.4293
CPU usage (%): 100.029
Max. virtual memory (Kb): 94908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####