PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 09:42:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28481 boxname=wulflinc3 idbench=1437 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  a5c401bba5afccf02c7b40cb1c595b15  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-nw04.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-nw04.opb
IDLAUNCH: 28481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        870760 kB
Buffers:          3940 kB
Cached:         138828 kB
SwapCached:        712 kB
Active:          44772 kB
Inactive:       100068 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        870480 kB
SwapTotal:     2097136 kB
SwapFree:      2095400 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            13376 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 09:56:44 (client local time) WITH STATUS 0 IN 862.087 SECONDS
stats: 28481 7 862.087 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.82 0.93 0.90 2/54 24493
Raw data (stat): 24493 (runsolver) R 24492 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900630285 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0019 s]
Raw data (loadavg): 0.84 0.94 0.90 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 3357 0 0 0 988 10 0 0 25 0 1 0 900630285 25382912 3277 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 3277 1111 63 0 6134 0
vsize: 24788
[startup+20.0029 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 5933 0 0 0 1984 14 0 0 25 0 1 0 900630285 35987456 5853 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8786 5853 1111 63 0 8723 0
vsize: 35144
[startup+30.0027 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 8511 0 0 0 2979 19 0 0 25 0 1 0 900630285 46571520 8431 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11370 8431 1111 63 0 11307 0
vsize: 45480
[startup+40.0038 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 11082 0 0 0 3975 23 0 0 25 0 1 0 900630285 57028608 11002 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13923 11002 1111 63 0 13860 0
vsize: 55692
[startup+50.0044 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 13686 0 0 0 4971 28 0 0 25 0 1 0 900630285 67747840 13606 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16540 13606 1111 63 0 16477 0
vsize: 66160
[startup+60.0053 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 16294 0 0 0 5967 32 0 0 25 0 1 0 900630285 78352384 16214 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19129 16214 1111 63 0 19066 0
vsize: 76516
[startup+70.0059 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 18894 0 0 0 6963 37 0 0 25 0 1 0 900630285 89100288 18814 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21753 18814 1111 63 0 21690 0
vsize: 87012
[startup+80.0059 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 21501 0 0 0 7958 41 0 0 25 0 1 0 900630285 99700736 21421 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24341 21421 1111 63 0 24278 0
vsize: 97364
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 24118 0 0 0 8953 46 0 0 25 0 1 0 900630285 110448640 24038 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26965 24038 1111 63 0 26902 0
vsize: 107860
[startup+100.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 26738 0 0 0 9949 51 0 0 25 0 1 0 900630285 121176064 26658 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29584 26658 1111 63 0 29521 0
vsize: 118336
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 29332 0 0 0 10943 56 0 0 25 0 1 0 900630285 131772416 29252 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32171 29252 1111 63 0 32108 0
vsize: 128684
[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 31947 0 0 0 11938 61 0 0 25 0 1 0 900630285 142524416 31867 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34796 31867 1111 63 0 34733 0
vsize: 139184
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 34535 0 0 0 12934 66 0 0 25 0 1 0 900630285 153124864 34455 4294967295 134512640 134716908 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37384 34455 1111 63 0 37321 0
vsize: 149536
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 37105 0 0 0 13930 70 0 0 25 0 1 0 900630285 163577856 37025 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39936 37025 1111 63 0 39873 0
vsize: 159744
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 39682 0 0 0 14927 73 0 0 25 0 1 0 900630285 174174208 39602 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42523 39602 1111 63 0 42460 0
vsize: 170092
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 42296 0 0 0 15923 77 0 0 25 0 1 0 900630285 184930304 42216 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45149 42216 1111 63 0 45086 0
vsize: 180596
[startup+170.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 44913 0 0 0 16919 81 0 0 25 0 1 0 900630285 195674112 44833 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47772 44833 1111 63 0 47709 0
vsize: 191088
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 47526 0 0 0 17914 87 0 0 25 0 1 0 900630285 206278656 47446 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50361 47446 1111 63 0 50298 0
vsize: 201444
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 50233 0 0 0 18910 91 0 0 25 0 1 0 900630285 217468928 50153 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53093 50153 1111 63 0 53030 0
vsize: 212372
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 52896 0 0 0 19906 95 0 0 25 0 1 0 900630285 228372480 52816 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55755 52816 1111 63 0 55692 0
vsize: 223020
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 55520 0 0 0 20902 99 0 0 25 0 1 0 900630285 239116288 55440 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58378 55440 1111 63 0 58315 0
vsize: 233512
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 58104 0 0 0 21897 104 0 0 25 0 1 0 900630285 249720832 58024 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60967 58024 1111 63 0 60904 0
vsize: 243868
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 60710 0 0 0 22894 108 0 0 25 0 1 0 900630285 260317184 60630 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63554 60630 1111 63 0 63491 0
vsize: 254216
[startup+240.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 63313 0 0 0 23889 113 0 0 25 0 1 0 900630285 271073280 63233 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66180 63233 1111 63 0 66117 0
vsize: 264720
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 65961 0 0 0 24885 117 0 0 25 0 1 0 900630285 281817088 65881 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68803 65881 1111 63 0 68740 0
vsize: 275212
[startup+260.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 68623 0 0 0 25879 123 0 0 25 0 1 0 900630285 292720640 68543 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71465 68543 1111 63 0 71402 0
vsize: 285860
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 71219 0 0 0 26875 128 0 0 25 0 1 0 900630285 303325184 71139 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71139 1111 63 0 73991 0
vsize: 296216
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 73801 0 0 0 27871 132 0 0 25 0 1 0 900630285 313921536 73721 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76641 73721 1111 63 0 76578 0
vsize: 306564
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 76421 0 0 0 28867 136 0 0 25 0 1 0 900630285 324673536 76341 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79266 76341 1111 63 0 79203 0
vsize: 317064
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 78984 0 0 0 29863 140 0 0 25 0 1 0 900630285 335122432 78904 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81817 78904 1111 63 0 81754 0
vsize: 327268
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 81635 0 0 0 30858 146 0 0 25 0 1 0 900630285 346025984 81555 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84479 81555 1111 63 0 84416 0
vsize: 337916
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 84193 0 0 0 31854 149 0 0 25 0 1 0 900630285 356474880 84113 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87030 84113 1111 63 0 86967 0
vsize: 348120
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 86862 0 0 0 32850 154 0 0 25 0 1 0 900630285 367374336 86782 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89691 86782 1111 63 0 89628 0
vsize: 358764
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 89401 0 0 0 33845 159 0 0 25 0 1 0 900630285 377823232 89321 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92242 89321 1111 63 0 92179 0
vsize: 368968
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 92027 0 0 0 34841 163 0 0 25 0 1 0 900630285 388575232 91947 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94867 91947 1111 63 0 94804 0
vsize: 379468
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 94583 0 0 0 35836 168 0 0 25 0 1 0 900630285 399024128 94503 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97418 94503 1111 63 0 97355 0
vsize: 389672
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 97124 0 0 0 36833 171 0 0 25 0 1 0 900630285 409481216 97044 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99971 97044 1111 63 0 99908 0
vsize: 399884
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 99686 0 0 0 37829 176 0 0 25 0 1 0 900630285 420143104 99606 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102574 99606 1111 63 0 102511 0
vsize: 410296
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 102238 0 0 0 38825 179 0 0 25 0 1 0 900630285 430592000 102158 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105125 102158 1111 63 0 105062 0
vsize: 420500
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 104792 0 0 0 39821 184 0 0 25 0 1 0 900630285 441049088 104712 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107678 104712 1111 63 0 107615 0
vsize: 430712
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 107397 0 0 0 40816 189 0 0 25 0 1 0 900630285 451645440 107317 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110265 107317 1111 63 0 110202 0
vsize: 441060
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 110090 0 0 0 41811 194 0 0 25 0 1 0 900630285 462696448 110010 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112963 110010 1111 63 0 112900 0
vsize: 451852
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 112612 0 0 0 42807 198 0 0 25 0 1 0 900630285 472993792 112532 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115477 112532 1111 63 0 115414 0
vsize: 461908
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 115341 0 0 0 43803 202 0 0 25 0 1 0 900630285 484196352 115261 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118212 115261 1111 63 0 118149 0
vsize: 472848
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 117919 0 0 0 44799 207 0 0 25 0 1 0 900630285 494800896 117839 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120801 117839 1111 63 0 120738 0
vsize: 483204
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 120470 0 0 0 45794 212 0 0 25 0 1 0 900630285 505249792 120390 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123352 120390 1111 63 0 123289 0
vsize: 493408
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 123097 0 0 0 46789 217 0 0 25 0 1 0 900630285 516001792 123017 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125977 123017 1111 63 0 125914 0
vsize: 503908
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 125714 0 0 0 47786 220 0 0 25 0 1 0 900630285 526598144 125634 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128564 125634 1111 63 0 128501 0
vsize: 514256
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 128256 0 0 0 48781 225 0 0 25 0 1 0 900630285 537051136 128176 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131116 128176 1111 63 0 131053 0
vsize: 524464
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 131081 0 0 0 49776 230 0 0 25 0 1 0 900630285 548696064 131001 4294967295 134512640 134716908 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133959 131001 1111 63 0 133896 0
vsize: 535836
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 134010 0 0 0 50771 235 0 0 25 0 1 0 900630285 560640000 133930 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136875 133930 1111 63 0 136812 0
vsize: 547500
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 136885 0 0 0 51767 240 0 0 25 0 1 0 900630285 572436480 136805 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139755 136805 1111 63 0 139692 0
vsize: 559020
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 139930 0 0 0 52762 245 0 0 25 0 1 0 900630285 584826880 139850 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142780 139850 1111 63 0 142717 0
vsize: 571120
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 142847 0 0 0 53758 249 0 0 25 0 1 0 900630285 596774912 142767 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145697 142767 1111 63 0 145634 0
vsize: 582788
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 145496 0 0 0 54754 253 0 0 25 0 1 0 900630285 607670272 145416 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148357 145416 1111 63 0 148294 0
vsize: 593428
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 148207 0 0 0 55750 257 0 0 25 0 1 0 900630285 618721280 148127 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151055 148127 1111 63 0 150992 0
vsize: 604220
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 150746 0 0 0 56746 262 0 0 25 0 1 0 900630285 629170176 150666 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153606 150666 1111 63 0 153543 0
vsize: 614424
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 153464 0 0 0 57742 266 0 0 25 0 1 0 900630285 640221184 153384 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156304 153384 1111 63 0 156241 0
vsize: 625216
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 156197 0 0 0 58737 271 0 0 25 0 1 0 900630285 651415552 156117 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159037 156117 1111 63 0 158974 0
vsize: 636148
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 159206 0 0 0 59730 278 0 0 25 0 1 0 900630285 663805952 159126 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162062 159126 1111 63 0 161999 0
vsize: 648248
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 162074 0 0 0 60726 282 0 0 25 0 1 0 900630285 675602432 161994 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164942 161994 1111 63 0 164879 0
vsize: 659768
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 164682 0 0 0 61722 287 0 0 25 0 1 0 900630285 686206976 164602 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167531 164602 1111 63 0 167468 0
vsize: 670124
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 167355 0 0 0 62717 292 0 0 25 0 1 0 900630285 697102336 167275 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170191 167275 1111 63 0 170128 0
vsize: 680764
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 170151 0 0 0 63712 297 0 0 25 0 1 0 900630285 708599808 170071 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172998 170071 1111 63 0 172935 0
vsize: 691992
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 172758 0 0 0 64709 301 0 0 25 0 1 0 900630285 719347712 172678 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175622 172678 1111 63 0 175559 0
vsize: 702488
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 175359 0 0 0 65704 305 0 0 25 0 1 0 900630285 729952256 175279 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178211 175279 1111 63 0 178148 0
vsize: 712844
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 177912 0 0 0 66701 309 0 0 25 0 1 0 900630285 740401152 177832 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180762 177832 1111 63 0 180699 0
vsize: 723048
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 180367 0 0 0 67698 312 0 0 25 0 1 0 900630285 750407680 180287 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183205 180287 1111 63 0 183142 0
vsize: 732820
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 182798 0 0 0 68694 316 0 0 25 0 1 0 900630285 760410112 182718 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185647 182718 1111 63 0 185584 0
vsize: 742588
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 185228 0 0 0 69690 320 0 0 25 0 1 0 900630285 770408448 185148 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188088 185148 1111 63 0 188025 0
vsize: 752352
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 187672 0 0 0 70686 324 0 0 25 0 1 0 900630285 780414976 187592 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190531 187592 1111 63 0 190468 0
vsize: 762124
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 190102 0 0 0 71682 329 0 0 25 0 1 0 900630285 790269952 190022 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192937 190022 1111 63 0 192874 0
vsize: 771748
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 192915 0 0 0 72677 333 0 0 25 0 1 0 900630285 801767424 192835 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195744 192835 1111 63 0 195681 0
vsize: 782976
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 195494 0 0 0 73673 338 0 0 25 0 1 0 900630285 812580864 195414 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198384 195414 1111 63 0 198321 0
vsize: 793536
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 198156 0 0 0 74668 343 0 0 25 0 1 0 900630285 823480320 198076 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 201045 198076 1111 63 0 200982 0
vsize: 804180
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 200841 0 0 0 75664 347 0 0 25 0 1 0 900630285 834527232 200761 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203742 200761 1111 63 0 203679 0
vsize: 814968
[startup+770.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 203412 0 0 0 76661 351 0 0 25 0 1 0 900630285 845127680 203332 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206330 203332 1111 63 0 206267 0
vsize: 825320
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 205988 0 0 0 77656 355 0 0 25 0 1 0 900630285 855576576 205908 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208881 205908 1111 63 0 208818 0
vsize: 835524
[startup+790.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 208779 0 0 0 78651 361 0 0 25 0 1 0 900630285 867078144 208699 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 211689 208699 1111 63 0 211626 0
vsize: 846756
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 211598 0 0 0 79647 365 0 0 25 0 1 0 900630285 878575616 211518 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 214496 211518 1111 63 0 214433 0
vsize: 857984
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 214205 0 0 0 80641 372 0 0 25 0 1 0 900630285 889319424 214125 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 217119 214125 1111 63 0 217056 0
vsize: 868476
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 216994 0 0 0 81636 376 0 0 25 0 1 0 900630285 900669440 216914 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 219890 216914 1111 63 0 219827 0
vsize: 879560
[startup+830.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 219834 0 0 0 82629 383 0 0 25 0 1 0 900630285 912318464 218501 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 222734 218501 1111 63 0 222671 0
vsize: 890936
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 222488 0 0 0 83620 389 0 0 25 0 1 0 900630285 923213824 220370 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 225394 220370 1111 63 0 225331 0
vsize: 901576
[startup+850.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 224853 0 0 0 84614 395 0 0 25 0 1 0 900630285 932773888 217288 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227728 217288 1111 63 0 227665 0
vsize: 910912
[startup+860.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 227129 0 0 0 85609 398 0 0 25 0 1 0 900630285 942178304 219563 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230024 219563 1111 63 0 229961 0
vsize: 920096
[startup+862.136 s]
Raw data (loadavg): 1.06 0.99 0.91 1/53 24493
Raw data (stat): 24493 (bsolo_lpr-v2) R 24492 20224 20223 0 -1 0 227129 0 0 0 85609 398 0 0 25 0 1 0 900630285 942178304 219563 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 230024 219563 1111 63 0 229961 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 862.135
CPU time (s): 862.087
CPU user time (s): 857.682
CPU system time (s): 4.40533
CPU usage (%): 99.9944
Max. virtual memory (Kb): 920096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####