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-momentum3.opb
MD5SUM	bdf0df6b57384ca8a37c1ce2e87cfc07
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	67174
Biggest coefficient in the objective function	163840000
Number of bits for the biggest coefficient in the objective function	28
Sum of the numbers in the objective function	1696626095
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1280000000000000115964116992
Number of bits of the biggest number in a constraint	91
Biggest sum of numbers in a constraint	3721289892401349417752330240
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.675896
Number of variables	71194
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	814
Trace number 27295

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 20:42:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17761 boxname=wulflinc18 idbench=1367 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bdf0df6b57384ca8a37c1ce2e87cfc07  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-momentum3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-momentum3.opb
IDLAUNCH: 17761
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        451844 kB
Buffers:         32036 kB
Cached:         528740 kB
SwapCached:        836 kB
Active:         263928 kB
Inactive:       299388 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        451592 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:              48 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            13836 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:56:48 (client local time) WITH STATUS 0 IN 881.668 SECONDS
stats: 17761 7 881.668 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c ERROR Parsing file!!!
c ERROR parsing line: +78125000*x1269_bit_7 +156250000*x1269_bit_6 +312500000*x1269_bit_5 +625000000*x1269_bit_4 +1250000000*x1269_bit_3 +2500000000*x1269_bit_2 +5000000000*x1269_bit_1 +10000000000*x1269_bit0 +20000000000*x1269_bit1 -1374294217*x7733_bit0 >= +0;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-momentum3.opb
s UNKNOWN
c Exit Code: 0
c Total time: 881.428 s
#### 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): 1.02 0.97 0.96 2/54 25864
Raw data (stat): 25864 (runsolver) R 25863 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833187739 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 1.02 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 1242 0 0 0 996 3 0 0 25 0 1 0 833187739 17731584 1220 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4329 1220 1111 63 0 4266 0
vsize: 17316
[startup+20.0018 s]
Raw data (loadavg): 1.02 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 1923 0 0 0 1994 4 0 0 25 0 1 0 833187739 20574208 1901 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5023 1901 1111 63 0 4960 0
vsize: 20092
[startup+30.0026 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 2595 0 0 0 2993 6 0 0 25 0 1 0 833187739 23248896 2573 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5676 2573 1111 63 0 5613 0
vsize: 22704
[startup+40.0035 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 3301 0 0 0 3991 8 0 0 25 0 1 0 833187739 26251264 3279 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6409 3279 1111 63 0 6346 0
vsize: 25636
[startup+50.0044 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 4280 0 0 0 4989 10 0 0 25 0 1 0 833187739 30232576 4258 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7381 4258 1111 63 0 7318 0
vsize: 29524
[startup+60.0043 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 5162 0 0 0 5987 12 0 0 25 0 1 0 833187739 33820672 5140 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8257 5140 1111 63 0 8194 0
vsize: 33028
[startup+70.0043 s]
Raw data (loadavg): 1.01 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 6063 0 0 0 6986 14 0 0 25 0 1 0 833187739 37556224 6041 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9169 6041 1111 63 0 9106 0
vsize: 36676
[startup+80.0051 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 6957 0 0 0 7984 16 0 0 25 0 1 0 833187739 41189376 6935 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10056 6935 1111 63 0 9993 0
vsize: 40224
[startup+90.0054 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 7866 0 0 0 8983 17 0 0 25 0 1 0 833187739 44929024 7844 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10969 7844 1111 63 0 10906 0
vsize: 43876
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 8768 0 0 0 9982 19 0 0 25 0 1 0 833187739 48537600 8746 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11850 8746 1111 63 0 11787 0
vsize: 47400
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 9682 0 0 0 10980 20 0 0 25 0 1 0 833187739 52256768 9660 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12758 9660 1111 63 0 12695 0
vsize: 51032
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 10590 0 0 0 11978 22 0 0 25 0 1 0 833187739 55996416 10568 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13671 10568 1111 63 0 13608 0
vsize: 54684
[startup+130.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 11519 0 0 0 12977 24 0 0 25 0 1 0 833187739 59904000 11497 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14625 11497 1111 63 0 14562 0
vsize: 58500
[startup+140.008 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 12439 0 0 0 13976 25 0 0 25 0 1 0 833187739 63647744 12417 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15539 12417 1111 63 0 15476 0
vsize: 62156
[startup+150.009 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 13374 0 0 0 14975 26 0 0 25 0 1 0 833187739 67522560 13352 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 13352 1111 63 0 16422 0
vsize: 65940
[startup+160.009 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 14309 0 0 0 15973 28 0 0 25 0 1 0 833187739 71286784 14287 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17404 14287 1111 63 0 17341 0
vsize: 69616
[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 15254 0 0 0 16972 30 0 0 25 0 1 0 833187739 75161600 15232 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18350 15232 1111 63 0 18287 0
vsize: 73400
[startup+180.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 16201 0 0 0 17971 31 0 0 25 0 1 0 833187739 79032320 16179 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19295 16179 1111 63 0 19232 0
vsize: 77180
[startup+190.01 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 17149 0 0 0 18969 33 0 0 25 0 1 0 833187739 82927616 17127 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20246 17127 1111 63 0 20183 0
vsize: 80984
[startup+200.011 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 18105 0 0 0 19968 34 0 0 25 0 1 0 833187739 86822912 18083 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21197 18083 1111 63 0 21134 0
vsize: 84788
[startup+210.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 19065 0 0 0 20966 36 0 0 25 0 1 0 833187739 90718208 19043 4294967295 134512640 134714540 3221224592 3221223248 134527956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22148 19043 1111 63 0 22085 0
vsize: 88592
[startup+220.012 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 20038 0 0 0 21964 39 0 0 25 0 1 0 833187739 94752768 20016 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23133 20016 1111 63 0 23070 0
vsize: 92532
[startup+230.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 21009 0 0 0 22963 40 0 0 25 0 1 0 833187739 98648064 20987 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24084 20987 1111 63 0 24021 0
vsize: 96336
[startup+240.013 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 21992 0 0 0 23962 41 0 0 25 0 1 0 833187739 102678528 21970 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25068 21970 1111 63 0 25005 0
vsize: 100272
[startup+250.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 22995 0 0 0 24961 43 0 0 25 0 1 0 833187739 106950656 22973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26111 22973 1111 63 0 26048 0
vsize: 104444
[startup+260.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 23980 0 0 0 25959 44 0 0 25 0 1 0 833187739 111001600 23958 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27100 23958 1111 63 0 27037 0
vsize: 108400
[startup+270.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 24978 0 0 0 26958 46 0 0 25 0 1 0 833187739 115056640 24956 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28090 24956 1111 63 0 28027 0
vsize: 112360
[startup+280.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 25982 0 0 0 27957 47 0 0 25 0 1 0 833187739 119242752 25960 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29112 25960 1111 63 0 29049 0
vsize: 116448
[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 27000 0 0 0 28954 50 0 0 25 0 1 0 833187739 123273216 26978 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30096 26978 1111 63 0 30033 0
vsize: 120384
[startup+300.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 28015 0 0 0 29952 53 0 0 25 0 1 0 833187739 127459328 27993 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31118 27993 1111 63 0 31055 0
vsize: 124472
[startup+310.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 29045 0 0 0 30949 55 0 0 25 0 1 0 833187739 131694592 29023 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32152 29023 1111 63 0 32089 0
vsize: 128608
[startup+320.015 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 30069 0 0 0 31948 57 0 0 25 0 1 0 833187739 135880704 30047 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33174 30047 1111 63 0 33111 0
vsize: 132696
[startup+330.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 31104 0 0 0 32946 59 0 0 25 0 1 0 833187739 140115968 31082 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34208 31082 1111 63 0 34145 0
vsize: 136832
[startup+340.016 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 32146 0 0 0 33945 60 0 0 25 0 1 0 833187739 144457728 32124 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35268 32124 1111 63 0 35205 0
vsize: 141072
[startup+350.017 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 33195 0 0 0 34943 62 0 0 25 0 1 0 833187739 148668416 33173 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36296 33173 1111 63 0 36233 0
vsize: 145184
[startup+360.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 34251 0 0 0 35942 64 0 0 25 0 1 0 833187739 153014272 34229 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37357 34229 1111 63 0 37294 0
vsize: 149428
[startup+370.018 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 35319 0 0 0 36940 66 0 0 25 0 1 0 833187739 157356032 35297 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38417 35297 1111 63 0 38354 0
vsize: 153668
[startup+380.019 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 36394 0 0 0 37938 68 0 0 25 0 1 0 833187739 161832960 36372 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39510 36372 1111 63 0 39447 0
vsize: 158040
[startup+390.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 37475 0 0 0 38936 70 0 0 25 0 1 0 833187739 166174720 37453 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40570 37453 1111 63 0 40507 0
vsize: 162280
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 38568 0 0 0 39936 71 0 0 25 0 1 0 833187739 170672128 38546 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41668 38546 1111 63 0 41605 0
vsize: 166672
[startup+410.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 39673 0 0 0 40933 73 0 0 25 0 1 0 833187739 175169536 39651 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42766 39651 1111 63 0 42703 0
vsize: 171064
[startup+420.02 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 40786 0 0 0 41932 75 0 0 25 0 1 0 833187739 179666944 40764 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43864 40764 1111 63 0 43801 0
vsize: 175456
[startup+430.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 41907 0 0 0 42930 77 0 0 25 0 1 0 833187739 184299520 41885 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44995 41885 1111 63 0 44932 0
vsize: 179980
[startup+440.021 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 43031 0 0 0 43928 79 0 0 25 0 1 0 833187739 188932096 43009 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46126 43009 1111 63 0 46063 0
vsize: 184504
[startup+450.022 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 44161 0 0 0 44926 82 0 0 25 0 1 0 833187739 193556480 44139 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47255 44139 1111 63 0 47192 0
vsize: 189020
[startup+460.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 45298 0 0 0 45923 84 0 0 25 0 1 0 833187739 198189056 45276 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48386 45276 1111 63 0 48323 0
vsize: 193544
[startup+470.023 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 46483 0 0 0 46921 87 0 0 25 0 1 0 833187739 203337728 46461 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49643 46461 1111 63 0 49580 0
vsize: 198572
[startup+480.024 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 47646 0 0 0 47919 89 0 0 25 0 1 0 833187739 208101376 47624 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50806 47624 1111 63 0 50743 0
vsize: 203224
[startup+490.025 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 48823 0 0 0 48918 91 0 0 25 0 1 0 833187739 212938752 48801 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51987 48801 1111 63 0 51924 0
vsize: 207948
[startup+500.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 50026 0 0 0 49915 93 0 0 25 0 1 0 833187739 217726976 50004 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53156 50004 1111 63 0 53093 0
vsize: 212624
[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 51241 0 0 0 50914 95 0 0 25 0 1 0 833187739 222822400 51219 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54400 51219 1111 63 0 54337 0
vsize: 217600
[startup+520.027 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 52468 0 0 0 51912 97 0 0 25 0 1 0 833187739 227745792 52446 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55602 52446 1111 63 0 55539 0
vsize: 222408
[startup+530.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 53689 0 0 0 52910 99 0 0 25 0 1 0 833187739 232845312 53667 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56847 53667 1111 63 0 56784 0
vsize: 227388
[startup+540.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 54923 0 0 0 53908 102 0 0 25 0 1 0 833187739 237789184 54901 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58054 54901 1111 63 0 57991 0
vsize: 232216
[startup+550.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 56177 0 0 0 54905 105 0 0 25 0 1 0 833187739 242913280 56155 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59305 56155 1111 63 0 59242 0
vsize: 237220
[startup+560.028 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 57449 0 0 0 55903 107 0 0 25 0 1 0 833187739 248168448 57427 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60588 57427 1111 63 0 60525 0
vsize: 242352
[startup+570.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 58735 0 0 0 56901 109 0 0 25 0 1 0 833187739 253407232 58713 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61867 58713 1111 63 0 61804 0
vsize: 247468
[startup+580.029 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 60027 0 0 0 57898 112 0 0 25 0 1 0 833187739 258666496 60005 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63151 60005 1111 63 0 63088 0
vsize: 252604
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 61344 0 0 0 58896 114 0 0 25 0 1 0 833187739 264048640 61322 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64465 61322 1111 63 0 64402 0
vsize: 257860
[startup+600.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 62675 0 0 0 59894 117 0 0 25 0 1 0 833187739 269594624 62653 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65819 62653 1111 63 0 65756 0
vsize: 263276
[startup+610.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 64031 0 0 0 60891 120 0 0 25 0 1 0 833187739 275120128 64009 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67168 64009 1111 63 0 67105 0
vsize: 268672
[startup+620.031 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 65397 0 0 0 61888 123 0 0 25 0 1 0 833187739 280711168 65375 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68533 65375 1111 63 0 68470 0
vsize: 274132
[startup+630.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 66767 0 0 0 62886 125 0 0 25 0 1 0 833187739 286236672 66745 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69882 66745 1111 63 0 69819 0
vsize: 279528
[startup+640.032 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 68155 0 0 0 63884 128 0 0 25 0 1 0 833187739 291962880 68133 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71280 68133 1111 63 0 71217 0
vsize: 285120
[startup+650.033 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 69556 0 0 0 64882 130 0 0 25 0 1 0 833187739 297684992 69534 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72677 69534 1111 63 0 72614 0
vsize: 290708
[startup+660.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 70967 0 0 0 65879 132 0 0 25 0 1 0 833187739 303521792 70945 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74102 70945 1111 63 0 74039 0
vsize: 296408
[startup+670.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 72387 0 0 0 66877 135 0 0 25 0 1 0 833187739 309202944 72365 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75489 72365 1111 63 0 75426 0
vsize: 301956
[startup+680.034 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 73815 0 0 0 67875 137 0 0 25 0 1 0 833187739 315035648 73793 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76913 73793 1111 63 0 76850 0
vsize: 307652
[startup+690.036 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 75260 0 0 0 68872 141 0 0 25 0 1 0 833187739 321028096 75238 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78376 75238 1111 63 0 78313 0
vsize: 313504
[startup+700.036 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 76705 0 0 0 69870 143 0 0 25 0 1 0 833187739 326909952 76683 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79812 76683 1111 63 0 79749 0
vsize: 319248
[startup+710.036 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 78157 0 0 0 70866 146 0 0 25 0 1 0 833187739 332877824 78135 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81269 78135 1111 63 0 81206 0
vsize: 325076
[startup+720.036 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 79608 0 0 0 71864 149 0 0 25 0 1 0 833187739 338731008 79586 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82698 79586 1111 63 0 82635 0
vsize: 330792
[startup+730.037 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 81085 0 0 0 72862 151 0 0 25 0 1 0 833187739 344879104 81063 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84199 81063 1111 63 0 84136 0
vsize: 336796
[startup+740.037 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 83230 0 0 0 73859 155 0 0 25 0 1 0 833187739 353599488 83208 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86328 83208 1111 63 0 86265 0
vsize: 345312
[startup+750.038 s]
Raw data (loadavg): 1.00 0.97 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 85365 0 0 0 74856 158 0 0 25 0 1 0 833187739 362278912 85343 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88447 85343 1111 63 0 88384 0
vsize: 353788
[startup+760.039 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 88140 0 0 0 75850 163 0 0 25 0 1 0 833187739 373747712 88118 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91247 88118 1111 63 0 91184 0
vsize: 364988
[startup+770.039 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 91245 0 0 0 76845 169 0 0 25 0 1 0 833187739 386437120 91223 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94345 91223 1111 63 0 94282 0
vsize: 377380
[startup+780.04 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 94363 0 0 0 77840 174 0 0 25 0 1 0 833187739 399130624 94341 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97444 94341 1111 63 0 97381 0
vsize: 389776
[startup+790.04 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 97493 0 0 0 78837 178 0 0 25 0 1 0 833187739 411967488 97471 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100578 97471 1111 63 0 100515 0
vsize: 402312
[startup+800.04 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 100647 0 0 0 79832 183 0 0 25 0 1 0 833187739 424960000 100625 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103750 100625 1111 63 0 103687 0
vsize: 415000
[startup+810.041 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 103808 0 0 0 80826 189 0 0 25 0 1 0 833187739 437796864 103786 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106884 103786 1111 63 0 106821 0
vsize: 427536
[startup+820.04 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 107121 0 0 0 81821 194 0 0 25 0 1 0 833187739 451670016 106973 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110271 106973 1111 63 0 110208 0
vsize: 441084
[startup+830.041 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 110340 0 0 0 82815 200 0 0 25 0 1 0 833187739 464801792 110192 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 113477 110192 1111 63 0 113414 0
vsize: 453908
[startup+840.041 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 113576 0 0 0 83807 207 0 0 25 0 1 0 833187739 478093312 113428 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116722 113428 1111 63 0 116659 0
vsize: 466888
[startup+850.042 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 116821 0 0 0 84799 214 0 0 25 0 1 0 833187739 491380736 116673 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119966 116673 1111 63 0 119903 0
vsize: 479864
[startup+860.042 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 120103 0 0 0 85792 220 0 0 25 0 1 0 833187739 504819712 119955 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123247 119955 1111 63 0 123184 0
vsize: 492988
[startup+870.043 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 123342 0 0 0 86784 226 0 0 25 0 1 0 833187739 518107136 123194 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126491 123194 1111 63 0 126428 0
vsize: 505964
[startup+880.044 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 126649 0 0 0 87776 232 0 0 25 0 1 0 833187739 531566592 126501 4294967295 134512640 134714540 3221224592 3221222508 1077244324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129777 126501 1111 63 0 129714 0
vsize: 519108
[startup+881.62 s]
Raw data (loadavg): 1.01 0.99 0.96 1/53 25864
Raw data (stat): 25864 (bsolo_mis) R 25863 24172 24171 0 -1 0 126649 0 0 0 87776 232 0 0 25 0 1 0 833187739 531566592 126501 4294967295 134512640 134714540 3221224592 3221222508 1077244324 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129777 126501 1111 63 0 129714 0
vsize: 0

Child status: 0
Real time (s): 881.62
CPU time (s): 881.668
CPU user time (s): 879.094
CPU system time (s): 2.57361
CPU usage (%): 100.005
Max. virtual memory (Kb): 519108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####