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/miplib3/normalized-mps-v2-13-7-nw04.opb
MD5SUM	a5c401bba5afccf02c7b40cb1c595b15
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30407
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	5220
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1192.4
Number of variables	87482
Total number of constraints	87518
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	87518
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	42032
Trace number 41587

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 16:32:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29653 boxname=wulflinc6 idbench=1437 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 29653
/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:        683804 kB
Buffers:         24760 kB
Cached:         304268 kB
SwapCached:        908 kB
Active:          44800 kB
Inactive:       286300 kB
HighTotal:      131008 kB
HighFree:         7756 kB
LowTotal:       903652 kB
LowFree:        676048 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5000 kB
Slab:            13932 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:47:23 (client local time) WITH STATUS 0 IN 873.74 SECONDS
stats: 29653 7 873.74 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.77 0.92 0.90 1/54 14720
Raw data (stat): 14720 (runsolver) R 14719 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911742157 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0001 s]
Raw data (loadavg): 0.80 0.92 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 3326 0 0 0 989 9 0 0 25 0 1 0 911742157 25235456 3246 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3246 1111 63 0 6098 0
vsize: 24644
[startup+20.0005 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 5873 0 0 0 1985 14 0 0 25 0 1 0 911742157 35688448 5793 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5793 1111 63 0 8650 0
vsize: 34852
[startup+30.0006 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 8420 0 0 0 2981 18 0 0 25 0 1 0 911742157 46125056 8340 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8340 1111 63 0 11198 0
vsize: 45044
[startup+40.0004 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 10965 0 0 0 3976 23 0 0 25 0 1 0 911742157 56573952 10885 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13812 10885 1111 63 0 13749 0
vsize: 55248
[startup+50.0009 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 13541 0 0 0 4973 27 0 0 25 0 1 0 911742157 67153920 13461 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16395 13461 1111 63 0 16332 0
vsize: 65580
[startup+60.001 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 16117 0 0 0 5969 31 0 0 25 0 1 0 911742157 77598720 16037 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 16037 1111 63 0 18882 0
vsize: 75780
[startup+70.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 18694 0 0 0 6965 35 0 0 25 0 1 0 911742157 88203264 18614 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 18614 1111 63 0 21471 0
vsize: 86136
[startup+80.0013 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 21275 0 0 0 7962 39 0 0 25 0 1 0 911742157 98803712 21195 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 21195 1111 63 0 24059 0
vsize: 96488
[startup+90.0015 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 23864 0 0 0 8959 42 0 0 25 0 1 0 911742157 109404160 23784 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26710 23784 1111 63 0 26647 0
vsize: 106840
[startup+100.001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 26458 0 0 0 9956 45 0 0 25 0 1 0 911742157 119975936 26378 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29291 26378 1111 63 0 29228 0
vsize: 117164
[startup+110.002 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 29029 0 0 0 10950 51 0 0 25 0 1 0 911742157 130580480 28949 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31880 28949 1111 63 0 31817 0
vsize: 127520
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 31611 0 0 0 11947 55 0 0 25 0 1 0 911742157 141176832 31531 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34467 31531 1111 63 0 34404 0
vsize: 137868
[startup+130.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 34164 0 0 0 12943 59 0 0 25 0 1 0 911742157 151633920 34084 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37020 34084 1111 63 0 36957 0
vsize: 148080
[startup+140.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 36722 0 0 0 13938 65 0 0 25 0 1 0 911742157 162082816 36642 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39571 36642 1111 63 0 39508 0
vsize: 158284
[startup+150.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 39263 0 0 0 14934 69 0 0 25 0 1 0 911742157 172535808 39183 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42123 39183 1111 63 0 42060 0
vsize: 168492
[startup+160.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 41839 0 0 0 15931 73 0 0 25 0 1 0 911742157 182984704 41759 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44674 41759 1111 63 0 44611 0
vsize: 178696
[startup+170.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 44428 0 0 0 16926 78 0 0 25 0 1 0 911742157 193589248 44348 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47263 44348 1111 63 0 47200 0
vsize: 189052
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 47003 0 0 0 17923 82 0 0 25 0 1 0 911742157 204185600 46923 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49850 46923 1111 63 0 49787 0
vsize: 199400
[startup+190.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 49681 0 0 0 18918 87 0 0 25 0 1 0 911742157 215232512 49601 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52547 49601 1111 63 0 52484 0
vsize: 210188
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 52318 0 0 0 19914 91 0 0 25 0 1 0 911742157 225980416 52238 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55171 52238 1111 63 0 55108 0
vsize: 220684
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 54913 0 0 0 20910 95 0 0 25 0 1 0 911742157 236584960 54833 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57760 54833 1111 63 0 57697 0
vsize: 231040
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 57466 0 0 0 21907 99 0 0 25 0 1 0 911742157 247029760 57386 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60310 57386 1111 63 0 60247 0
vsize: 241240
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 60055 0 0 0 22903 103 0 0 25 0 1 0 911742157 257634304 59975 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62899 59975 1111 63 0 62836 0
vsize: 251596
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 62600 0 0 0 23899 107 0 0 25 0 1 0 911742157 268083200 62520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65450 62520 1111 63 0 65387 0
vsize: 261800
[startup+250.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 65233 0 0 0 24895 112 0 0 25 0 1 0 911742157 278835200 65153 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68075 65153 1111 63 0 68012 0
vsize: 272300
[startup+260.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 67857 0 0 0 25891 115 0 0 25 0 1 0 911742157 289583104 67777 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70699 67777 1111 63 0 70636 0
vsize: 282796
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 70447 0 0 0 26888 120 0 0 25 0 1 0 911742157 300187648 70367 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 70367 1111 63 0 73225 0
vsize: 293152
[startup+280.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 72986 0 0 0 27884 124 0 0 25 0 1 0 911742157 310636544 72906 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75839 72906 1111 63 0 75776 0
vsize: 303356
[startup+290.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 75589 0 0 0 28879 129 0 0 25 0 1 0 911742157 321241088 75509 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78428 75509 1111 63 0 78365 0
vsize: 313712
[startup+300.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 78140 0 0 0 29874 134 0 0 25 0 1 0 911742157 331685888 78060 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80978 78060 1111 63 0 80915 0
vsize: 323912
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 80657 0 0 0 30871 138 0 0 25 0 1 0 911742157 341991424 80577 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83494 80577 1111 63 0 83431 0
vsize: 333976
[startup+320.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 83275 0 0 0 31865 144 0 0 25 0 1 0 911742157 352739328 83195 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86118 83195 1111 63 0 86055 0
vsize: 344472
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 85894 0 0 0 32861 148 0 0 25 0 1 0 911742157 363491328 85814 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88743 85814 1111 63 0 88680 0
vsize: 354972
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 88453 0 0 0 33857 153 0 0 25 0 1 0 911742157 373940224 88373 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91294 88373 1111 63 0 91231 0
vsize: 365176
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 90963 0 0 0 34853 157 0 0 25 0 1 0 911742157 384245760 90883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93810 90883 1111 63 0 93747 0
vsize: 375240
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 93569 0 0 0 35849 161 0 0 25 0 1 0 911742157 394846208 93489 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96398 93489 1111 63 0 96335 0
vsize: 385592
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 96085 0 0 0 36846 165 0 0 25 0 1 0 911742157 405151744 96005 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98914 96005 1111 63 0 98851 0
vsize: 395656
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 98593 0 0 0 37842 169 0 0 25 0 1 0 911742157 415666176 98513 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101481 98513 1111 63 0 101418 0
vsize: 405924
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 101114 0 0 0 38838 174 0 0 25 0 1 0 911742157 425963520 101034 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103995 101034 1111 63 0 103932 0
vsize: 415980
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 103661 0 0 0 39833 178 0 0 25 0 1 0 911742157 436420608 103581 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106548 103581 1111 63 0 106485 0
vsize: 426192
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 106140 0 0 0 40830 182 0 0 25 0 1 0 911742157 446570496 106060 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109026 106060 1111 63 0 108963 0
vsize: 436104
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 108851 0 0 0 41825 188 0 0 25 0 1 0 911742157 457621504 108771 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111724 108771 1111 63 0 111661 0
vsize: 446896
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 111409 0 0 0 42821 191 0 0 25 0 1 0 911742157 468070400 111329 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114275 111329 1111 63 0 114212 0
vsize: 457100
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 114028 0 0 0 43817 196 0 0 25 0 1 0 911742157 478822400 113948 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116900 113948 1111 63 0 116837 0
vsize: 467600
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 116630 0 0 0 44813 201 0 0 25 0 1 0 911742157 489418752 116550 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119487 116550 1111 63 0 119424 0
vsize: 477948
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 119176 0 0 0 45808 206 0 0 25 0 1 0 911742157 499875840 119096 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122040 119096 1111 63 0 121977 0
vsize: 488160
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 121734 0 0 0 46803 211 0 0 25 0 1 0 911742157 510324736 121654 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124591 121654 1111 63 0 124528 0
vsize: 498364
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 124318 0 0 0 47800 215 0 0 25 0 1 0 911742157 520925184 124238 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127179 124238 1111 63 0 127116 0
vsize: 508716
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 126882 0 0 0 48796 219 0 0 25 0 1 0 911742157 531374080 126802 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129730 126802 1111 63 0 129667 0
vsize: 518920
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 129435 0 0 0 49792 224 0 0 25 0 1 0 911742157 541831168 129355 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132283 129355 1111 63 0 132220 0
vsize: 529132
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 132314 0 0 0 50787 229 0 0 25 0 1 0 911742157 553619456 132234 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135161 132234 1111 63 0 135098 0
vsize: 540644
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 135177 0 0 0 51784 232 0 0 25 0 1 0 911742157 565415936 135097 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138041 135097 1111 63 0 137978 0
vsize: 552164
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 138033 0 0 0 52779 238 0 0 25 0 1 0 911742157 577064960 137953 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140885 137953 1111 63 0 140822 0
vsize: 563540
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 141048 0 0 0 53774 242 0 0 25 0 1 0 911742157 589455360 140968 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143910 140968 1111 63 0 143847 0
vsize: 575640
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 143739 0 0 0 54770 247 0 0 25 0 1 0 911742157 600502272 143659 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146607 143659 1111 63 0 146544 0
vsize: 586428
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 146468 0 0 0 55765 253 0 0 25 0 1 0 911742157 611700736 146388 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149341 146388 1111 63 0 149278 0
vsize: 597364
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 148973 0 0 0 56761 257 0 0 25 0 1 0 911742157 621850624 148893 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151819 148893 1111 63 0 151756 0
vsize: 607276
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 151542 0 0 0 57757 261 0 0 25 0 1 0 911742157 632455168 151462 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154408 151462 1111 63 0 154345 0
vsize: 617632
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 154224 0 0 0 58753 266 0 0 25 0 1 0 911742157 643358720 154144 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157070 154144 1111 63 0 157007 0
vsize: 628280
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 156975 0 0 0 59749 270 0 0 25 0 1 0 911742157 654700544 156895 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159839 156895 1111 63 0 159776 0
vsize: 639356
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 159924 0 0 0 60744 275 0 0 25 0 1 0 911742157 666796032 159844 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162792 159844 1111 63 0 162729 0
vsize: 651168
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 162701 0 0 0 61739 280 0 0 25 0 1 0 911742157 678146048 162621 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165563 162621 1111 63 0 165500 0
vsize: 662252
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 165254 0 0 0 62736 284 0 0 25 0 1 0 911742157 688590848 165174 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168113 165174 1111 63 0 168050 0
vsize: 672452
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 167909 0 0 0 63731 289 0 0 25 0 1 0 911742157 699494400 167829 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170775 167829 1111 63 0 170712 0
vsize: 683100
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 170619 0 0 0 64726 294 0 0 25 0 1 0 911742157 710537216 170539 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173471 170539 1111 63 0 173408 0
vsize: 693884
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 173148 0 0 0 65720 299 0 0 25 0 1 0 911742157 720842752 173068 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175987 173068 1111 63 0 175924 0
vsize: 703948
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 175680 0 0 0 66716 303 0 0 25 0 1 0 911742157 731291648 175600 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178538 175600 1111 63 0 178475 0
vsize: 714152
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 178198 0 0 0 67710 308 0 0 25 0 1 0 911742157 741597184 178118 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181054 178118 1111 63 0 180991 0
vsize: 724216
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 180573 0 0 0 68705 312 0 0 25 0 1 0 911742157 751300608 180493 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183423 180493 1111 63 0 183360 0
vsize: 733692
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 182962 0 0 0 69702 315 0 0 25 0 1 0 911742157 761004032 182882 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185792 182882 1111 63 0 185729 0
vsize: 743168
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 185381 0 0 0 70695 321 0 0 25 0 1 0 911742157 771010560 185301 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188235 185301 1111 63 0 188172 0
vsize: 752940
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 187744 0 0 0 71691 324 0 0 25 0 1 0 911742157 780713984 187664 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190604 187664 1111 63 0 190541 0
vsize: 762416
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 190151 0 0 0 72687 328 0 0 25 0 1 0 911742157 790568960 190071 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193010 190071 1111 63 0 192947 0
vsize: 772040
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 192897 0 0 0 73681 333 0 0 25 0 1 0 911742157 801767424 192817 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195744 192817 1111 63 0 195681 0
vsize: 782976
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 195428 0 0 0 74675 337 0 0 25 0 1 0 911742157 812433408 195348 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198348 195348 1111 63 0 198285 0
vsize: 793392
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 198040 0 0 0 75667 343 0 0 25 0 1 0 911742157 823033856 197864 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200936 197864 1111 63 0 200873 0
vsize: 803744
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 200647 0 0 0 76661 348 0 0 25 0 1 0 911742157 833781760 200313 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203560 200313 1111 63 0 203497 0
vsize: 814240
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 203200 0 0 0 77655 353 0 0 25 0 1 0 911742157 844234752 202640 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 206112 202640 1111 63 0 206049 0
vsize: 824448
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 205709 0 0 0 78649 357 0 0 25 0 1 0 911742157 854536192 204895 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208627 204895 1111 63 0 208564 0
vsize: 834508
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 208500 0 0 0 79644 363 0 0 25 0 1 0 911742157 865882112 207429 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211397 207429 1111 63 0 211334 0
vsize: 845588
[startup+810.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 211246 0 0 0 80638 368 0 0 25 0 1 0 911742157 877076480 209887 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214130 209887 1111 63 0 214067 0
vsize: 856520
[startup+820.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 213848 0 0 0 81632 373 0 0 25 0 1 0 911742157 887828480 212233 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216755 212233 1111 63 0 216692 0
vsize: 867020
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 216533 0 0 0 82626 378 0 0 25 0 1 0 911742157 898732032 214631 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219417 214631 1111 63 0 219354 0
vsize: 877668
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 219316 0 0 0 83619 383 0 0 25 0 1 0 911742157 910225408 216997 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222223 216997 1111 63 0 222160 0
vsize: 888892
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 222051 0 0 0 84613 389 0 0 25 0 1 0 911742157 921423872 219444 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224957 219444 1111 63 0 224894 0
vsize: 899828
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 224481 0 0 0 85606 395 0 0 25 0 1 0 911742157 931274752 221586 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227362 221586 1111 63 0 227299 0
vsize: 909448
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 226749 0 0 0 86600 400 0 0 25 0 1 0 911742157 940679168 223470 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229658 223470 1111 63 0 229595 0
vsize: 918632
[startup+873.762 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 14720
Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 226749 0 0 0 86600 400 0 0 25 0 1 0 911742157 940679168 223470 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229658 223470 1111 63 0 229595 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 873.762
CPU time (s): 873.74
CPU user time (s): 869.299
CPU system time (s): 4.44132
CPU usage (%): 99.9975
Max. virtual memory (Kb): 918632
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####