PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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:        907536 kB
Buffers:          9868 kB
Cached:          95448 kB
SwapCached:        696 kB
Active:          42856 kB
Inactive:        64460 kB
HighTotal:      131008 kB
HighFree:        35476 kB
LowTotal:       903652 kB
LowFree:        872060 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            14128 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:55:37 (client local time) WITH STATUS 0 IN 865.394 SECONDS
stats: 12860 7 865.394 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.76 0.91 0.96 2/54 2696
Raw data (stat): 2696 (runsolver) R 2695 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777131302 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0002 s]
Raw data (loadavg): 0.80 0.91 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 3174 0 0 0 991 8 0 0 25 0 1 0 777131302 25214976 3152 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3152 1111 63 0 6093 0
vsize: 24624
[startup+19.9999 s]
Raw data (loadavg): 0.83 0.92 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 5708 0 0 0 1988 11 0 0 25 0 1 0 777131302 35520512 5686 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8672 5686 1111 63 0 8609 0
vsize: 34688
[startup+29.9997 s]
Raw data (loadavg): 0.85 0.92 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 8250 0 0 0 2982 16 0 0 25 0 1 0 777131302 45957120 8228 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11220 8228 1111 63 0 11157 0
vsize: 44880
[startup+40.0005 s]
Raw data (loadavg): 0.87 0.92 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 10789 0 0 0 3977 22 0 0 25 0 1 0 777131302 56406016 10767 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13771 10767 1111 63 0 13708 0
vsize: 55084
[startup+50.0043 s]
Raw data (loadavg): 0.89 0.92 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 13364 0 0 0 4973 27 0 0 25 0 1 0 777131302 67006464 13342 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13342 1111 63 0 16296 0
vsize: 65436
[startup+60.0041 s]
Raw data (loadavg): 0.91 0.92 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 15934 0 0 0 5969 31 0 0 25 0 1 0 777131302 77455360 15912 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18910 15912 1111 63 0 18847 0
vsize: 75640
[startup+70.0043 s]
Raw data (loadavg): 0.92 0.93 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 18511 0 0 0 6965 35 0 0 25 0 1 0 777131302 88059904 18489 4294967295 134512640 134714540 3221224592 3221222460 1077244511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21499 18489 1111 63 0 21436 0
vsize: 85996
[startup+80.0046 s]
Raw data (loadavg): 0.93 0.93 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 21118 0 0 0 7960 40 0 0 25 0 1 0 777131302 98656256 21096 4294967295 134512640 134714540 3221224592 3221222712 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24086 21101 1111 63 0 24023 0
vsize: 96344
[startup+90.0043 s]
Raw data (loadavg): 0.94 0.93 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 23736 0 0 0 8956 45 0 0 25 0 1 0 777131302 109412352 23714 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26712 23714 1111 63 0 26649 0
vsize: 106848
[startup+100.006 s]
Raw data (loadavg): 0.95 0.93 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 26360 0 0 0 9951 49 0 0 25 0 1 0 777131302 120156160 26338 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29335 26338 1111 63 0 29272 0
vsize: 117340
[startup+110.006 s]
Raw data (loadavg): 0.96 0.93 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 28962 0 0 0 10947 53 0 0 25 0 1 0 777131302 130908160 28940 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31960 28940 1111 63 0 31897 0
vsize: 127840
[startup+120.006 s]
Raw data (loadavg): 0.96 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 31569 0 0 0 11945 56 0 0 25 0 1 0 777131302 141504512 31547 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34547 31547 1111 63 0 34484 0
vsize: 138188
[startup+130.006 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 34151 0 0 0 12941 60 0 0 25 0 1 0 777131302 152109056 34129 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37136 34129 1111 63 0 37073 0
vsize: 148544
[startup+140.006 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 36697 0 0 0 13936 65 0 0 25 0 1 0 777131302 162557952 36675 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39687 36675 1111 63 0 39624 0
vsize: 158748
[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 39244 0 0 0 14931 69 0 0 25 0 1 0 777131302 173010944 39222 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42239 39222 1111 63 0 42176 0
vsize: 168956
[startup+160.008 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 41851 0 0 0 15927 73 0 0 25 0 1 0 777131302 183611392 41829 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44827 41829 1111 63 0 44764 0
vsize: 179308
[startup+170.008 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 44476 0 0 0 16922 79 0 0 25 0 1 0 777131302 194363392 44454 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47452 44454 1111 63 0 47389 0
vsize: 189808
[startup+180.008 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 47082 0 0 0 17917 84 0 0 25 0 1 0 777131302 205111296 47060 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50076 47060 1111 63 0 50013 0
vsize: 200304
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 49796 0 0 0 18913 88 0 0 25 0 1 0 777131302 216182784 49774 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52779 49774 1111 63 0 52716 0
vsize: 211116
[startup+200.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 52447 0 0 0 19909 92 0 0 25 0 1 0 777131302 227082240 52425 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55440 52425 1111 63 0 55377 0
vsize: 221760
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 55076 0 0 0 20906 96 0 0 25 0 1 0 777131302 237830144 55054 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58064 55054 1111 63 0 58001 0
vsize: 232256
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 57667 0 0 0 21901 100 0 0 25 0 1 0 777131302 248434688 57645 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60653 57645 1111 63 0 60590 0
vsize: 242612
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 60273 0 0 0 22896 106 0 0 25 0 1 0 777131302 259182592 60251 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63277 60251 1111 63 0 63214 0
vsize: 253108
[startup+240.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 62862 0 0 0 23892 110 0 0 25 0 1 0 777131302 269783040 62840 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65865 62840 1111 63 0 65802 0
vsize: 263460
[startup+250.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 65517 0 0 0 24887 115 0 0 25 0 1 0 777131302 280530944 65495 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68489 65495 1111 63 0 68426 0
vsize: 273956
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 68180 0 0 0 25882 121 0 0 25 0 1 0 777131302 291434496 68158 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71151 68158 1111 63 0 71088 0
vsize: 284604
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 70787 0 0 0 26877 126 0 0 25 0 1 0 777131302 302178304 70765 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73774 70765 1111 63 0 73711 0
vsize: 295096
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 73357 0 0 0 27873 130 0 0 25 0 1 0 777131302 312635392 73335 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76327 73335 1111 63 0 76264 0
vsize: 305308
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 75989 0 0 0 28868 135 0 0 25 0 1 0 777131302 323530752 75967 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78987 75967 1111 63 0 78924 0
vsize: 315948
[startup+300.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 78553 0 0 0 29864 139 0 0 25 0 1 0 777131302 333983744 78531 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81539 78531 1111 63 0 81476 0
vsize: 326156
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 81166 0 0 0 30859 144 0 0 25 0 1 0 777131302 344731648 81144 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84163 81144 1111 63 0 84100 0
vsize: 336652
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 83762 0 0 0 31855 148 0 0 25 0 1 0 777131302 355336192 83740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86752 83740 1111 63 0 86689 0
vsize: 347008
[startup+330.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 86399 0 0 0 32851 152 0 0 25 0 1 0 777131302 366080000 86377 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89375 86377 1111 63 0 89312 0
vsize: 357500
[startup+340.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 88970 0 0 0 33847 157 0 0 25 0 1 0 777131302 376684544 88948 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91964 88948 1111 63 0 91901 0
vsize: 367856
[startup+350.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 91551 0 0 0 34844 160 0 0 25 0 1 0 777131302 387133440 91529 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94515 91529 1111 63 0 94452 0
vsize: 378060
[startup+360.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 94158 0 0 0 35840 164 0 0 25 0 1 0 777131302 397885440 94136 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97140 94136 1111 63 0 97077 0
vsize: 388560
[startup+370.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 96685 0 0 0 36836 169 0 0 25 0 1 0 777131302 408186880 96663 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99655 96663 1111 63 0 99592 0
vsize: 398620
[startup+380.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 99238 0 0 0 37831 174 0 0 25 0 1 0 777131302 418856960 99216 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102260 99216 1111 63 0 102197 0
vsize: 409040
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 101795 0 0 0 38827 178 0 0 25 0 1 0 777131302 429305856 101773 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 104811 101773 1111 63 0 104748 0
vsize: 419244
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 104337 0 0 0 39823 182 0 0 25 0 1 0 777131302 439611392 104315 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107327 104315 1111 63 0 107264 0
vsize: 429308
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 106913 0 0 0 40819 186 0 0 25 0 1 0 777131302 450207744 106891 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109914 106891 1111 63 0 109851 0
vsize: 439656
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 109666 0 0 0 41815 191 0 0 25 0 1 0 777131302 461557760 109644 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112685 109644 1111 63 0 112622 0
vsize: 450740
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 112157 0 0 0 42810 195 0 0 25 0 1 0 777131302 471707648 112135 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115163 112135 1111 63 0 115100 0
vsize: 460652
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 114899 0 0 0 43806 200 0 0 25 0 1 0 777131302 482910208 114877 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117898 114877 1111 63 0 117835 0
vsize: 471592
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 117487 0 0 0 44801 205 0 0 25 0 1 0 777131302 493506560 117465 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120485 117465 1111 63 0 120422 0
vsize: 481940
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 120052 0 0 0 45796 210 0 0 25 0 1 0 777131302 503959552 120030 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123037 120030 1111 63 0 122974 0
vsize: 492148
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 122683 0 0 0 46791 215 0 0 25 0 1 0 777131302 514854912 122661 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125697 122661 1111 63 0 125634 0
vsize: 502788
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 125296 0 0 0 47787 219 0 0 25 0 1 0 777131302 525459456 125274 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128286 125274 1111 63 0 128223 0
vsize: 513144
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 127818 0 0 0 48784 222 0 0 25 0 1 0 777131302 535760896 127796 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130801 127796 1111 63 0 130738 0
vsize: 523204
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 130578 0 0 0 49780 227 0 0 25 0 1 0 777131302 547106816 130556 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133571 130556 1111 63 0 133508 0
vsize: 534284
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 133513 0 0 0 50774 233 0 0 25 0 1 0 777131302 559202304 133491 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136524 133491 1111 63 0 136461 0
vsize: 546096
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 136394 0 0 0 51771 237 0 0 25 0 1 0 777131302 570998784 136372 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139404 136372 1111 63 0 139341 0
vsize: 557616
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 139376 0 0 0 52767 241 0 0 25 0 1 0 777131302 583086080 139354 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142355 139354 1111 63 0 142292 0
vsize: 569420
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 142337 0 0 0 53761 247 0 0 25 0 1 0 777131302 595333120 142315 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145345 142315 1111 63 0 145282 0
vsize: 581380
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 144938 0 0 0 54758 250 0 0 25 0 1 0 777131302 605933568 144916 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147933 144916 1111 63 0 147870 0
vsize: 591732
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 147709 0 0 0 55753 255 0 0 25 0 1 0 777131302 617279488 147687 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150703 147687 1111 63 0 150640 0
vsize: 602812
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 150213 0 0 0 56749 259 0 0 25 0 1 0 777131302 627585024 150191 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 153219 150191 1111 63 0 153156 0
vsize: 612876
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 152869 0 0 0 57744 265 0 0 25 0 1 0 777131302 638328832 152847 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155842 152847 1111 63 0 155779 0
vsize: 623368
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 155567 0 0 0 58739 270 0 0 25 0 1 0 777131302 649379840 155545 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158540 155545 1111 63 0 158477 0
vsize: 634160
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 158484 0 0 0 59735 274 0 0 25 0 1 0 777131302 661327872 158462 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161457 158462 1111 63 0 161394 0
vsize: 645828
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 161365 0 0 0 60730 279 0 0 25 0 1 0 777131302 673124352 161343 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164337 161343 1111 63 0 164274 0
vsize: 657348
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 164080 0 0 0 61727 283 0 0 25 0 1 0 777131302 684318720 164058 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167070 164058 1111 63 0 167007 0
vsize: 668280
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 166628 0 0 0 62722 288 0 0 25 0 1 0 777131302 694771712 166606 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169622 166606 1111 63 0 169559 0
vsize: 678488
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 169440 0 0 0 63718 292 0 0 25 0 1 0 777131302 706265088 169418 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172428 169418 1111 63 0 172365 0
vsize: 689712
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 172104 0 0 0 64714 296 0 0 25 0 1 0 777131302 717164544 172082 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175089 172082 1111 63 0 175026 0
vsize: 700356
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 174600 0 0 0 65711 299 0 0 25 0 1 0 777131302 727314432 174578 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177567 174578 1111 63 0 177504 0
vsize: 710268
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 177209 0 0 0 66705 305 0 0 25 0 1 0 777131302 738070528 177187 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180193 177187 1111 63 0 180130 0
vsize: 720772
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 179620 0 0 0 67700 311 0 0 25 0 1 0 777131302 747921408 179598 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182598 179598 1111 63 0 182535 0
vsize: 730392
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 182033 0 0 0 68695 316 0 0 25 0 1 0 777131302 757780480 182011 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 185005 182011 1111 63 0 184942 0
vsize: 740020
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 184495 0 0 0 69692 318 0 0 25 0 1 0 777131302 767930368 184473 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187483 184473 1111 63 0 187420 0
vsize: 749932
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 186949 0 0 0 70688 323 0 0 25 0 1 0 777131302 777932800 186927 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189925 186927 1111 63 0 189862 0
vsize: 759700
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 189337 0 0 0 71685 327 0 0 25 0 1 0 777131302 787787776 189315 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 192331 189315 1111 63 0 192268 0
vsize: 769324
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 192022 0 0 0 72681 330 0 0 25 0 1 0 777131302 798683136 192000 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194991 192000 1111 63 0 194928 0
vsize: 779964
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 194580 0 0 0 73677 335 0 0 25 0 1 0 777131302 809140224 194558 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 197544 194558 1111 63 0 197481 0
vsize: 790176
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 197286 0 0 0 74673 339 0 0 25 0 1 0 777131302 820547584 197264 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200329 197264 1111 63 0 200266 0
vsize: 801316
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 199820 0 0 0 75669 343 0 0 25 0 1 0 777131302 830853120 199798 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 202845 199798 1111 63 0 202782 0
vsize: 811380
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 202513 0 0 0 76664 348 0 0 25 0 1 0 777131302 841895936 202491 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205541 202491 1111 63 0 205478 0
vsize: 822164
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 205059 0 0 0 77660 352 0 0 25 0 1 0 777131302 852353024 205037 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208094 205037 1111 63 0 208031 0
vsize: 832376
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 207843 0 0 0 78656 357 0 0 25 0 1 0 777131302 863694848 207821 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210863 207821 1111 63 0 210800 0
vsize: 843452
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 210553 0 0 0 79651 361 0 0 25 0 1 0 777131302 874897408 210531 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213598 210531 1111 63 0 213535 0
vsize: 854392
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 213221 0 0 0 80646 367 0 0 25 0 1 0 777131302 885796864 213199 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216259 213199 1111 63 0 216196 0
vsize: 865036
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 215895 0 0 0 81641 372 0 0 25 0 1 0 777131302 896692224 215873 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218919 215873 1111 63 0 218856 0
vsize: 875676
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 218691 0 0 0 82637 377 0 0 25 0 1 0 777131302 908189696 218669 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 221726 218669 1111 63 0 221663 0
vsize: 886904
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 221468 0 0 0 83632 382 0 0 25 0 1 0 777131302 919539712 221446 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 224497 221446 1111 63 0 224434 0
vsize: 897988
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 223965 0 0 0 84628 386 0 0 25 0 1 0 777131302 929841152 223943 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227012 223943 1111 63 0 226949 0
vsize: 908048
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 226275 0 0 0 85622 391 0 0 25 0 1 0 777131302 939245568 226253 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229308 226253 1111 63 0 229245 0
vsize: 917232
[startup+865.283 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 2696
Raw data (stat): 2696 (bsolo_mis) R 2695 25830 25829 0 -1 0 226275 0 0 0 85622 391 0 0 25 0 1 0 777131302 939245568 226253 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 229308 226253 1111 63 0 229245 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 865.283
CPU time (s): 865.394
CPU user time (s): 861.011
CPU system time (s): 4.38333
CPU usage (%): 100.013
Max. virtual memory (Kb): 917232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####