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/miplib2003/normalized-mps-v2-13-7-nw04.opb
MD5SUM	5a18ff1f45b144b201f1f80233dc9b6b
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	1195.04
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 27226

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 20:22:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17851 boxname=wulflinc18 idbench=1374 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 17851
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        905656 kB
Buffers:         34872 kB
Cached:          72072 kB
SwapCached:        836 kB
Active:          75540 kB
Inactive:        33948 kB
HighTotal:      131008 kB
HighFree:        57372 kB
LowTotal:       903652 kB
LowFree:        848284 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:             100 kB
Writeback:           0 kB
Mapped:           5664 kB
Slab:            13876 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:36:54 (client local time) WITH STATUS 0 IN 864.9 SECONDS
stats: 17851 7 864.9 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
Raw data (loadavg): 0.93 0.98 0.97 2/54 25492
Raw data (stat): 25492 (runsolver) R 25491 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833070025 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 3324 0 0 0 990 8 0 0 25 0 1 0 833070025 25235456 3248 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3248 1111 63 0 6098 0
vsize: 24644
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 5859 0 0 0 1985 13 0 0 25 0 1 0 833070025 35688448 5783 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5783 1111 63 0 8650 0
vsize: 34852
[startup+30.0007 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 8431 0 0 0 2980 18 0 0 25 0 1 0 833070025 46125056 8355 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8355 1111 63 0 11198 0
vsize: 45044
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 10995 0 0 0 3975 23 0 0 25 0 1 0 833070025 56729600 10919 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13850 10919 1111 63 0 13787 0
vsize: 55400
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 13593 0 0 0 4970 28 0 0 25 0 1 0 833070025 67301376 13517 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13517 1111 63 0 16368 0
vsize: 65724
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 16195 0 0 0 5967 32 0 0 25 0 1 0 833070025 78053376 16119 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19056 16119 1111 63 0 18993 0
vsize: 76224
[startup+70.0017 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 18801 0 0 0 6963 36 0 0 25 0 1 0 833070025 88649728 18725 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21643 18725 1111 63 0 21580 0
vsize: 86572
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 21414 0 0 0 7960 39 0 0 25 0 1 0 833070025 99405824 21338 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24269 21338 1111 63 0 24206 0
vsize: 97076
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 24031 0 0 0 8956 44 0 0 25 0 1 0 833070025 110149632 23955 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26892 23955 1111 63 0 26829 0
vsize: 107568
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 26651 0 0 0 9951 48 0 0 25 0 1 0 833070025 120877056 26575 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29511 26575 1111 63 0 29448 0
vsize: 118044
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 29252 0 0 0 10947 53 0 0 25 0 1 0 833070025 131473408 29176 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32098 29176 1111 63 0 32035 0
vsize: 128392
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 31866 0 0 0 11942 57 0 0 25 0 1 0 833070025 142229504 31790 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34724 31790 1111 63 0 34661 0
vsize: 138896
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 34448 0 0 0 12938 62 0 0 25 0 1 0 833070025 152825856 34372 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37311 34372 1111 63 0 37248 0
vsize: 149244
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 37025 0 0 0 13932 67 0 0 25 0 1 0 833070025 163278848 36949 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39863 36949 1111 63 0 39800 0
vsize: 159452
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 39601 0 0 0 14928 72 0 0 25 0 1 0 833070025 173879296 39525 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42451 39525 1111 63 0 42388 0
vsize: 169804
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 42209 0 0 0 15924 77 0 0 25 0 1 0 833070025 184479744 42133 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45039 42133 1111 63 0 44976 0
vsize: 180156
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 44838 0 0 0 16919 81 0 0 25 0 1 0 833070025 195375104 44762 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47699 44762 1111 63 0 47636 0
vsize: 190796
[startup+180.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 47445 0 0 0 17916 85 0 0 25 0 1 0 833070025 205979648 47369 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50288 47369 1111 63 0 50225 0
vsize: 201152
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 50158 0 0 0 18911 90 0 0 25 0 1 0 833070025 217169920 50082 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53020 50082 1111 63 0 52957 0
vsize: 212080
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 52815 0 0 0 19906 95 0 0 25 0 1 0 833070025 228073472 52739 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55682 52739 1111 63 0 55619 0
vsize: 222728
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 55439 0 0 0 20903 98 0 0 25 0 1 0 833070025 238821376 55363 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58306 55363 1111 63 0 58243 0
vsize: 233224
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 58029 0 0 0 21899 102 0 0 25 0 1 0 833070025 249421824 57953 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60894 57953 1111 63 0 60831 0
vsize: 243576
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 60635 0 0 0 22896 106 0 0 25 0 1 0 833070025 260022272 60559 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63482 60559 1111 63 0 63419 0
vsize: 253928
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 63232 0 0 0 23891 111 0 0 25 0 1 0 833070025 270622720 63156 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66070 63156 1111 63 0 66007 0
vsize: 264280
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 65886 0 0 0 24886 116 0 0 25 0 1 0 833070025 281522176 65810 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68731 65810 1111 63 0 68668 0
vsize: 274924
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 68542 0 0 0 25881 121 0 0 25 0 1 0 833070025 292421632 68466 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71392 68466 1111 63 0 71329 0
vsize: 285568
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 71149 0 0 0 26876 126 0 0 25 0 1 0 833070025 303169536 71073 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74016 71073 1111 63 0 73953 0
vsize: 296064
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 73726 0 0 0 27872 131 0 0 25 0 1 0 833070025 313622528 73650 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76568 73650 1111 63 0 76505 0
vsize: 306272
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 76353 0 0 0 28867 136 0 0 25 0 1 0 833070025 324370432 76277 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79192 76277 1111 63 0 79129 0
vsize: 316768
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 78916 0 0 0 29864 139 0 0 25 0 1 0 833070025 334974976 78840 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81781 78840 1111 63 0 81718 0
vsize: 327124
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 81554 0 0 0 30859 144 0 0 25 0 1 0 833070025 345726976 81478 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84406 81478 1111 63 0 84343 0
vsize: 337624
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 84124 0 0 0 31855 148 0 0 25 0 1 0 833070025 356175872 84048 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86957 84048 1111 63 0 86894 0
vsize: 347828
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 86787 0 0 0 32851 152 0 0 25 0 1 0 833070025 367075328 86711 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89618 86711 1111 63 0 89555 0
vsize: 358472
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 89333 0 0 0 33848 156 0 0 25 0 1 0 833070025 377524224 89257 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92169 89257 1111 63 0 92106 0
vsize: 368676
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 91946 0 0 0 34844 160 0 0 25 0 1 0 833070025 388276224 91870 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94794 91870 1111 63 0 94731 0
vsize: 379176
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 94515 0 0 0 35840 164 0 0 25 0 1 0 833070025 398725120 94439 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97345 94439 1111 63 0 97282 0
vsize: 389380
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 97060 0 0 0 36836 168 0 0 25 0 1 0 833070025 409174016 96984 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99896 96984 1111 63 0 99833 0
vsize: 399584
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 99612 0 0 0 37833 172 0 0 25 0 1 0 833070025 419848192 99536 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102502 99536 1111 63 0 102439 0
vsize: 410008
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 102164 0 0 0 38830 175 0 0 25 0 1 0 833070025 430292992 102088 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105052 102088 1111 63 0 104989 0
vsize: 420208
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 104723 0 0 0 39826 179 0 0 25 0 1 0 833070025 440750080 104647 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107605 104647 1111 63 0 107542 0
vsize: 430420
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 107322 0 0 0 40822 183 0 0 25 0 1 0 833070025 451346432 107246 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110192 107246 1111 63 0 110129 0
vsize: 440768
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 110027 0 0 0 41818 187 0 0 25 0 1 0 833070025 462397440 109951 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112890 109951 1111 63 0 112827 0
vsize: 451560
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 112543 0 0 0 42813 192 0 0 25 0 1 0 833070025 472698880 112467 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115405 112467 1111 63 0 115342 0
vsize: 461620
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 115272 0 0 0 43808 197 0 0 25 0 1 0 833070025 483897344 115196 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118139 115196 1111 63 0 118076 0
vsize: 472556
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 117862 0 0 0 44804 202 0 0 25 0 1 0 833070025 494493696 117786 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120726 117786 1111 63 0 120663 0
vsize: 482904
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 120407 0 0 0 45801 205 0 0 25 0 1 0 833070025 504950784 120331 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123279 120331 1111 63 0 123216 0
vsize: 493116
[startup+470.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 123046 0 0 0 46796 210 0 0 25 0 1 0 833070025 515694592 122970 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125902 122970 1111 63 0 125839 0
vsize: 503608
[startup+480.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 125664 0 0 0 47793 214 0 0 25 0 1 0 833070025 526450688 125588 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128528 125588 1111 63 0 128465 0
vsize: 514112
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 128204 0 0 0 48789 217 0 0 25 0 1 0 833070025 536899584 128128 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131079 128128 1111 63 0 131016 0
vsize: 524316
[startup+500.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 131012 0 0 0 49785 222 0 0 25 0 1 0 833070025 548397056 130936 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133886 130936 1111 63 0 133823 0
vsize: 535544
[startup+510.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 133929 0 0 0 50780 227 0 0 25 0 1 0 833070025 560340992 133853 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136802 133853 1111 63 0 136739 0
vsize: 547208
[startup+520.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 136792 0 0 0 51775 232 0 0 25 0 1 0 833070025 571990016 136716 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139646 136716 1111 63 0 139583 0
vsize: 558584
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 139806 0 0 0 52771 236 0 0 25 0 1 0 833070025 584380416 139730 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142671 139730 1111 63 0 142608 0
vsize: 570684
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 142736 0 0 0 53767 240 0 0 25 0 1 0 833070025 596320256 142660 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145586 142660 1111 63 0 145523 0
vsize: 582344
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 145347 0 0 0 54763 245 0 0 25 0 1 0 833070025 607072256 145271 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148211 145271 1111 63 0 148148 0
vsize: 592844
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 148072 0 0 0 55759 249 0 0 25 0 1 0 833070025 618274816 147996 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150946 147996 1111 63 0 150883 0
vsize: 603784
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 150568 0 0 0 56753 255 0 0 25 0 1 0 833070025 628424704 150492 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153424 150492 1111 63 0 153361 0
vsize: 613696
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 153274 0 0 0 57749 259 0 0 25 0 1 0 833070025 639475712 153198 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156122 153198 1111 63 0 156059 0
vsize: 624488
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 155983 0 0 0 58744 265 0 0 25 0 1 0 833070025 650670080 155907 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158855 155907 1111 63 0 158792 0
vsize: 635420
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 158931 0 0 0 59739 269 0 0 25 0 1 0 833070025 662614016 158855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161771 158855 1111 63 0 161708 0
vsize: 647084
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 161769 0 0 0 60735 274 0 0 25 0 1 0 833070025 674263040 161693 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164615 161693 1111 63 0 164552 0
vsize: 658460
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 164436 0 0 0 61730 279 0 0 25 0 1 0 833070025 685158400 164360 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167275 164360 1111 63 0 167212 0
vsize: 669100
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 167050 0 0 0 62726 283 0 0 25 0 1 0 833070025 695910400 166974 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169900 166974 1111 63 0 169837 0
vsize: 679600
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 169857 0 0 0 63723 287 0 0 25 0 1 0 833070025 707407872 169781 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172707 169781 1111 63 0 172644 0
vsize: 690828
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 172483 0 0 0 64719 290 0 0 25 0 1 0 833070025 718155776 172407 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175331 172407 1111 63 0 175268 0
vsize: 701324
[startup+660.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 174993 0 0 0 65715 294 0 0 25 0 1 0 833070025 728461312 174917 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177847 174917 1111 63 0 177784 0
vsize: 711388
[startup+670.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 177582 0 0 0 66711 299 0 0 25 0 1 0 833070025 739057664 177506 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180434 177506 1111 63 0 180371 0
vsize: 721736
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 180018 0 0 0 67707 303 0 0 25 0 1 0 833070025 749060096 179942 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182876 179942 1111 63 0 182813 0
vsize: 731504
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 182425 0 0 0 68703 307 0 0 25 0 1 0 833070025 758919168 182349 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185283 182349 1111 63 0 185220 0
vsize: 741132
[startup+700.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 184844 0 0 0 69699 311 0 0 25 0 1 0 833070025 768770048 184768 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187688 184768 1111 63 0 187625 0
vsize: 750752
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 187292 0 0 0 70694 316 0 0 25 0 1 0 833070025 778772480 187216 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190130 187216 1111 63 0 190067 0
vsize: 760520
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 189657 0 0 0 71690 320 0 0 25 0 1 0 833070025 788480000 189581 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192500 189581 1111 63 0 192437 0
vsize: 770000
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 192336 0 0 0 72684 326 0 0 25 0 1 0 833070025 799526912 192260 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195197 192260 1111 63 0 195134 0
vsize: 780788
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 194882 0 0 0 73679 331 0 0 25 0 1 0 833070025 809832448 194806 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197713 194806 1111 63 0 197650 0
vsize: 790852
[startup+750.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 197558 0 0 0 74675 336 0 0 25 0 1 0 833070025 821088256 197482 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200461 197482 1111 63 0 200398 0
vsize: 801844
[startup+760.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 200105 0 0 0 75669 342 0 0 25 0 1 0 833070025 831545344 200029 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203014 200029 1111 63 0 202951 0
vsize: 812056
[startup+770.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 202772 0 0 0 76665 346 0 0 25 0 1 0 833070025 842440704 202696 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205674 202696 1111 63 0 205611 0
vsize: 822696
[startup+780.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 205312 0 0 0 77660 351 0 0 25 0 1 0 833070025 852893696 205236 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208226 205236 1111 63 0 208163 0
vsize: 832904
[startup+790.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 208109 0 0 0 78656 355 0 0 25 0 1 0 833070025 864235520 208033 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210995 208033 1111 63 0 210932 0
vsize: 843980
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 210830 0 0 0 79652 360 0 0 25 0 1 0 833070025 875438080 210754 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213730 210754 1111 63 0 213667 0
vsize: 854920
[startup+810.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 213487 0 0 0 80648 364 0 0 25 0 1 0 833070025 886337536 213411 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216391 213411 1111 63 0 216328 0
vsize: 865564
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 216178 0 0 0 81643 369 0 0 25 0 1 0 833070025 897384448 216102 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 219088 216102 1111 63 0 219025 0
vsize: 876352
[startup+830.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 218962 0 0 0 82638 374 0 0 25 0 1 0 833070025 908734464 218886 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221859 218886 1111 63 0 221796 0
vsize: 887436
[startup+840.027 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 221734 0 0 0 83633 380 0 0 25 0 1 0 833070025 920080384 221658 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224629 221658 1111 63 0 224566 0
vsize: 898516
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 224230 0 0 0 84629 384 0 0 25 0 1 0 833070025 930381824 224154 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227144 224154 1111 63 0 227081 0
vsize: 908576
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 226528 0 0 0 85624 389 0 0 25 0 1 0 833070025 939786240 226452 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229440 226452 1111 63 0 229377 0
vsize: 917760
[startup+864.792 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 25492
Raw data (stat): 25492 (bsolo_lpr_cuts) R 25491 24172 24171 0 -1 0 226528 0 0 0 85624 389 0 0 25 0 1 0 833070025 939786240 226452 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229440 226452 1111 63 0 229377 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 864.792
CPU time (s): 864.9
CPU user time (s): 860.565
CPU system time (s): 4.33534
CPU usage (%): 100.013
Max. virtual memory (Kb): 917760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####