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 39974

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 23:41:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28034 boxname=wulflinc4 idbench=990 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-nw04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-nw04.opb
IDLAUNCH: 28034
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        875920 kB
Buffers:           120 kB
Cached:         134440 kB
SwapCached:       2052 kB
Active:          36728 kB
Inactive:       101036 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        875668 kB
SwapTotal:     2097136 kB
SwapFree:      2094016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            15260 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:56:03 (client local time) WITH STATUS 0 IN 863.526 SECONDS
stats: 28034 7 863.526 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.91 0.95 0.90 2/54 23170
Raw data (stat): 23170 (runsolver) R 23169 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897024525 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.0007 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 3357 0 0 0 989 8 0 0 25 0 1 0 897024525 25382912 3277 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6197 3277 1111 63 0 6134 0
vsize: 24788
[startup+20.001 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 5933 0 0 0 1986 11 0 0 25 0 1 0 897024525 35987456 5853 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8786 5853 1111 63 0 8723 0
vsize: 35144
[startup+30.0013 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 8511 0 0 0 2981 17 0 0 25 0 1 0 897024525 46571520 8431 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11370 8431 1111 63 0 11307 0
vsize: 45480
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 11088 0 0 0 3976 22 0 0 25 0 1 0 897024525 57028608 11008 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 11008 1111 63 0 13860 0
vsize: 55692
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 13692 0 0 0 4971 27 0 0 25 0 1 0 897024525 67747840 13612 4294967295 134512640 134716908 3221224576 3221223272 134564653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16540 13612 1111 63 0 16477 0
vsize: 66160
[startup+60.0068 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 16294 0 0 0 5968 31 0 0 25 0 1 0 897024525 78352384 16214 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19129 16214 1111 63 0 19066 0
vsize: 76516
[startup+70.0067 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 18906 0 0 0 6964 35 0 0 25 0 1 0 897024525 89100288 18826 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21753 18826 1111 63 0 21690 0
vsize: 87012
[startup+80.0072 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 21513 0 0 0 7961 39 0 0 25 0 1 0 897024525 99700736 21433 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24341 21433 1111 63 0 24278 0
vsize: 97364
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 24130 0 0 0 8957 42 0 0 25 0 1 0 897024525 110448640 24050 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26965 24050 1111 63 0 26902 0
vsize: 107860
[startup+100.008 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 26750 0 0 0 9954 46 0 0 25 0 1 0 897024525 121176064 26670 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29584 26670 1111 63 0 29521 0
vsize: 118336
[startup+110.009 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 29351 0 0 0 10951 48 0 0 25 0 1 0 897024525 131923968 29271 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32208 29271 1111 63 0 32145 0
vsize: 128832
[startup+120.009 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 31965 0 0 0 11947 53 0 0 25 0 1 0 897024525 142524416 31885 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34796 31885 1111 63 0 34733 0
vsize: 139184
[startup+130.01 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 34547 0 0 0 12943 57 0 0 25 0 1 0 897024525 153124864 34467 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37384 34467 1111 63 0 37321 0
vsize: 149536
[startup+140.009 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 37124 0 0 0 13939 61 0 0 25 0 1 0 897024525 163725312 37044 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39972 37044 1111 63 0 39909 0
vsize: 159888
[startup+150.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 39700 0 0 0 14936 65 0 0 25 0 1 0 897024525 174325760 39620 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42560 39620 1111 63 0 42497 0
vsize: 170240
[startup+160.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 42314 0 0 0 15932 69 0 0 25 0 1 0 897024525 184930304 42234 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45149 42234 1111 63 0 45086 0
vsize: 180596
[startup+170.01 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 44931 0 0 0 16927 73 0 0 25 0 1 0 897024525 195674112 44851 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47772 44851 1111 63 0 47709 0
vsize: 191088
[startup+180.011 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 47545 0 0 0 17923 78 0 0 25 0 1 0 897024525 206426112 47465 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50397 47465 1111 63 0 50334 0
vsize: 201588
[startup+190.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 50251 0 0 0 18919 82 0 0 25 0 1 0 897024525 217468928 50171 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53093 50171 1111 63 0 53030 0
vsize: 212372
[startup+200.012 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 52908 0 0 0 19915 86 0 0 25 0 1 0 897024525 228372480 52828 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55755 52828 1111 63 0 55692 0
vsize: 223020
[startup+210.013 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 55538 0 0 0 20911 91 0 0 25 0 1 0 897024525 239116288 55458 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58378 55458 1111 63 0 58315 0
vsize: 233512
[startup+220.014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 58128 0 0 0 21906 96 0 0 25 0 1 0 897024525 249720832 58048 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60967 58049 1111 63 0 60904 0
vsize: 243868
[startup+230.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 60734 0 0 0 22903 99 0 0 25 0 1 0 897024525 260468736 60654 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63591 60654 1111 63 0 63528 0
vsize: 254364
[startup+240.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 63331 0 0 0 23898 104 0 0 25 0 1 0 897024525 271073280 63251 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66180 63251 1111 63 0 66117 0
vsize: 264720
[startup+250.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 65986 0 0 0 24894 109 0 0 25 0 1 0 897024525 281972736 65906 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68841 65906 1111 63 0 68778 0
vsize: 275364
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 68641 0 0 0 25889 113 0 0 25 0 1 0 897024525 292868096 68561 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71501 68561 1111 63 0 71438 0
vsize: 286004
[startup+270.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 71243 0 0 0 26885 118 0 0 25 0 1 0 897024525 303472640 71163 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74090 71163 1111 63 0 74027 0
vsize: 296360
[startup+280.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 73826 0 0 0 27878 125 0 0 25 0 1 0 897024525 314068992 73746 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76677 73746 1111 63 0 76614 0
vsize: 306708
[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 76446 0 0 0 28875 129 0 0 25 0 1 0 897024525 324825088 76366 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79303 76366 1111 63 0 79240 0
vsize: 317212
[startup+300.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 79009 0 0 0 29871 133 0 0 25 0 1 0 897024525 335273984 78929 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81854 78929 1111 63 0 81791 0
vsize: 327416
[startup+310.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 81659 0 0 0 30866 138 0 0 25 0 1 0 897024525 346173440 81579 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84515 81579 1111 63 0 84452 0
vsize: 338060
[startup+320.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 84211 0 0 0 31862 142 0 0 25 0 1 0 897024525 356622336 84131 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87066 84131 1111 63 0 87003 0
vsize: 348264
[startup+330.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 86886 0 0 0 32857 147 0 0 25 0 1 0 897024525 367525888 86806 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89728 86806 1111 63 0 89665 0
vsize: 358912
[startup+340.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 89426 0 0 0 33852 152 0 0 25 0 1 0 897024525 377970688 89346 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92278 89346 1111 63 0 92215 0
vsize: 369112
[startup+350.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 92057 0 0 0 34847 158 0 0 25 0 1 0 897024525 388726784 91977 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94904 91977 1111 63 0 94841 0
vsize: 379616
[startup+360.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 94614 0 0 0 35843 162 0 0 25 0 1 0 897024525 399175680 94534 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97455 94534 1111 63 0 97392 0
vsize: 389820
[startup+370.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 97154 0 0 0 36839 166 0 0 25 0 1 0 897024525 409628672 97074 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100007 97074 1111 63 0 99944 0
vsize: 400028
[startup+380.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 99717 0 0 0 37834 171 0 0 25 0 1 0 897024525 420143104 99637 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102574 99637 1111 63 0 102511 0
vsize: 410296
[startup+390.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 102269 0 0 0 38829 176 0 0 25 0 1 0 897024525 430592000 102189 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105125 102189 1111 63 0 105062 0
vsize: 420500
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 104822 0 0 0 39826 180 0 0 25 0 1 0 897024525 441049088 104742 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107678 104742 1111 63 0 107615 0
vsize: 430712
[startup+410.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 107428 0 0 0 40821 185 0 0 25 0 1 0 897024525 451792896 107348 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110301 107348 1111 63 0 110238 0
vsize: 441204
[startup+420.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 110120 0 0 0 41818 189 0 0 25 0 1 0 897024525 462843904 110040 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112999 110040 1111 63 0 112936 0
vsize: 451996
[startup+430.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 112648 0 0 0 42814 193 0 0 25 0 1 0 897024525 473145344 112568 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115514 112568 1111 63 0 115451 0
vsize: 462056
[startup+440.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 115377 0 0 0 43809 197 0 0 25 0 1 0 897024525 484343808 115297 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118248 115297 1111 63 0 118185 0
vsize: 472992
[startup+450.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 117949 0 0 0 44805 202 0 0 25 0 1 0 897024525 494800896 117869 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120801 117869 1111 63 0 120738 0
vsize: 483204
[startup+460.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 120507 0 0 0 45800 207 0 0 25 0 1 0 897024525 505397248 120427 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123388 120427 1111 63 0 123325 0
vsize: 493552
[startup+470.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 123127 0 0 0 46796 211 0 0 25 0 1 0 897024525 516001792 123047 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125977 123047 1111 63 0 125914 0
vsize: 503908
[startup+480.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 125745 0 0 0 47791 216 0 0 25 0 1 0 897024525 526745600 125665 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128600 125665 1111 63 0 128537 0
vsize: 514400
[startup+490.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 128286 0 0 0 48787 220 0 0 25 0 1 0 897024525 537202688 128206 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131153 128206 1111 63 0 131090 0
vsize: 524612
[startup+500.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 131117 0 0 0 49782 226 0 0 25 0 1 0 897024525 548843520 131037 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133995 131037 1111 63 0 133932 0
vsize: 535980
[startup+510.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 134022 0 0 0 50778 230 0 0 25 0 1 0 897024525 560640000 133942 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 136875 133942 1111 63 0 136812 0
vsize: 547500
[startup+520.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 136885 0 0 0 51772 236 0 0 25 0 1 0 897024525 572436480 136805 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139755 136805 1111 63 0 139692 0
vsize: 559020
[startup+530.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 139905 0 0 0 52767 241 0 0 25 0 1 0 897024525 584826880 139825 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142780 139825 1111 63 0 142717 0
vsize: 571120
[startup+540.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 142817 0 0 0 53763 246 0 0 25 0 1 0 897024525 596623360 142737 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145660 142737 1111 63 0 145597 0
vsize: 582640
[startup+550.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 145448 0 0 0 54759 249 0 0 25 0 1 0 897024525 607522816 145368 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148321 145368 1111 63 0 148258 0
vsize: 593284
[startup+560.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 148147 0 0 0 55756 253 0 0 25 0 1 0 897024525 618573824 148067 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151019 148067 1111 63 0 150956 0
vsize: 604076
[startup+570.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 150649 0 0 0 56751 258 0 0 25 0 1 0 897024525 628723712 150569 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153497 150569 1111 63 0 153434 0
vsize: 613988
[startup+580.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 153361 0 0 0 57748 261 0 0 25 0 1 0 897024525 639922176 153281 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156231 153281 1111 63 0 156168 0
vsize: 624924
[startup+590.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 156082 0 0 0 58742 268 0 0 25 0 1 0 897024525 650964992 156002 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158927 156002 1111 63 0 158864 0
vsize: 635708
[startup+600.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 159049 0 0 0 59737 272 0 0 25 0 1 0 897024525 663212032 158969 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161917 158969 1111 63 0 161854 0
vsize: 647668
[startup+610.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 161898 0 0 0 60732 278 0 0 25 0 1 0 897024525 674856960 161818 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 164760 161818 1111 63 0 164697 0
vsize: 659040
[startup+620.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 164537 0 0 0 61728 282 0 0 25 0 1 0 897024525 685604864 164457 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167384 164457 1111 63 0 167321 0
vsize: 669536
[startup+630.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 167186 0 0 0 62722 288 0 0 25 0 1 0 897024525 696508416 167106 4294967295 134512640 134716908 3221224576 3221223272 134533900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170046 167106 1111 63 0 169983 0
vsize: 680184
[startup+640.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 169993 0 0 0 63717 293 0 0 25 0 1 0 897024525 708005888 169913 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 172853 169913 1111 63 0 172790 0
vsize: 691412
[startup+650.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 172606 0 0 0 64713 298 0 0 25 0 1 0 897024525 718602240 172526 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175440 172526 1111 63 0 175377 0
vsize: 701760
[startup+660.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 175171 0 0 0 65709 302 0 0 25 0 1 0 897024525 729206784 175091 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178029 175091 1111 63 0 177966 0
vsize: 712116
[startup+670.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 177736 0 0 0 66705 306 0 0 25 0 1 0 897024525 739655680 177656 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180580 177656 1111 63 0 180517 0
vsize: 722320
[startup+680.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 180179 0 0 0 67702 309 0 0 25 0 1 0 897024525 749662208 180099 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183023 180099 1111 63 0 182960 0
vsize: 732092
[startup+690.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 182609 0 0 0 68698 314 0 0 25 0 1 0 897024525 759664640 182529 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185465 182529 1111 63 0 185402 0
vsize: 741860
[startup+700.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 185040 0 0 0 69695 317 0 0 25 0 1 0 897024525 769515520 184960 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187870 184960 1111 63 0 187807 0
vsize: 751480
[startup+710.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 187490 0 0 0 70690 322 0 0 25 0 1 0 897024525 779673600 187410 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 190350 187410 1111 63 0 190287 0
vsize: 761400
[startup+720.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 189884 0 0 0 71686 326 0 0 25 0 1 0 897024525 789372928 189804 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192718 189804 1111 63 0 192655 0
vsize: 770872
[startup+730.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 192654 0 0 0 72681 331 0 0 25 0 1 0 897024525 800722944 192574 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 195489 192574 1111 63 0 195426 0
vsize: 781956
[startup+740.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 195218 0 0 0 73676 336 0 0 25 0 1 0 897024525 811319296 195138 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 198076 195138 1111 63 0 198013 0
vsize: 792304
[startup+750.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 197925 0 0 0 74671 341 0 0 25 0 1 0 897024525 822587392 197845 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 200827 197845 1111 63 0 200764 0
vsize: 803308
[startup+760.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 200544 0 0 0 75668 345 0 0 25 0 1 0 897024525 833331200 200464 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 203450 200464 1111 63 0 203387 0
vsize: 813800
[startup+770.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 203164 0 0 0 76662 351 0 0 25 0 1 0 897024525 844087296 203084 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 206076 203084 1111 63 0 206013 0
vsize: 824304
[startup+780.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 205721 0 0 0 77658 356 0 0 25 0 1 0 897024525 854536192 205641 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 208627 205641 1111 63 0 208564 0
vsize: 834508
[startup+790.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 208530 0 0 0 78653 360 0 0 25 0 1 0 897024525 866033664 208450 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 211434 208450 1111 63 0 211371 0
vsize: 845736
[startup+800.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 211337 0 0 0 79648 366 0 0 25 0 1 0 897024525 877531136 211257 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 214241 211257 1111 63 0 214178 0
vsize: 856964
[startup+810.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 213963 0 0 0 80643 371 0 0 25 0 1 0 897024525 888279040 213883 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216865 213883 1111 63 0 216802 0
vsize: 867460
[startup+820.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 216727 0 0 0 81638 376 0 0 25 0 1 0 897024525 899624960 216647 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219635 216647 1111 63 0 219572 0
vsize: 878540
[startup+830.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 219498 0 0 0 82630 383 0 0 25 0 1 0 897024525 910970880 218842 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222405 218842 1111 63 0 222342 0
vsize: 889620
[startup+840.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 222154 0 0 0 83623 390 0 0 25 0 1 0 897024525 921870336 219651 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225066 219651 1111 63 0 225003 0
vsize: 900264
[startup+850.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 224546 0 3 0 84611 397 0 0 25 0 1 0 897024525 931573760 219334 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227435 219334 1111 63 0 227372 0
vsize: 909740
[startup+860.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 226816 0 3 0 85604 403 0 0 25 0 1 0 897024525 940834816 220978 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229696 220978 1111 63 0 229633 0
vsize: 918784
[startup+863.939 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 23170
Raw data (stat): 23170 (bsolo_lpr-v2) R 23169 21152 21151 0 -1 0 226816 0 3 0 85604 403 0 0 25 0 1 0 897024525 940834816 220978 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229696 220978 1111 63 0 229633 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 863.911
CPU time (s): 863.526
CPU user time (s): 859.057
CPU system time (s): 4.46832
CPU usage (%): 99.9554
Max. virtual memory (Kb): 918784
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####