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/miplib2003/normalized-mps-v2-20-10-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	1197.16
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 26521

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 16:02:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12859 boxname=wulflinc29 idbench=990 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 12859
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        868960 kB
Buffers:           804 kB
Cached:         143080 kB
SwapCached:        752 kB
Active:          42752 kB
Inactive:       103688 kB
HighTotal:      131008 kB
HighFree:         2492 kB
LowTotal:       903652 kB
LowFree:        866468 kB
SwapTotal:     2097892 kB
SwapFree:      2096732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5640 kB
Slab:            13560 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:16:26 (client local time) WITH STATUS 0 IN 864.645 SECONDS
stats: 12859 7 864.645 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.96 0.99 0.98 2/54 21271
Raw data (stat): 21271 (runsolver) R 21270 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831516519 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.97 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 3330 0 0 0 984 9 0 0 25 0 1 0 831516519 25235456 3254 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3254 1111 63 0 6098 0
vsize: 24644
[startup+20.0011 s]
Raw data (loadavg): 0.97 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 5907 0 0 0 1980 13 0 0 25 0 1 0 831516519 35840000 5831 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8750 5831 1111 63 0 8687 0
vsize: 35000
[startup+30.0008 s]
Raw data (loadavg): 0.98 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 8485 0 0 0 2975 18 0 0 25 0 1 0 831516519 46424064 8409 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11334 8409 1111 63 0 11271 0
vsize: 45336
[startup+40.0009 s]
Raw data (loadavg): 0.98 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 11062 0 0 0 3969 24 0 0 25 0 1 0 831516519 57028608 10986 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 10986 1111 63 0 13860 0
vsize: 55692
[startup+50.0014 s]
Raw data (loadavg): 0.98 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 13666 0 0 0 4965 28 0 0 25 0 1 0 831516519 67600384 13590 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13590 1111 63 0 16441 0
vsize: 66016
[startup+60.0012 s]
Raw data (loadavg): 0.98 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 16268 0 0 0 5961 32 0 0 25 0 1 0 831516519 78352384 16192 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19129 16192 1111 63 0 19066 0
vsize: 76516
[startup+70.0023 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 18880 0 0 0 6957 36 0 0 25 0 1 0 831516519 88948736 18804 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21716 18804 1111 63 0 21653 0
vsize: 86864
[startup+80.0028 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 21493 0 0 0 7952 41 0 0 25 0 1 0 831516519 99700736 21417 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24341 21417 1111 63 0 24278 0
vsize: 97364
[startup+90.0025 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 24110 0 0 0 8947 46 0 0 25 0 1 0 831516519 110448640 24034 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26965 24034 1111 63 0 26902 0
vsize: 107860
[startup+100.003 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 26730 0 0 0 9944 50 0 0 25 0 1 0 831516519 121176064 26654 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29584 26654 1111 63 0 29521 0
vsize: 118336
[startup+110.003 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 29337 0 0 0 10940 55 0 0 25 0 1 0 831516519 131772416 29261 4294967295 134512640 134714508 3221224592 3221222840 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32171 29261 1111 63 0 32108 0
vsize: 128684
[startup+120.004 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 31945 0 0 0 11935 59 0 0 25 0 1 0 831516519 142524416 31869 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34796 31869 1111 63 0 34733 0
vsize: 139184
[startup+130.004 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 34533 0 0 0 12931 64 0 0 25 0 1 0 831516519 153124864 34457 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37384 34457 1111 63 0 37321 0
vsize: 149536
[startup+140.004 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 37109 0 0 0 13925 69 0 0 25 0 1 0 831516519 163725312 37033 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39972 37033 1111 63 0 39909 0
vsize: 159888
[startup+150.004 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 39686 0 0 0 14922 73 0 0 25 0 1 0 831516519 174174208 39610 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42523 39610 1111 63 0 42460 0
vsize: 170092
[startup+160.004 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 42300 0 0 0 15917 78 0 0 25 0 1 0 831516519 184930304 42224 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45149 42224 1111 63 0 45086 0
vsize: 180596
[startup+170.005 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 44923 0 0 0 16914 81 0 0 25 0 1 0 831516519 195674112 44847 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47772 44847 1111 63 0 47709 0
vsize: 191088
[startup+180.005 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 47536 0 0 0 17910 86 0 0 25 0 1 0 831516519 206426112 47460 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50397 47460 1111 63 0 50334 0
vsize: 201588
[startup+190.005 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 50243 0 0 0 18905 91 0 0 25 0 1 0 831516519 217468928 50167 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53093 50167 1111 63 0 53030 0
vsize: 212372
[startup+200.005 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 52900 0 0 0 19902 94 0 0 25 0 1 0 831516519 228372480 52824 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55755 52824 1111 63 0 55692 0
vsize: 223020
[startup+210.005 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21271
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 55530 0 0 0 20899 97 0 0 25 0 1 0 831516519 239116288 55454 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58378 55454 1111 63 0 58315 0
vsize: 233512
[startup+220.006 s]
Raw data (loadavg): 0.99 0.99 0.98 4/56 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 58114 0 0 0 21894 102 0 0 25 0 1 0 831516519 249720832 58038 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60967 58038 1111 63 0 60904 0
vsize: 243868
[startup+230.006 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 60720 0 0 0 22891 106 0 0 25 0 1 0 831516519 260468736 60644 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63591 60644 1111 63 0 63528 0
vsize: 254364
[startup+240.006 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 63323 0 0 0 23886 110 0 0 25 0 1 0 831516519 271073280 63247 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66180 63247 1111 63 0 66117 0
vsize: 264720
[startup+250.012 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 65978 0 0 0 24883 114 0 0 25 0 1 0 831516519 281972736 65902 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68841 65902 1111 63 0 68778 0
vsize: 275364
[startup+260.019 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 68639 0 0 0 25880 118 0 0 25 0 1 0 831516519 292868096 68563 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71501 68563 1111 63 0 71438 0
vsize: 286004
[startup+270.02 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 71241 0 0 0 26875 123 0 0 25 0 1 0 831516519 303472640 71165 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74090 71165 1111 63 0 74027 0
vsize: 296360
[startup+280.02 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 73824 0 0 0 27870 128 0 0 25 0 1 0 831516519 314068992 73748 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76677 73748 1111 63 0 76614 0
vsize: 306708
[startup+290.019 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 76444 0 0 0 28866 132 0 0 25 0 1 0 831516519 324825088 76368 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79303 76368 1111 63 0 79240 0
vsize: 317212
[startup+300.026 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 79007 0 0 0 29863 136 0 0 25 0 1 0 831516519 335273984 78931 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81854 78931 1111 63 0 81791 0
vsize: 327416
[startup+310.026 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 81657 0 0 0 30860 140 0 0 25 0 1 0 831516519 346173440 81581 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84515 81581 1111 63 0 84452 0
vsize: 338060
[startup+320.027 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 84209 0 0 0 31855 145 0 0 25 0 1 0 831516519 356622336 84133 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87066 84133 1111 63 0 87003 0
vsize: 348264
[startup+330.028 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 86884 0 0 0 32851 149 0 0 25 0 1 0 831516519 367525888 86808 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89728 86808 1111 63 0 89665 0
vsize: 358912
[startup+340.028 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 89424 0 0 0 33847 153 0 0 25 0 1 0 831516519 377970688 89348 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92278 89348 1111 63 0 92215 0
vsize: 369112
[startup+350.028 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 92055 0 0 0 34844 157 0 0 25 0 1 0 831516519 388726784 91979 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94904 91979 1111 63 0 94841 0
vsize: 379616
[startup+360.028 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 94612 0 0 0 35839 161 0 0 25 0 1 0 831516519 399175680 94536 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97455 94536 1111 63 0 97392 0
vsize: 389820
[startup+370.04 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 97152 0 0 0 36837 165 0 0 25 0 1 0 831516519 409628672 97076 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100007 97076 1111 63 0 99944 0
vsize: 400028
[startup+380.042 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 99721 0 0 0 37833 170 0 0 25 0 1 0 831516519 420294656 99645 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102611 99645 1111 63 0 102548 0
vsize: 410444
[startup+390.042 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 102273 0 0 0 38829 174 0 0 25 0 1 0 831516519 430743552 102197 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105162 102197 1111 63 0 105099 0
vsize: 420648
[startup+400.049 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 104826 0 0 0 39824 179 0 0 25 0 1 0 831516519 441196544 104750 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107714 104750 1111 63 0 107651 0
vsize: 430856
[startup+410.056 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 107438 0 0 0 40820 184 0 0 25 0 1 0 831516519 451792896 107362 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110301 107362 1111 63 0 110238 0
vsize: 441204
[startup+420.057 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 110125 0 0 0 41815 189 0 0 25 0 1 0 831516519 462843904 110049 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112999 110049 1111 63 0 112936 0
vsize: 451996
[startup+430.057 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 112660 0 0 0 42811 194 0 0 25 0 1 0 831516519 473145344 112584 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115514 112584 1111 63 0 115451 0
vsize: 462056
[startup+440.064 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 115388 0 0 0 43807 199 0 0 25 0 1 0 831516519 484343808 115312 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118248 115312 1111 63 0 118185 0
vsize: 472992
[startup+450.172 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 117983 0 0 0 44813 203 0 0 25 0 1 0 831516519 494948352 117907 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120837 117907 1111 63 0 120774 0
vsize: 483348
[startup+460.171 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 120541 0 0 0 45809 207 0 0 25 0 1 0 831516519 505544704 120465 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123424 120471 1111 63 0 123361 0
vsize: 493696
[startup+470.172 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 123162 0 0 0 46806 211 0 0 25 0 1 0 831516519 516149248 123086 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126013 123086 1111 63 0 125950 0
vsize: 504052
[startup+480.172 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 125779 0 0 0 47802 215 0 0 25 0 1 0 831516519 526897152 125703 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128637 125703 1111 63 0 128574 0
vsize: 514548
[startup+490.171 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 128320 0 0 0 48799 219 0 0 25 0 1 0 831516519 537350144 128244 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131189 128244 1111 63 0 131126 0
vsize: 524756
[startup+500.172 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 131163 0 0 0 49794 223 0 0 25 0 1 0 831516519 548990976 131087 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134031 131087 1111 63 0 133968 0
vsize: 536124
[startup+510.172 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 134069 0 0 0 50789 228 0 0 25 0 1 0 831516519 560939008 133993 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136948 133993 1111 63 0 136885 0
vsize: 547792
[startup+520.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 136932 0 0 0 51786 232 0 0 25 0 1 0 831516519 572583936 136856 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139791 136856 1111 63 0 139728 0
vsize: 559164
[startup+530.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 139964 0 0 0 52782 236 0 0 25 0 1 0 831516519 584978432 139888 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142817 139888 1111 63 0 142754 0
vsize: 571268
[startup+540.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 142857 0 0 0 53778 240 0 0 25 0 1 0 831516519 596922368 142781 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145733 142781 1111 63 0 145670 0
vsize: 582932
[startup+550.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 145500 0 0 0 54773 246 0 0 25 0 1 0 831516519 607670272 145424 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148357 145424 1111 63 0 148294 0
vsize: 593428
[startup+560.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 148193 0 0 0 55770 249 0 0 25 0 1 0 831516519 618721280 148117 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151055 148117 1111 63 0 150992 0
vsize: 604220
[startup+570.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 150702 0 0 0 56766 253 0 0 25 0 1 0 831516519 629018624 150626 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153569 150626 1111 63 0 153506 0
vsize: 614276
[startup+580.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 153408 0 0 0 57762 258 0 0 25 0 1 0 831516519 640069632 153332 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156267 153332 1111 63 0 156204 0
vsize: 625068
[startup+590.173 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 156116 0 0 0 58758 262 0 0 25 0 1 0 831516519 651116544 156040 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158964 156040 1111 63 0 158901 0
vsize: 635856
[startup+600.174 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 159077 0 0 0 59753 266 0 0 25 0 1 0 831516519 663212032 159001 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161917 159001 1111 63 0 161854 0
vsize: 647668
[startup+610.174 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 161921 0 0 0 60749 270 0 0 25 0 1 0 831516519 674856960 161845 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164760 161845 1111 63 0 164697 0
vsize: 659040
[startup+620.175 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 164547 0 0 0 61745 274 0 0 25 0 1 0 831516519 685604864 164471 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167384 164471 1111 63 0 167321 0
vsize: 669536
[startup+630.175 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 167190 0 0 0 62741 279 0 0 25 0 1 0 831516519 696508416 167114 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170046 167114 1111 63 0 169983 0
vsize: 680184
[startup+640.175 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 169985 0 0 0 63737 284 0 0 25 0 1 0 831516519 708005888 169909 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172853 169909 1111 63 0 172790 0
vsize: 691412
[startup+650.175 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 172586 0 0 0 64732 289 0 0 25 0 1 0 831516519 718602240 172510 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175440 172510 1111 63 0 175377 0
vsize: 701760
[startup+660.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 175133 0 0 0 65727 294 0 0 25 0 1 0 831516519 729055232 175057 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177992 175057 1111 63 0 177929 0
vsize: 711968
[startup+670.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 177685 0 0 0 66723 298 0 0 25 0 1 0 831516519 739504128 177609 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180543 177609 1111 63 0 180480 0
vsize: 722172
[startup+680.177 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 180129 0 0 0 67720 301 0 0 25 0 1 0 831516519 749514752 180053 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182987 180053 1111 63 0 182924 0
vsize: 731948
[startup+690.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 182546 0 0 0 68715 306 0 0 25 0 1 0 831516519 759365632 182470 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185392 182470 1111 63 0 185329 0
vsize: 741568
[startup+700.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 184953 0 0 0 69711 311 0 0 25 0 1 0 831516519 769216512 184877 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187797 184877 1111 63 0 187734 0
vsize: 751188
[startup+710.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 187403 0 0 0 70706 316 0 0 25 0 1 0 831516519 779223040 187327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190240 187327 1111 63 0 190177 0
vsize: 760960
[startup+720.177 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 189797 0 0 0 71701 320 0 0 25 0 1 0 831516519 789078016 189721 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192646 189721 1111 63 0 192583 0
vsize: 770584
[startup+730.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 192531 0 0 0 72697 325 0 0 25 0 1 0 831516519 800268288 192455 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195378 192455 1111 63 0 195315 0
vsize: 781512
[startup+740.176 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 195088 0 0 0 73692 330 0 0 25 0 1 0 831516519 810725376 195012 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197931 195012 1111 63 0 197868 0
vsize: 791724
[startup+750.177 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 197783 0 0 0 74687 335 0 0 25 0 1 0 831516519 821989376 197707 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200681 197707 1111 63 0 200618 0
vsize: 802724
[startup+760.177 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 200317 0 0 0 75683 339 0 0 25 0 1 0 831516519 832438272 200241 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203232 200241 1111 63 0 203169 0
vsize: 812928
[startup+770.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 202986 0 0 0 76680 343 0 0 25 0 1 0 831516519 843341824 202910 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205894 202910 1111 63 0 205831 0
vsize: 823576
[startup+780.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 205512 0 0 0 77676 347 0 0 25 0 1 0 831516519 853639168 205436 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208408 205436 1111 63 0 208345 0
vsize: 833632
[startup+790.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 208328 0 0 0 78672 351 0 0 25 0 1 0 831516519 865136640 208252 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211215 208252 1111 63 0 211152 0
vsize: 844860
[startup+800.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 211055 0 0 0 79668 355 0 0 25 0 1 0 831516519 876331008 210979 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213948 210979 1111 63 0 213885 0
vsize: 855792
[startup+810.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 213706 0 0 0 80664 359 0 0 25 0 1 0 831516519 887234560 213630 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216610 213630 1111 63 0 216547 0
vsize: 866440
[startup+820.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 216428 0 0 0 81660 364 0 0 25 0 1 0 831516519 898433024 216352 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219344 216352 1111 63 0 219281 0
vsize: 877376
[startup+830.179 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 219199 0 0 0 82653 371 0 0 25 0 1 0 831516519 909774848 218387 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222113 218387 1111 63 0 222050 0
vsize: 888452
[startup+840.178 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 221940 0 0 0 83645 379 0 0 25 0 1 0 831516519 920977408 220189 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224848 220189 1111 63 0 224785 0
vsize: 899392
[startup+850.179 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 224376 0 0 0 84639 386 0 0 25 0 1 0 831516519 930979840 221477 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227290 221477 1111 63 0 227227 0
vsize: 909160
[startup+860.18 s]
Raw data (loadavg): 0.99 0.99 0.98 2/54 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 226598 0 2 0 85632 390 0 0 25 0 1 0 831516519 939933696 220927 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229476 220927 1111 63 0 229413 0
vsize: 917904
[startup+864.641 s]
Raw data (loadavg): 0.99 0.99 0.98 1/53 21273
Raw data (stat): 21271 (bsolo_lpr_cuts) R 21270 20001 20000 0 -1 0 226598 0 2 0 85632 390 0 0 25 0 1 0 831516519 939933696 220927 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229476 220927 1111 63 0 229413 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 864.641
CPU time (s): 864.645
CPU user time (s): 860.299
CPU system time (s): 4.34534
CPU usage (%): 100
Max. virtual memory (Kb): 917904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####