PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-markshare1.opb
MD5SUM	c8b965306fec2c21edee64824d12f378
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63488
Optimality of the best value was proved	NO
Number of terms in the objective function	180
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6442450938
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	6442450938
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	230
Total number of constraints	56
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	6
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 41200

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 07:49:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29256 boxname=wulflinc5 idbench=1040 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c8b965306fec2c21edee64824d12f378  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-markshare1.opb
IDLAUNCH: 29256
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        751104 kB
Buffers:          6508 kB
Cached:         256124 kB
SwapCached:        664 kB
Active:          24800 kB
Inactive:       239828 kB
HighTotal:      131008 kB
HighFree:         8932 kB
LowTotal:       903652 kB
LowFree:        742172 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13176 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:09:36 (client local time) WITH STATUS 0 IN 1200.21 SECONDS
stats: 29256 7 1200.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 230 variables and 12 constraints.
c After prepocess the problem consists of 176 variables and 12 constraints.
c preprocess terminated 0.092 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0.015
c Use computed LB before first solution.
#### 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.98 0.97 0.91 2/54 31651
Raw data (stat): 31651 (runsolver) R 31650 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908603045 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 5753 0 2 0 969 24 0 0 25 0 1 0 908603045 11522048 2076 4294967295 134512640 134716908 3221224560 3221220880 1075169667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2813 2076 1111 63 0 2750 0
vsize: 11252
[startup+20.0006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 12446 0 2 0 1954 40 0 0 25 0 1 0 908603045 12304384 2257 4294967295 134512640 134716908 3221224560 3221220896 1075114265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3004 2257 1111 63 0 2941 0
vsize: 12016
[startup+30.0003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 34897 0 2 0 2899 95 0 0 25 0 1 0 908603045 16445440 3264 4294967295 134512640 134716908 3221224560 3221220584 1074860230 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4015 3264 1111 63 0 3952 0
vsize: 16060
[startup+40.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 58736 0 2 0 3844 149 0 0 25 0 1 0 908603045 19705856 4118 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4811 4118 1111 63 0 4748 0
vsize: 19244
[startup+50.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 84122 0 2 0 4780 214 0 0 25 0 1 0 908603045 25071616 5389 4294967295 134512640 134716908 3221224560 3221223312 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 5389 1111 63 0 6058 0
vsize: 24484
[startup+60.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 104671 0 2 0 5730 264 0 0 25 0 1 0 908603045 27873280 6079 4294967295 134512640 134716908 3221224560 3221222868 1074138459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6805 6079 1111 63 0 6742 0
vsize: 27220
[startup+70.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 119827 0 2 0 6693 301 0 0 25 0 1 0 908603045 29863936 6502 4294967295 134512640 134716908 3221224560 3221220872 1074960597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 6502 1111 63 0 7228 0
vsize: 29164
[startup+80.0021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 136570 0 2 0 7652 343 0 0 25 0 1 0 908603045 31928320 7025 4294967295 134512640 134716908 3221224560 3221220524 1074860764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7795 7026 1111 63 0 7732 0
vsize: 31180
[startup+90.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 151576 0 2 0 8614 381 0 0 25 0 1 0 908603045 33337344 7429 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8139 7429 1111 63 0 8076 0
vsize: 32556
[startup+100.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 155119 0 2 0 9605 390 0 0 25 0 1 0 908603045 36401152 7841 4294967295 134512640 134716908 3221224560 3221221624 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8887 7846 1111 63 0 8824 0
vsize: 35548
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 164772 0 2 0 10585 410 0 0 25 0 1 0 908603045 34254848 7659 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8363 7659 1111 63 0 8300 0
vsize: 33452
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 178394 0 2 0 11554 441 0 0 25 0 1 0 908603045 35471360 7751 4294967295 134512640 134716908 3221224560 3221221072 1075240464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 7749 1111 63 0 8488 0
vsize: 34640
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 193270 0 2 0 12521 474 0 0 25 0 1 0 908603045 35352576 7928 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8631 7928 1111 63 0 8568 0
vsize: 34524
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 212228 0 2 0 13480 516 0 0 25 0 1 0 908603045 36483072 8173 4294967295 134512640 134716908 3221224560 3221222816 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8907 8173 1111 63 0 8844 0
vsize: 35628
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 227539 0 2 0 14446 550 0 0 25 0 1 0 908603045 39006208 8742 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9523 8742 1111 63 0 9460 0
vsize: 38092
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 238378 0 2 0 15424 572 0 0 25 0 1 0 908603045 39354368 8802 4294967295 134512640 134716908 3221224560 3221222288 1075828432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9608 8802 1111 63 0 9545 0
vsize: 38432
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 247840 0 2 0 16403 593 0 0 25 0 1 0 908603045 39604224 8871 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9669 8871 1111 63 0 9606 0
vsize: 38676
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 260626 0 2 0 17376 620 0 0 25 0 1 0 908603045 40214528 9030 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9818 9030 1111 63 0 9755 0
vsize: 39272
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 267164 0 2 0 18362 635 0 0 25 0 1 0 908603045 40996864 9221 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10009 9221 1111 63 0 9946 0
vsize: 40036
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 279393 0 2 0 19338 659 0 0 25 0 1 0 908603045 42336256 9357 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10336 9357 1111 63 0 10273 0
vsize: 41344
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 292263 0 2 0 20309 688 0 0 25 0 1 0 908603045 42921984 9474 4294967295 134512640 134716908 3221224560 3221221420 1074788592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10479 9474 1111 63 0 10416 0
vsize: 41916
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 298453 0 2 0 21293 704 0 0 25 0 1 0 908603045 43896832 9898 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10717 9898 1111 63 0 10654 0
vsize: 42868
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 305119 0 2 0 22279 718 0 0 25 0 1 0 908603045 42680320 9628 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10420 9628 1111 63 0 10357 0
vsize: 41680
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 317235 0 2 0 23252 746 0 0 25 0 1 0 908603045 44363776 9839 4294967295 134512640 134716908 3221224560 3221220704 1074971521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10831 9840 1111 63 0 10768 0
vsize: 43324
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 350272 0 2 0 24179 818 0 0 25 0 1 0 908603045 47878144 10702 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11689 10702 1111 63 0 11626 0
vsize: 46756
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 372571 0 2 0 25129 869 0 0 25 0 1 0 908603045 49803264 11207 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12159 11207 1111 63 0 12096 0
vsize: 48636
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 395346 0 2 0 26078 920 0 0 25 0 1 0 908603045 50122752 11419 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12237 11419 1111 63 0 12174 0
vsize: 48948
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 420328 0 2 0 27027 971 0 0 25 0 1 0 908603045 52908032 11939 4294967295 134512640 134716908 3221224560 3221220720 1075091282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12917 11940 1111 63 0 12854 0
vsize: 51668
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 429943 0 2 0 28006 993 0 0 25 0 1 0 908603045 52838400 12083 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12900 12083 1111 63 0 12837 0
vsize: 51600
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 435300 0 2 0 28993 1006 0 0 25 0 1 0 908603045 52916224 12099 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12919 12099 1111 63 0 12856 0
vsize: 51676
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 442437 0 2 0 29977 1022 0 0 25 0 1 0 908603045 54276096 12289 4294967295 134512640 134716908 3221224560 3221220528 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13251 12289 1111 63 0 13188 0
vsize: 53004
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 452239 0 2 0 30954 1045 0 0 25 0 1 0 908603045 53542912 12232 4294967295 134512640 134716908 3221224560 3221222488 1077380786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13072 12232 1111 63 0 13009 0
vsize: 52288
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 476231 0 2 0 31901 1098 0 0 25 0 1 0 908603045 56352768 12789 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13758 12789 1111 63 0 13695 0
vsize: 55032
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 503488 0 2 0 32839 1160 0 0 25 0 1 0 908603045 57888768 13264 4294967295 134512640 134716908 3221224560 3221221624 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14352 13270 1111 63 0 14289 0
vsize: 56532
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 529451 0 2 0 33776 1223 0 0 25 0 1 0 908603045 60223488 13651 4294967295 134512640 134716908 3221224560 3221220832 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14703 13651 1111 63 0 14640 0
vsize: 58812
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 552677 0 2 0 34723 1277 0 0 25 0 1 0 908603045 60682240 13950 4294967295 134512640 134716908 3221224560 3221223328 134624490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14815 13950 1111 63 0 14752 0
vsize: 59260
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 568409 0 2 0 35686 1313 0 0 25 0 1 0 908603045 61562880 14178 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15030 14178 1111 63 0 14967 0
vsize: 60120
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 595863 0 2 0 36625 1375 0 0 25 0 1 0 908603045 64802816 14724 4294967295 134512640 134716908 3221224560 3221220720 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15821 14734 1111 63 0 15758 0
vsize: 63284
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 612948 0 2 0 37587 1414 0 0 25 0 1 0 908603045 63913984 14753 4294967295 134512640 134716908 3221224560 3221223364 134622316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15604 14753 1111 63 0 15541 0
vsize: 62416
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 628089 0 2 0 38555 1445 0 0 25 0 1 0 908603045 64512000 14898 4294967295 134512640 134716908 3221224560 3221222480 1075799685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15750 14898 1111 63 0 15687 0
vsize: 63000
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 643678 0 2 0 39522 1478 0 0 25 0 1 0 908603045 66207744 15154 4294967295 134512640 134716908 3221224560 3221220704 1074970480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16164 15154 1111 63 0 16101 0
vsize: 64656
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 649071 0 2 0 40508 1493 0 0 25 0 1 0 908603045 65507328 15142 4294967295 134512640 134716908 3221224560 3221223352 134542414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15993 15142 1111 63 0 15930 0
vsize: 63972
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 657258 0 2 0 41490 1510 0 0 25 0 1 0 908603045 66596864 15251 4294967295 134512640 134716908 3221224560 3221220668 1074797358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16259 15251 1111 63 0 16196 0
vsize: 65036
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 673506 0 2 0 42454 1547 0 0 25 0 1 0 908603045 66781184 15446 4294967295 134512640 134716908 3221224560 3221222852 1074206882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16304 15446 1111 63 0 16241 0
vsize: 65216
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 685006 0 2 0 43428 1573 0 0 25 0 1 0 908603045 67149824 15537 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16433 15543 1111 63 0 16370 0
vsize: 65576
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 690357 0 2 0 44417 1584 0 0 25 0 1 0 908603045 69726208 15962 4294967295 134512640 134716908 3221224560 3221223356 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17023 15962 1111 63 0 16960 0
vsize: 68092
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 723698 0 2 0 45341 1661 0 0 25 0 1 0 908603045 73551872 16814 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17957 16814 1111 63 0 17894 0
vsize: 71828
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 753517 0 2 0 46275 1727 0 0 25 0 1 0 908603045 77238272 17556 4294967295 134512640 134716908 3221224560 3221221600 1075859982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18638 17492 1111 63 0 18575 0
vsize: 75428
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 772609 0 2 0 47231 1771 0 0 25 0 1 0 908603045 77672448 17826 4294967295 134512640 134716908 3221224560 3221222632 1077377168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18963 17826 1111 63 0 18900 0
vsize: 75852
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 792032 0 2 0 48187 1815 0 0 25 0 1 0 908603045 79650816 18083 4294967295 134512640 134716908 3221224560 3221221200 1075966317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19227 18077 1111 63 0 19164 0
vsize: 77784
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 808578 0 2 0 49151 1852 0 0 25 0 1 0 908603045 79843328 18353 4294967295 134512640 134716908 3221224560 3221222716 1077404823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19493 18353 1111 63 0 19430 0
vsize: 77972
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 821448 0 2 0 50122 1881 0 0 25 0 1 0 908603045 80662528 18550 4294967295 134512640 134716908 3221224560 3221223356 134542422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19693 18550 1111 63 0 19630 0
vsize: 78772
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 837345 0 2 0 51087 1915 0 0 25 0 1 0 908603045 81199104 18674 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19824 18674 1111 63 0 19761 0
vsize: 79296
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 853866 0 2 0 52051 1951 0 0 25 0 1 0 908603045 83222528 19014 4294967295 134512640 134716908 3221224560 3221220688 1075112383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20318 19014 1111 63 0 20255 0
vsize: 81272
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 865725 0 2 0 53024 1979 0 0 25 0 1 0 908603045 83324928 19049 4294967295 134512640 134716908 3221224560 3221220788 1075115007 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20343 19049 1111 63 0 20280 0
vsize: 81372
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 875766 0 2 0 54001 2002 0 0 25 0 1 0 908603045 82976768 19090 4294967295 134512640 134716908 3221224560 3221222672 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20258 19090 1111 63 0 20195 0
vsize: 81032
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 887611 0 2 0 54974 2030 0 0 25 0 1 0 908603045 83841024 19286 4294967295 134512640 134716908 3221224560 3221221596 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20469 19287 1111 63 0 20406 0
vsize: 81876
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 898626 0 2 0 55949 2055 0 0 25 0 1 0 908603045 83746816 19312 4294967295 134512640 134716908 3221224560 3221222712 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20446 19312 1111 63 0 20383 0
vsize: 81784
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 908567 0 2 0 56927 2077 0 0 25 0 1 0 908603045 84217856 19410 4294967295 134512640 134716908 3221224560 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20561 19410 1111 63 0 20498 0
vsize: 82244
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 919274 0 2 0 57903 2101 0 0 25 0 1 0 908603045 85008384 19618 4294967295 134512640 134716908 3221224560 3221222480 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20754 19618 1111 63 0 20691 0
vsize: 83016
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 931723 0 2 0 58876 2128 0 0 25 0 1 0 908603045 85282816 19693 4294967295 134512640 134716908 3221224560 3221223352 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20821 19693 1111 63 0 20758 0
vsize: 83284
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31651
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 951831 0 2 0 59830 2175 0 0 25 0 1 0 908603045 88973312 20456 4294967295 134512640 134716908 3221224560 3221220800 1075115724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21722 20456 1111 63 0 21659 0
vsize: 86888
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 3/55 31652
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 972305 0 2 0 60786 2219 0 0 25 0 1 0 908603045 88805376 20371 4294967295 134512640 134716908 3221224560 3221220704 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21681 20371 1111 63 0 21618 0
vsize: 86724
[startup+640.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 980530 0 2 0 61765 2240 0 0 25 0 1 0 908603045 88453120 20426 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21595 20426 1111 63 0 21532 0
vsize: 86380
[startup+650.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 991673 0 2 0 62740 2264 0 0 25 0 1 0 908603045 89739264 20538 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21909 20551 1111 63 0 21846 0
vsize: 87636
[startup+660.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1001829 0 2 0 63717 2287 0 0 25 0 1 0 908603045 90017792 20803 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21977 20803 1111 63 0 21914 0
vsize: 87908
[startup+670.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1012412 0 2 0 64692 2313 0 0 25 0 1 0 908603045 91021312 20880 4294967295 134512640 134716908 3221224560 3221221216 1075966266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22222 20880 1111 63 0 22159 0
vsize: 88888
[startup+680.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1025353 0 2 0 65662 2343 0 0 25 0 1 0 908603045 90468352 20923 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22087 20923 1111 63 0 22024 0
vsize: 88348
[startup+690.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1033913 0 2 0 66642 2363 0 0 25 0 1 0 908603045 91000832 21068 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22217 21068 1111 63 0 22154 0
vsize: 88868
[startup+700.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31704
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1044284 0 2 0 67621 2385 0 0 25 0 1 0 908603045 92270592 21198 4294967295 134512640 134716908 3221224560 3221220780 1074878536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22527 21198 1111 63 0 22464 0
vsize: 90108
[startup+710.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1056686 0 2 0 68593 2413 0 0 25 0 1 0 908603045 92119040 21339 4294967295 134512640 134716908 3221224560 3221223360 134622287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22490 21339 1111 63 0 22427 0
vsize: 89960
[startup+720.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1063160 0 2 0 69577 2429 0 0 25 0 1 0 908603045 92291072 21385 4294967295 134512640 134716908 3221224560 3221223360 134622374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22532 21385 1111 63 0 22469 0
vsize: 90128
[startup+730.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1078129 0 2 0 70543 2463 0 0 25 0 1 0 908603045 93069312 21575 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22722 21575 1111 63 0 22659 0
vsize: 90888
[startup+740.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1093139 0 2 0 71509 2497 0 0 25 0 1 0 908603045 93876224 21777 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22919 21777 1111 63 0 22856 0
vsize: 91676
[startup+750.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1108903 0 2 0 72476 2530 0 0 25 0 1 0 908603045 94437376 21913 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23056 21913 1111 63 0 22993 0
vsize: 92224
[startup+760.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1121077 0 2 0 73449 2558 0 0 25 0 1 0 908603045 95412224 22152 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23294 22152 1111 63 0 23231 0
vsize: 93176
[startup+770.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1131655 0 2 0 74425 2582 0 0 25 0 1 0 908603045 95604736 22201 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23325 22185 1111 63 0 23262 0
vsize: 93364
[startup+780.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1151488 0 2 0 75380 2627 0 0 25 0 1 0 908603045 96620544 22458 4294967295 134512640 134716908 3221224560 3221221732 1077374110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23699 22460 1111 63 0 23636 0
vsize: 94356
[startup+790.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1169604 0 2 0 76343 2665 0 0 25 0 1 0 908603045 98242560 22820 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23985 22820 1111 63 0 23922 0
vsize: 95940
[startup+800.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1196543 0 2 0 77283 2725 0 0 25 0 1 0 908603045 101507072 23584 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24782 23584 1111 63 0 24719 0
vsize: 99128
[startup+810.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1206305 0 2 0 78260 2748 0 0 25 0 1 0 908603045 101347328 23552 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24743 23552 1111 63 0 24680 0
vsize: 98972
[startup+820.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1213241 0 2 0 79244 2764 0 0 25 0 1 0 908603045 102031360 23685 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24910 23685 1111 63 0 24847 0
vsize: 99640
[startup+830.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1222366 0 2 0 80223 2785 0 0 25 0 1 0 908603045 103034880 23801 4294967295 134512640 134716908 3221224560 3221221136 1076046856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25155 23801 1111 63 0 25092 0
vsize: 100620
[startup+840.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1230019 0 2 0 81205 2804 0 0 25 0 1 0 908603045 102756352 23886 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25087 23886 1111 63 0 25024 0
vsize: 100348
[startup+850.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1245063 0 2 0 82171 2837 0 0 25 0 1 0 908603045 104214528 24069 4294967295 134512640 134716908 3221224560 3221220832 1074961199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25443 24069 1111 63 0 25380 0
vsize: 101772
[startup+860.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1253550 0 2 0 83154 2855 0 0 25 0 1 0 908603045 105000960 24310 4294967295 134512640 134716908 3221224560 3221220524 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25635 24310 1111 63 0 25572 0
vsize: 102540
[startup+870.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1269530 0 2 0 84116 2892 0 0 25 0 1 0 908603045 105738240 24437 4294967295 134512640 134716908 3221224560 3221220832 1074806858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25815 24437 1111 63 0 25752 0
vsize: 103260
[startup+880.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1288677 0 2 0 85071 2938 0 0 25 0 1 0 908603045 106336256 24763 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25961 24763 1111 63 0 25898 0
vsize: 103844
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1298883 0 2 0 86049 2960 0 0 25 0 1 0 908603045 109830144 25337 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26814 25337 1111 63 0 26751 0
vsize: 107256
[startup+900.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1299817 0 2 0 87047 2963 0 0 25 0 1 0 908603045 107089920 24947 4294967295 134512640 134716908 3221224560 3221223352 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26145 24947 1111 63 0 26082 0
vsize: 104580
[startup+910.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1301585 0 2 0 88042 2967 0 0 25 0 1 0 908603045 106999808 24925 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26123 24925 1111 63 0 26060 0
vsize: 104492
[startup+920.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1306977 0 2 0 89030 2979 0 0 25 0 1 0 908603045 107384832 25019 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26217 25019 1111 63 0 26154 0
vsize: 104868
[startup+930.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1313055 0 2 0 90015 2995 0 0 25 0 1 0 908603045 107028480 24932 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26130 24932 1111 63 0 26067 0
vsize: 104520
[startup+940.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1326944 0 2 0 90984 3026 0 0 25 0 1 0 908603045 108040192 25180 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26377 25180 1111 63 0 26314 0
vsize: 105508
[startup+950.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1332663 0 2 0 91972 3038 0 0 25 0 1 0 908603045 109072384 25215 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26629 25216 1111 63 0 26566 0
vsize: 106516
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1343938 0 2 0 92948 3062 0 0 25 0 1 0 908603045 108621824 25316 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26519 25316 1111 63 0 26456 0
vsize: 106076
[startup+970.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31706
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1350330 0 2 0 93932 3078 0 0 25 0 1 0 908603045 111243264 25813 4294967295 134512640 134716908 3221224560 3221220588 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27159 25813 1111 63 0 27096 0
vsize: 108636
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1357794 0 2 0 94916 3094 0 0 25 0 1 0 908603045 108756992 25357 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26552 25357 1111 63 0 26489 0
vsize: 106208
[startup+990.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1365071 0 2 0 95900 3111 0 0 25 0 1 0 908603045 109228032 25472 4294967295 134512640 134716908 3221224560 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26667 25472 1111 63 0 26604 0
vsize: 106668
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1368004 0 2 0 96893 3118 0 0 25 0 1 0 908603045 110731264 25719 4294967295 134512640 134716908 3221224560 3221220768 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27034 25719 1111 63 0 26971 0
vsize: 108136
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1375212 0 2 0 97874 3137 0 0 25 0 1 0 908603045 110313472 25530 4294967295 134512640 134716908 3221224560 3221221136 1076043580 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26932 25530 1111 63 0 26869 0
vsize: 107728
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1381125 0 2 0 98860 3151 0 0 25 0 1 0 908603045 111992832 26080 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27342 26080 1111 63 0 27279 0
vsize: 109368
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1389288 0 2 0 99843 3169 0 0 25 0 1 0 908603045 112566272 25959 4294967295 134512640 134716908 3221224560 3221220832 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27482 25959 1111 63 0 27419 0
vsize: 109928
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1391713 0 2 0 100838 3174 0 0 25 0 1 0 908603045 110026752 25673 4294967295 134512640 134716908 3221224560 3221223336 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26862 25673 1111 63 0 26799 0
vsize: 107448
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1394278 0 2 0 101833 3179 0 0 25 0 1 0 908603045 110370816 25742 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26946 25742 1111 63 0 26883 0
vsize: 107784
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1403949 0 2 0 102808 3204 0 0 25 0 1 0 908603045 110288896 25730 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26926 25730 1111 63 0 26863 0
vsize: 107704
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1407699 0 2 0 103800 3212 0 0 25 0 1 0 908603045 110555136 25774 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26991 25774 1111 63 0 26928 0
vsize: 107964
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1414815 0 2 0 104784 3228 0 0 25 0 1 0 908603045 110571520 25807 4294967295 134512640 134716908 3221224560 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26995 25807 1111 63 0 26932 0
vsize: 107980
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1417917 0 2 0 105776 3236 0 0 25 0 1 0 908603045 111329280 25994 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27180 25994 1111 63 0 27117 0
vsize: 108720
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418040 0 2 0 106775 3238 0 0 25 0 1 0 908603045 111923200 26117 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27325 26117 1111 63 0 27262 0
vsize: 109300
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418127 0 2 0 107774 3239 0 0 25 0 1 0 908603045 112230400 26204 4294967295 134512640 134716908 3221224560 3221222704 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27400 26204 1111 63 0 27337 0
vsize: 109600
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418226 0 2 0 108773 3240 0 0 25 0 1 0 908603045 112664576 26303 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27506 26303 1111 63 0 27443 0
vsize: 110024
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418280 0 2 0 109772 3241 0 0 25 0 1 0 908603045 112885760 26357 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27560 26357 1111 63 0 27497 0
vsize: 110240
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418346 0 2 0 110772 3242 0 0 25 0 1 0 908603045 113217536 26423 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27641 26423 1111 63 0 27578 0
vsize: 110564
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418388 0 2 0 111771 3243 0 0 25 0 1 0 908603045 113389568 26465 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27683 26465 1111 63 0 27620 0
vsize: 110732
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418451 0 2 0 112771 3244 0 0 25 0 1 0 908603045 113561600 26528 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27725 26528 1111 63 0 27662 0
vsize: 110900
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418491 0 2 0 113771 3244 0 0 25 0 1 0 908603045 113725440 26568 4294967295 134512640 134716908 3221224560 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27765 26568 1111 63 0 27702 0
vsize: 111060
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418530 0 2 0 114770 3244 0 0 25 0 1 0 908603045 113885184 26607 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27804 26607 1111 63 0 27741 0
vsize: 111216
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418619 0 2 0 115770 3245 0 0 25 0 1 0 908603045 114233344 26696 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27889 26696 1111 63 0 27826 0
vsize: 111556
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) R 31650 7266 7265 0 -1 0 1418655 0 2 0 116770 3245 0 0 25 0 1 0 908603045 114380800 26732 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27925 26732 1111 63 0 27862 0
vsize: 111700
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 31708
Raw data (stat): 31651 (bsolo_lpr_cuts-) Z 31650 7266 7265 0 -1 1036 1418655 0 2 0 116770 3250 0 0 25 0 1 0 908603045 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.21
CPU user time (s): 1167.7
CPU system time (s): 32.5071
CPU usage (%): 100.011
Max. virtual memory (Kb): 111700
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####