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 40352

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 07:54:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28418 boxname=wulflinc5 idbench=1374 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  5a18ff1f45b144b201f1f80233dc9b6b  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 28418
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        689912 kB
Buffers:         22748 kB
Cached:         299256 kB
SwapCached:        656 kB
Active:          40056 kB
Inactive:       283996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689660 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            15064 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:08:39 (client local time) WITH STATUS 0 IN 869.36 SECONDS
stats: 28418 7 869.36 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.92 0.95 0.90 2/54 16623
Raw data (stat): 16623 (runsolver) R 16622 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899989468 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.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 3332 0 0 0 987 10 0 0 25 0 1 0 899989468 25235456 3252 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6161 3252 1111 63 0 6098 0
vsize: 24644
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 5873 0 0 0 1981 16 0 0 25 0 1 0 899989468 35688448 5793 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8713 5793 1111 63 0 8650 0
vsize: 34852
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 8420 0 0 0 2977 20 0 0 25 0 1 0 899989468 46125056 8340 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8340 1111 63 0 11198 0
vsize: 45044
[startup+40.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 10965 0 0 0 3974 23 0 0 25 0 1 0 899989468 56573952 10885 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13812 10885 1111 63 0 13749 0
vsize: 55248
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 13541 0 0 0 4969 28 0 0 25 0 1 0 899989468 67153920 13461 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16395 13461 1111 63 0 16332 0
vsize: 65580
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 16111 0 0 0 5965 33 0 0 25 0 1 0 899989468 77598720 16031 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18945 16031 1111 63 0 18882 0
vsize: 75780
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 18687 0 0 0 6961 38 0 0 25 0 1 0 899989468 88203264 18607 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21534 18607 1111 63 0 21471 0
vsize: 86136
[startup+80.0011 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 21269 0 0 0 7956 42 0 0 25 0 1 0 899989468 98803712 21189 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 21189 1111 63 0 24059 0
vsize: 96488
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 23857 0 0 0 8951 48 0 0 25 0 1 0 899989468 109404160 23777 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26710 23777 1111 63 0 26647 0
vsize: 106840
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 26451 0 0 0 9946 52 0 0 25 0 1 0 899989468 119975936 26371 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29291 26371 1111 63 0 29228 0
vsize: 117164
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 29023 0 0 0 10943 56 0 0 25 0 1 0 899989468 130580480 28943 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31880 28943 1111 63 0 31817 0
vsize: 127520
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 31599 0 0 0 11939 60 0 0 25 0 1 0 899989468 141029376 31519 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34431 31519 1111 63 0 34368 0
vsize: 137724
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 34152 0 0 0 12934 66 0 0 25 0 1 0 899989468 151482368 34072 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 34072 1111 63 0 36920 0
vsize: 147932
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 36704 0 0 0 13930 69 0 0 25 0 1 0 899989468 161931264 36624 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39534 36624 1111 63 0 39471 0
vsize: 158136
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 39245 0 0 0 14927 73 0 0 25 0 1 0 899989468 172388352 39165 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42087 39165 1111 63 0 42024 0
vsize: 168348
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 41821 0 0 0 15922 78 0 0 25 0 1 0 899989468 182984704 41741 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44674 41741 1111 63 0 44611 0
vsize: 178696
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 44410 0 0 0 16917 83 0 0 25 0 1 0 899989468 193589248 44330 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47263 44330 1111 63 0 47200 0
vsize: 189052
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 46985 0 0 0 17912 88 0 0 25 0 1 0 899989468 204038144 46905 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49814 46905 1111 63 0 49751 0
vsize: 199256
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 49663 0 0 0 18908 93 0 0 25 0 1 0 899989468 215085056 49583 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52511 49583 1111 63 0 52448 0
vsize: 210044
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 52300 0 0 0 19903 97 0 0 25 0 1 0 899989468 225980416 52220 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55171 52220 1111 63 0 55108 0
vsize: 220684
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 54895 0 0 0 20899 101 0 0 25 0 1 0 899989468 236584960 54815 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57760 54815 1111 63 0 57697 0
vsize: 231040
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 57448 0 0 0 21894 107 0 0 25 0 1 0 899989468 247029760 57368 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60310 57368 1111 63 0 60247 0
vsize: 241240
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 60030 0 0 0 22890 111 0 0 25 0 1 0 899989468 257634304 59950 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62899 59950 1111 63 0 62836 0
vsize: 251596
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 62576 0 0 0 23886 115 0 0 25 0 1 0 899989468 267935744 62496 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65414 62496 1111 63 0 65351 0
vsize: 261656
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 65202 0 0 0 24881 121 0 0 25 0 1 0 899989468 278687744 65122 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68039 65122 1111 63 0 67976 0
vsize: 272156
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 67827 0 0 0 25875 126 0 0 25 0 1 0 899989468 289435648 67747 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70663 67747 1111 63 0 70600 0
vsize: 282652
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 70423 0 0 0 26871 130 0 0 25 0 1 0 899989468 300187648 70343 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73288 70343 1111 63 0 73225 0
vsize: 293152
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 72956 0 0 0 27866 135 0 0 25 0 1 0 899989468 310484992 72876 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75802 72876 1111 63 0 75739 0
vsize: 303208
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 75559 0 0 0 28863 139 0 0 25 0 1 0 899989468 321089536 75479 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78391 75479 1111 63 0 78328 0
vsize: 313564
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 78109 0 0 0 29859 143 0 0 25 0 1 0 899989468 331538432 78029 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80942 78029 1111 63 0 80879 0
vsize: 323768
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 80632 0 0 0 30855 148 0 0 25 0 1 0 899989468 341991424 80552 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83494 80552 1111 63 0 83431 0
vsize: 333976
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 83245 0 0 0 31851 152 0 0 25 0 1 0 899989468 352591872 83165 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86082 83165 1111 63 0 86019 0
vsize: 344328
[startup+330 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 85864 0 0 0 32846 156 0 0 25 0 1 0 899989468 363343872 85784 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88707 85784 1111 63 0 88644 0
vsize: 354828
[startup+340 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 88429 0 0 0 33842 161 0 0 25 0 1 0 899989468 373792768 88349 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91258 88349 1111 63 0 91195 0
vsize: 365032
[startup+350 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16623
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 90933 0 0 0 34838 165 0 0 25 0 1 0 899989468 384098304 90853 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93774 90853 1111 63 0 93711 0
vsize: 375096
[startup+360.091 s]
Raw data (loadavg): 1.07 0.99 0.91 3/56 16670
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 93575 0 0 0 35843 169 0 0 25 0 1 0 899989468 394993664 93495 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96434 93495 1111 63 0 96371 0
vsize: 385736
[startup+370.092 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 96091 0 0 0 36839 173 0 0 25 0 1 0 899989468 405299200 96011 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98950 96011 1111 63 0 98887 0
vsize: 395800
[startup+380.091 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 98605 0 0 0 37836 177 0 0 25 0 1 0 899989468 415666176 98525 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101481 98525 1111 63 0 101418 0
vsize: 405924
[startup+390.092 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 101126 0 0 0 38831 182 0 0 25 0 1 0 899989468 425963520 101046 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103995 101046 1111 63 0 103932 0
vsize: 415980
[startup+400.092 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 103667 0 0 0 39827 186 0 0 25 0 1 0 899989468 436420608 103587 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106548 103587 1111 63 0 106485 0
vsize: 426192
[startup+410.092 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 106146 0 0 0 40823 190 0 0 25 0 1 0 899989468 446570496 106066 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109026 106066 1111 63 0 108963 0
vsize: 436104
[startup+420.092 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 108857 0 0 0 41819 194 0 0 25 0 1 0 899989468 457621504 108777 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111724 108777 1111 63 0 111661 0
vsize: 446896
[startup+430.091 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 16676
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 111415 0 0 0 42815 198 0 0 25 0 1 0 899989468 468070400 111335 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114275 111335 1111 63 0 114212 0
vsize: 457100
[startup+440.091 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 114034 0 0 0 43813 201 0 0 25 0 1 0 899989468 478822400 113954 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116900 113954 1111 63 0 116837 0
vsize: 467600
[startup+450.091 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 116636 0 0 0 44809 205 0 0 25 0 1 0 899989468 489418752 116556 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119487 116556 1111 63 0 119424 0
vsize: 477948
[startup+460.091 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 119182 0 0 0 45804 210 0 0 25 0 1 0 899989468 499875840 119102 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122040 119102 1111 63 0 121977 0
vsize: 488160
[startup+470.092 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 121734 0 0 0 46800 215 0 0 25 0 1 0 899989468 510324736 121654 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 124591 121654 1111 63 0 124528 0
vsize: 498364
[startup+480.092 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 124324 0 0 0 47796 218 0 0 25 0 1 0 899989468 520925184 124244 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127179 124244 1111 63 0 127116 0
vsize: 508716
[startup+490.093 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 126888 0 0 0 48792 223 0 0 25 0 1 0 899989468 531525632 126808 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129767 126808 1111 63 0 129704 0
vsize: 519068
[startup+500.093 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 129441 0 0 0 49786 228 0 0 25 0 1 0 899989468 541978624 129361 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132319 129361 1111 63 0 132256 0
vsize: 529276
[startup+510.095 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 132314 0 0 0 50782 233 0 0 25 0 1 0 899989468 553619456 132234 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135161 132234 1111 63 0 135098 0
vsize: 540644
[startup+520.095 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 135177 0 0 0 51778 238 0 0 25 0 1 0 899989468 565415936 135097 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138041 135097 1111 63 0 137978 0
vsize: 552164
[startup+530.095 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 138033 0 0 0 52774 242 0 0 25 0 1 0 899989468 577064960 137953 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140885 137953 1111 63 0 140822 0
vsize: 563540
[startup+540.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 141048 0 0 0 53768 248 0 0 25 0 1 0 899989468 589455360 140968 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143910 140968 1111 63 0 143847 0
vsize: 575640
[startup+550.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 143739 0 0 0 54764 252 0 0 25 0 1 0 899989468 600502272 143659 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146607 143659 1111 63 0 146544 0
vsize: 586428
[startup+560.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 146474 0 0 0 55760 256 0 0 25 0 1 0 899989468 611700736 146394 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149341 146394 1111 63 0 149278 0
vsize: 597364
[startup+570.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 148991 0 0 0 56756 260 0 0 25 0 1 0 899989468 622006272 148911 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151857 148911 1111 63 0 151794 0
vsize: 607428
[startup+580.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 151579 0 0 0 57751 266 0 0 25 0 1 0 899989468 632602624 151499 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154444 151499 1111 63 0 154381 0
vsize: 617776
[startup+590.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 154279 0 0 0 58746 271 0 0 25 0 1 0 899989468 643653632 154199 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157142 154199 1111 63 0 157079 0
vsize: 628568
[startup+600.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 157070 0 0 0 59743 274 0 0 25 0 1 0 899989468 654999552 156990 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 159912 156992 1111 63 0 159849 0
vsize: 639648
[startup+610.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 160051 0 0 0 60739 278 0 0 25 0 1 0 899989468 667242496 159971 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 162901 159971 1111 63 0 162838 0
vsize: 651604
[startup+620.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 162846 0 0 0 61734 283 0 0 25 0 1 0 899989468 678739968 162766 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165708 162766 1111 63 0 165645 0
vsize: 662832
[startup+630.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 165429 0 0 0 62729 288 0 0 25 0 1 0 899989468 689336320 165349 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168295 165349 1111 63 0 168232 0
vsize: 673180
[startup+640.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 168127 0 0 0 63726 292 0 0 25 0 1 0 899989468 700387328 168047 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170993 168047 1111 63 0 170930 0
vsize: 683972
[startup+650.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 170875 0 0 0 64721 297 0 0 25 0 1 0 899989468 711589888 170795 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173728 170795 1111 63 0 173665 0
vsize: 694912
[startup+660.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 173397 0 0 0 65717 301 0 0 25 0 1 0 899989468 721887232 173317 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176242 173317 1111 63 0 176179 0
vsize: 704968
[startup+670.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 176022 0 0 0 66712 306 0 0 25 0 1 0 899989468 732639232 175942 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178867 175942 1111 63 0 178804 0
vsize: 715468
[startup+680.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 178459 0 0 0 67707 311 0 0 25 0 1 0 899989468 742641664 178379 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181309 178379 1111 63 0 181246 0
vsize: 725236
[startup+690.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 180889 0 0 0 68703 316 0 0 25 0 1 0 899989468 752644096 180809 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 183751 180809 1111 63 0 183688 0
vsize: 735004
[startup+700.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 183298 0 0 0 69697 322 0 0 25 0 1 0 899989468 762503168 183218 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186158 183218 1111 63 0 186095 0
vsize: 744632
[startup+710.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16678
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 185745 0 0 0 70694 325 0 0 25 0 1 0 899989468 772501504 185665 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188599 185665 1111 63 0 188536 0
vsize: 754396
[startup+720.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 188163 0 0 0 71689 331 0 0 25 0 1 0 899989468 782356480 188083 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191005 188083 1111 63 0 190942 0
vsize: 764020
[startup+730.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 190650 0 0 0 72684 335 0 0 25 0 1 0 899989468 792510464 190570 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193484 190570 1111 63 0 193421 0
vsize: 773936
[startup+740.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 193346 0 0 0 73677 340 0 0 25 0 1 0 899989468 803557376 193266 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196181 193266 1111 63 0 196118 0
vsize: 784724
[startup+750.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 195890 0 0 0 74672 345 0 0 25 0 1 0 899989468 814223360 195810 4294967295 134512640 134716908 3221224576 3221222928 134566708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198785 195810 1111 63 0 198722 0
vsize: 795140
[startup+760.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 198592 0 0 0 75666 350 0 0 25 0 1 0 899989468 825270272 198480 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201482 198480 1111 63 0 201419 0
vsize: 805928
[startup+770.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 201285 0 0 0 76661 355 0 0 25 0 1 0 899989468 836321280 201077 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 204180 201077 1111 63 0 204117 0
vsize: 816720
[startup+780.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 203867 0 0 0 77654 362 0 0 25 0 1 0 899989468 846917632 203595 4294967295 134512640 134716908 3221224576 3221222928 134567424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206767 203595 1111 63 0 206704 0
vsize: 827068
[startup+790.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 206433 0 0 0 78648 369 0 0 25 0 1 0 899989468 857374720 206033 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 209320 206033 1111 63 0 209257 0
vsize: 837280
[startup+800.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 209199 0 0 0 79642 375 0 0 25 0 1 0 899989468 868720640 208671 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 212090 208671 1111 63 0 212027 0
vsize: 848360
[startup+810.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 211998 0 0 0 80636 381 0 0 25 0 1 0 899989468 880214016 211278 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214896 211278 1111 63 0 214833 0
vsize: 859584
[startup+820.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 214777 0 0 0 81629 388 0 0 25 0 1 0 899989468 891564032 213801 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217667 213801 1111 63 0 217604 0
vsize: 870668
[startup+830.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 217407 0 0 0 82621 396 0 0 25 0 1 0 899989468 902311936 216079 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220291 216079 1111 63 0 220228 0
vsize: 881164
[startup+840.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 220422 0 0 0 83614 403 0 0 25 0 1 0 899989468 914702336 218646 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223316 218646 1111 63 0 223253 0
vsize: 893264
[startup+850.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 223072 0 0 0 84608 409 0 0 25 0 1 0 899989468 925605888 220912 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225978 220912 1111 63 0 225915 0
vsize: 903912
[startup+860.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 225484 0 0 0 85602 416 0 0 25 0 1 0 899989468 935456768 222940 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228383 222940 1111 63 0 228320 0
vsize: 913532
[startup+869.283 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 16680
Raw data (stat): 16623 (bsolo_lpr-v2) R 16622 7266 7265 0 -1 0 225484 0 0 0 85602 416 0 0 25 0 1 0 899989468 935456768 222940 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 228383 222940 1111 63 0 228320 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 869.283
CPU time (s): 869.36
CPU user time (s): 864.721
CPU system time (s): 4.63929
CPU usage (%): 100.009
Max. virtual memory (Kb): 913532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####