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 25752

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        826928 kB
Buffers:         10352 kB
Cached:         176904 kB
SwapCached:        900 kB
Active:          88344 kB
Inactive:       101036 kB
HighTotal:      131008 kB
HighFree:        11844 kB
LowTotal:       903652 kB
LowFree:        815084 kB
SwapTotal:     2097892 kB
SwapFree:      2095960 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12640 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 07:07:02 (client local time) WITH STATUS 0 IN 888.322 SECONDS
stats: 17852 7 888.322 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.97 2/55 21028
Raw data (stat): 21028 (runsolver) R 21027 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 810920335 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0018 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 3181 0 0 0 986 10 0 0 25 0 1 0 810920335 25214976 3158 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3158 1111 63 0 6093 0
vsize: 24624
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 5746 0 0 0 1982 15 0 0 25 0 1 0 810920335 35672064 5723 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8709 5723 1111 63 0 8646 0
vsize: 34836
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 8306 0 0 0 2976 21 0 0 25 0 1 0 810920335 46256128 8283 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11293 8283 1111 63 0 11230 0
vsize: 45172
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 10870 0 0 0 3972 25 0 0 25 0 1 0 810920335 56709120 10847 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13845 10847 1111 63 0 13782 0
vsize: 55380
[startup+50.004 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 13426 0 0 0 4967 30 0 0 25 0 1 0 810920335 67158016 13403 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16396 13403 1111 63 0 16333 0
vsize: 65584
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 15990 0 0 0 5963 35 0 0 25 0 1 0 810920335 77754368 15967 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18983 15967 1111 63 0 18920 0
vsize: 75932
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 18555 0 0 0 6958 40 0 0 25 0 1 0 810920335 88207360 18532 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21535 18532 1111 63 0 21472 0
vsize: 86140
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 21124 0 0 0 7953 45 0 0 25 0 1 0 810920335 98656256 21101 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24086 21101 1111 63 0 24023 0
vsize: 96344
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 23700 0 0 0 8949 49 0 0 25 0 1 0 810920335 109260800 23677 4294967295 134512640 134714540 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26675 23677 1111 63 0 26612 0
vsize: 106700
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 26276 0 0 0 9943 55 0 0 25 0 1 0 810920335 119857152 26253 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29262 26253 1111 63 0 29199 0
vsize: 117048
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 28830 0 0 0 10938 60 0 0 25 0 1 0 810920335 130310144 28807 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31814 28807 1111 63 0 31751 0
vsize: 127256
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 31394 0 0 0 11934 64 0 0 25 0 1 0 810920335 140759040 31371 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34365 31371 1111 63 0 34302 0
vsize: 137460
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 33928 0 0 0 12929 69 0 0 25 0 1 0 810920335 151216128 33905 4294967295 134512640 134714540 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36918 33905 1111 63 0 36855 0
vsize: 147672
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 36468 0 0 0 13926 73 0 0 25 0 1 0 810920335 161513472 36445 4294967295 134512640 134714540 3221221792 3221220448 134527972 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39432 36445 1111 63 0 39369 0
vsize: 157728
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 38985 0 0 0 14920 79 0 0 25 0 1 0 810920335 171819008 38962 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41948 38962 1111 63 0 41885 0
vsize: 167792
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 41536 0 0 0 15916 83 0 0 25 0 1 0 810920335 182267904 41513 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44499 41513 1111 63 0 44436 0
vsize: 177996
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 44113 0 0 0 16912 87 0 0 25 0 1 0 810920335 192872448 44090 4294967295 134512640 134714540 3221221792 3221220020 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47088 44090 1111 63 0 47025 0
vsize: 188352
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 46664 0 0 0 17907 93 0 0 25 0 1 0 810920335 203321344 46641 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49639 46641 1111 63 0 49576 0
vsize: 198556
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 49320 0 0 0 18902 98 0 0 25 0 1 0 810920335 214261760 49297 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52310 49297 1111 63 0 52247 0
vsize: 209240
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 51943 0 0 0 19897 103 0 0 25 0 1 0 810920335 224989184 51920 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54929 51920 1111 63 0 54866 0
vsize: 219716
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 54513 0 0 0 20893 107 0 0 25 0 1 0 810920335 235593728 54490 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57518 54490 1111 63 0 57455 0
vsize: 230072
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 57053 0 0 0 21889 112 0 0 25 0 1 0 810920335 245895168 57030 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60033 57030 1111 63 0 59970 0
vsize: 240132
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 59612 0 0 0 22884 117 0 0 25 0 1 0 810920335 256344064 59589 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62584 59589 1111 63 0 62521 0
vsize: 250336
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 62122 0 0 0 23879 122 0 0 25 0 1 0 810920335 266649600 62099 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65100 62099 1111 63 0 65037 0
vsize: 260400
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 64710 0 0 0 24874 127 0 0 25 0 1 0 810920335 277245952 64687 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67687 64687 1111 63 0 67624 0
vsize: 270748
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 67329 0 0 0 25869 132 0 0 25 0 1 0 810920335 287997952 67306 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70312 67306 1111 63 0 70249 0
vsize: 281248
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 69906 0 0 0 26865 136 0 0 25 0 1 0 810920335 298594304 69883 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72899 69883 1111 63 0 72836 0
vsize: 291596
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 72392 0 0 0 27861 140 0 0 25 0 1 0 810920335 308752384 72369 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75379 72369 1111 63 0 75316 0
vsize: 301516
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 74974 0 0 0 28856 145 0 0 25 0 1 0 810920335 319348736 74951 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77966 74951 1111 63 0 77903 0
vsize: 311864
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 77503 0 0 0 29853 149 0 0 25 0 1 0 810920335 329654272 77480 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80482 77480 1111 63 0 80419 0
vsize: 321928
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 79976 0 0 0 30847 155 0 0 25 0 1 0 810920335 339804160 79953 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82960 79953 1111 63 0 82897 0
vsize: 331840
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 82572 0 0 0 31843 159 0 0 25 0 1 0 810920335 350408704 82549 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85549 82549 1111 63 0 85486 0
vsize: 342196
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 85117 0 0 0 32839 163 0 0 25 0 1 0 810920335 360857600 85094 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 88100 85094 1111 63 0 88037 0
vsize: 352400
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 87719 0 0 0 33835 167 0 0 25 0 1 0 810920335 371462144 87696 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 90689 87696 1111 63 0 90626 0
vsize: 362756
[startup+350.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 90131 0 0 0 34831 171 0 0 25 0 1 0 810920335 381313024 90108 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93094 90108 1111 63 0 93031 0
vsize: 372376
[startup+360.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 92731 0 0 0 35826 176 0 0 25 0 1 0 810920335 392060928 92708 4294967295 134512640 134714540 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 95718 92708 1111 63 0 95655 0
vsize: 382872
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 95210 0 0 0 36823 180 0 0 25 0 1 0 810920335 402214912 95187 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 98197 95187 1111 63 0 98134 0
vsize: 392788
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 97670 0 0 0 37818 185 0 0 25 0 1 0 810920335 412217344 97647 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 100639 97647 1111 63 0 100576 0
vsize: 402556
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 100199 0 0 0 38814 189 0 0 25 0 1 0 810920335 422739968 100176 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 103208 100176 1111 63 0 103145 0
vsize: 412832
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 102678 0 0 0 39810 194 0 0 25 0 1 0 810920335 432889856 102655 4294967295 134512640 134714540 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 105686 102655 1111 63 0 105623 0
vsize: 422744
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 105121 0 0 0 40806 198 0 0 25 0 1 0 810920335 442892288 105098 4294967295 134512640 134714540 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 108128 105098 1111 63 0 108065 0
vsize: 432512
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 107722 0 0 0 41803 201 0 0 25 0 1 0 810920335 453496832 107699 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 110717 107699 1111 63 0 110654 0
vsize: 442868
[startup+430.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 110281 0 0 0 42798 206 0 0 25 0 1 0 810920335 463941632 110258 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 113267 110258 1111 63 0 113204 0
vsize: 453068
[startup+440.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 112766 0 0 0 43794 210 0 0 25 0 1 0 810920335 474247168 112743 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 115783 112743 1111 63 0 115720 0
vsize: 463132
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 115409 0 0 0 44790 215 0 0 25 0 1 0 810920335 484995072 115386 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 118407 115386 1111 63 0 118344 0
vsize: 473628
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 117914 0 0 0 45786 219 0 0 25 0 1 0 810920335 495300608 117891 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 120923 117891 1111 63 0 120860 0
vsize: 483692
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 21028
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 120386 0 0 0 46782 222 0 0 25 0 1 0 810920335 505450496 120363 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 123401 120363 1111 63 0 123338 0
vsize: 493604
[startup+480.025 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 122929 0 0 0 47777 227 0 0 25 0 1 0 810920335 515756032 122906 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 125917 122906 1111 63 0 125854 0
vsize: 503668
[startup+490.025 s]
Raw data (loadavg): 1.06 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 125473 0 0 0 48772 232 0 0 25 0 1 0 810920335 526204928 125450 4294967295 134512640 134714540 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 128468 125450 1111 63 0 128405 0
vsize: 513872
[startup+500.025 s]
Raw data (loadavg): 1.05 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 127928 0 0 0 49768 236 0 0 25 0 1 0 810920335 536207360 127905 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 130910 127905 1111 63 0 130847 0
vsize: 523640
[startup+510.027 s]
Raw data (loadavg): 1.04 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 130621 0 0 0 50763 242 0 0 25 0 1 0 810920335 547258368 130598 4294967295 134512640 134714540 3221221792 3221220020 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 133608 130598 1111 63 0 133545 0
vsize: 534432
[startup+520.027 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 133478 0 0 0 51758 247 0 0 25 0 1 0 810920335 559054848 133455 4294967295 134512640 134714540 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 136488 133455 1111 63 0 136425 0
vsize: 545952
[startup+530.027 s]
Raw data (loadavg): 1.03 1.00 0.97 2/55 21081
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 136291 0 0 0 52753 252 0 0 25 0 1 0 810920335 570548224 136268 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 139294 136268 1111 63 0 139231 0
vsize: 557176
[startup+540.028 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 139183 0 0 0 53748 258 0 0 25 0 1 0 810920335 582340608 139160 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 142173 139160 1111 63 0 142110 0
vsize: 568692
[startup+550.028 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 142095 0 0 0 54741 264 0 0 25 0 1 0 810920335 594288640 142072 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 145090 142072 1111 63 0 145027 0
vsize: 580360
[startup+560.029 s]
Raw data (loadavg): 1.02 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 144646 0 0 0 55739 267 0 0 25 0 1 0 810920335 604737536 144623 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 147641 144623 1111 63 0 147578 0
vsize: 590564
[startup+570.03 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 147334 0 0 0 56734 272 0 0 25 0 1 0 810920335 615788544 147311 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 150339 147311 1111 63 0 150276 0
vsize: 601356
[startup+580.03 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 149678 0 0 0 57731 276 0 0 25 0 1 0 810920335 625340416 149655 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 152671 149655 1111 63 0 152608 0
vsize: 610684
[startup+590.031 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 152286 0 0 0 58726 280 0 0 25 0 1 0 810920335 635944960 152263 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 155260 152263 1111 63 0 155197 0
vsize: 621040
[startup+600.031 s]
Raw data (loadavg): 1.01 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 154784 0 0 0 59722 285 0 0 25 0 1 0 810920335 646246400 154761 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 157775 154761 1111 63 0 157712 0
vsize: 631100
[startup+610.032 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 157658 0 0 0 60718 289 0 0 25 0 1 0 810920335 658042880 157635 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 160655 157635 1111 63 0 160592 0
vsize: 642620
[startup+620.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 160527 0 0 0 61713 294 0 0 25 0 1 0 810920335 669687808 160504 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 163498 160504 1111 63 0 163435 0
vsize: 653992
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 163218 0 0 0 62707 301 0 0 25 0 1 0 810920335 680734720 163195 4294967295 134512640 134714540 3221221792 3221220020 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 166195 163195 1111 63 0 166132 0
vsize: 664780
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 165651 0 0 0 63703 304 0 0 25 0 1 0 810920335 690741248 165628 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 168638 165628 1111 63 0 168575 0
vsize: 674552
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 168311 0 0 0 64699 309 0 0 25 0 1 0 810920335 701636608 168288 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 171298 168288 1111 63 0 171235 0
vsize: 685192
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 170963 0 0 0 65695 313 0 0 25 0 1 0 810920335 712536064 170940 4294967295 134512640 134714540 3221221792 3221220020 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 173959 170940 1111 63 0 173896 0
vsize: 695836
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 173392 0 0 0 66690 318 0 0 25 0 1 0 810920335 722391040 173369 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 176365 173369 1111 63 0 176302 0
vsize: 705460
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 175932 0 0 0 67685 323 0 0 25 0 1 0 810920335 732844032 175909 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 178917 175909 1111 63 0 178854 0
vsize: 715668
[startup+690.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 178273 0 0 0 68681 327 0 0 25 0 1 0 810920335 742400000 178250 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 181250 178250 1111 63 0 181187 0
vsize: 725000
[startup+700.037 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 180611 0 0 0 69677 332 0 0 25 0 1 0 810920335 751951872 180588 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 183582 180588 1111 63 0 183519 0
vsize: 734328
[startup+710.038 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 182914 0 0 0 70672 336 0 0 25 0 1 0 810920335 761356288 182891 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 185878 182891 1111 63 0 185815 0
vsize: 743512
[startup+720.039 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 185274 0 0 0 71669 340 0 0 25 0 1 0 810920335 771067904 185251 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 188249 185251 1111 63 0 188186 0
vsize: 752996
[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 187564 0 0 0 72665 344 0 0 25 0 1 0 810920335 780472320 187541 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 190545 187541 1111 63 0 190482 0
vsize: 762180
[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 189872 0 0 0 73662 348 0 0 25 0 1 0 810920335 789876736 189849 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 192841 189849 1111 63 0 192778 0
vsize: 771364
[startup+750.041 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 192540 0 0 0 74657 353 0 0 25 0 1 0 810920335 800780288 192517 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 195503 192517 1111 63 0 195440 0
vsize: 782012
[startup+760.042 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 194988 0 0 0 75653 357 0 0 25 0 1 0 810920335 810930176 194965 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 197981 194965 1111 63 0 197918 0
vsize: 791924
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 197592 0 0 0 76648 362 0 0 25 0 1 0 810920335 821739520 197569 4294967295 134512640 134714540 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 200620 197569 1111 63 0 200557 0
vsize: 802480
[startup+780.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 200035 0 0 0 77643 367 0 0 25 0 1 0 810920335 831746048 200012 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 203063 200012 1111 63 0 203000 0
vsize: 812252
[startup+790.043 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 202605 0 0 0 78637 373 0 0 25 0 1 0 810920335 842346496 202582 4294967295 134512640 134714540 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 205651 202582 1111 63 0 205588 0
vsize: 822604
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 205054 0 0 0 79634 377 0 0 25 0 1 0 810920335 852353024 205031 4294967295 134512640 134714540 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 208094 205031 1111 63 0 208031 0
vsize: 832376
[startup+810.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21083
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 207753 0 0 0 80628 382 0 0 25 0 1 0 810920335 863395840 207730 4294967295 134512640 134714540 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 210790 207730 1111 63 0 210727 0
vsize: 843160
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 210353 0 0 0 81622 388 0 0 25 0 1 0 810920335 874000384 210138 4294967295 134512640 134714540 3221221792 3221220144 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 213379 210138 1111 63 0 213316 0
vsize: 853516
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 212911 0 0 0 82615 395 0 0 25 0 1 0 810920335 884449280 212536 4294967295 134512640 134714540 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 215930 212536 1111 63 0 215867 0
vsize: 863720
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 215580 0 0 0 83609 402 0 0 25 0 1 0 810920335 895500288 214757 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 218628 214757 1111 63 0 218565 0
vsize: 874512
[startup+850.049 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 218137 0 0 0 84602 408 0 0 25 0 1 0 810920335 905949184 216995 4294967295 134512640 134714540 3221221792 3221220020 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 221179 216995 1111 63 0 221116 0
vsize: 884716
[startup+860.055 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 220886 0 0 0 85597 414 0 0 25 0 1 0 810920335 917147648 219328 4294967295 134512640 134714540 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 223913 219328 1111 63 0 223850 0
vsize: 895652
[startup+870.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 223388 0 0 0 86591 421 0 0 25 0 1 0 810920335 927449088 221286 4294967295 134512640 134714540 3221221792 3221220020 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 226428 221286 1111 63 0 226365 0
vsize: 905712
[startup+880.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 225633 0 0 0 87586 426 0 0 25 0 1 0 810920335 936562688 222987 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228653 222987 1111 63 0 228590 0
vsize: 914612
[startup+888.25 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 21085
Raw data (stat): 21028 (bsolo_mis) R 21027 7876 7672 0 -1 0 225633 0 0 0 87586 426 0 0 25 0 1 0 810920335 936562688 222987 4294967295 134512640 134714540 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 228653 222987 1111 63 0 228590 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 888.249
CPU time (s): 888.322
CPU user time (s): 883.592
CPU system time (s): 4.73028
CPU usage (%): 100.008
Max. virtual memory (Kb): 914612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####