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-stp3d.opb
MD5SUM	bd41ba4f2ddbc80664ba643e2dc93b96
Bench Category	optimization, medium integers (OPTMEDINT)
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	75648
Biggest coefficient in the objective function	100303
Number of bits for the biggest coefficient in the objective function	17
Sum of the numbers in the objective function	7576279200
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	100303
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7576279200
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.75158
Number of variables	204880
Total number of constraints	364368
Number of constraints which are clauses	129232
Number of constraints which are cardinality constraints (but not clauses)	210685
Number of constraints which are nor clauses,nor cardinality constraints	24451
Minimum length of a constraint	1
Maximum length of a constraint	120

Trace number 27181

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 19:57:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18034 boxname=wulflinc9 idbench=1388 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bd41ba4f2ddbc80664ba643e2dc93b96  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-stp3d.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-stp3d.opb
IDLAUNCH: 18034
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
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:        506160 kB
Buffers:         20508 kB
Cached:         486684 kB
SwapCached:         88 kB
Active:          73676 kB
Inactive:       436444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        505908 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6888 kB
Slab:            12784 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:08:46 (client local time) WITH STATUS 0 IN 675.977 SECONDS
stats: 18034 7 675.977 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): 1.01 0.98 0.91 2/54 8820
Raw data (stat): 8820 (runsolver) R 8819 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774711568 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 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.0034 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 3231 0 0 0 991 8 0 0 25 0 1 0 774711568 25513984 3209 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6229 3209 1111 63 0 6166 0
vsize: 24916
[startup+20.007 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 5887 0 0 0 1986 13 0 0 25 0 1 0 774711568 36417536 5865 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8891 5865 1111 63 0 8828 0
vsize: 35564
[startup+30.0078 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 8556 0 0 0 2981 18 0 0 25 0 1 0 774711568 47296512 8534 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11547 8534 1111 63 0 11484 0
vsize: 46188
[startup+40.0086 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 11235 0 0 0 3976 23 0 0 25 0 1 0 774711568 58200064 11213 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14209 11213 1111 63 0 14146 0
vsize: 56836
[startup+50.0094 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 13932 0 0 0 4971 28 0 0 25 0 1 0 774711568 69242880 13910 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16905 13910 1111 63 0 16842 0
vsize: 67620
[startup+60.0102 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 16636 0 0 0 5966 33 0 0 25 0 1 0 774711568 80445440 16614 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19640 16614 1111 63 0 19577 0
vsize: 78560
[startup+70.0099 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 19358 0 0 0 6962 37 0 0 25 0 1 0 774711568 91496448 19336 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22338 19336 1111 63 0 22275 0
vsize: 89352
[startup+80.0107 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 22091 0 0 0 7957 42 0 0 25 0 1 0 774711568 102690816 22069 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25071 22069 1111 63 0 25008 0
vsize: 100284
[startup+90.0105 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 24837 0 0 0 8953 47 0 0 25 0 1 0 774711568 114036736 24815 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27841 24815 1111 63 0 27778 0
vsize: 111364
[startup+100.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 27609 0 0 0 9947 52 0 0 25 0 1 0 774711568 125386752 27587 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30612 27587 1111 63 0 30549 0
vsize: 122448
[startup+110.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 30385 0 0 0 10944 56 0 0 25 0 1 0 774711568 136728576 30363 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33381 30363 1111 63 0 33318 0
vsize: 133524
[startup+120.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 33187 0 0 0 11939 61 0 0 25 0 1 0 774711568 148226048 33165 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36188 33165 1111 63 0 36125 0
vsize: 144752
[startup+130.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 35996 0 0 0 12936 64 0 0 25 0 1 0 774711568 159723520 35974 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38995 35974 1111 63 0 38932 0
vsize: 155980
[startup+140.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 38828 0 0 0 13932 69 0 0 25 0 1 0 774711568 171216896 38806 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41801 38806 1111 63 0 41738 0
vsize: 167204
[startup+150.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 8820
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 41671 0 0 0 14927 74 0 0 25 0 1 0 774711568 182865920 41649 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44645 41649 1111 63 0 44582 0
vsize: 178580
[startup+160.024 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 44527 0 0 0 15919 82 0 0 25 0 1 0 774711568 194662400 44505 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47525 44505 1111 63 0 47462 0
vsize: 190100
[startup+170.024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 47370 0 0 0 16914 87 0 0 25 0 1 0 774711568 206307328 47348 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50368 47348 1111 63 0 50305 0
vsize: 201472
[startup+180.024 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 50249 0 0 0 17909 92 0 0 25 0 1 0 774711568 218120192 50227 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53252 50227 1111 63 0 53189 0
vsize: 213008
[startup+190.025 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 53128 0 0 0 18905 96 0 0 25 0 1 0 774711568 229916672 53106 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56132 53106 1111 63 0 56069 0
vsize: 224528
[startup+200.026 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 56027 0 0 0 19901 101 0 0 25 0 1 0 774711568 241713152 56005 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59012 56005 1111 63 0 58949 0
vsize: 236048
[startup+210.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 58945 0 0 0 20896 106 0 0 25 0 1 0 774711568 253657088 58923 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61928 58923 1111 63 0 61865 0
vsize: 247712
[startup+220.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 61892 0 0 0 21891 112 0 0 25 0 1 0 774711568 265752576 61870 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64881 61870 1111 63 0 64818 0
vsize: 259524
[startup+230.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8873
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 64877 0 0 0 22885 117 0 0 25 0 1 0 774711568 277995520 64855 4294967295 134512640 134714540 3221224592 3221222840 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67870 64855 1111 63 0 67807 0
vsize: 271480
[startup+240.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 67879 0 0 0 23880 123 0 0 25 0 1 0 774711568 290234368 67857 4294967295 134512640 134714540 3221224592 3221222944 134567608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70858 67857 1111 63 0 70795 0
vsize: 283432
[startup+250.027 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 70898 0 0 0 24875 128 0 0 25 0 1 0 774711568 302628864 70876 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73884 70876 1111 63 0 73821 0
vsize: 295536
[startup+260.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 73943 0 0 0 25868 135 0 0 25 0 1 0 774711568 315170816 73921 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76946 73921 1111 63 0 76883 0
vsize: 307784
[startup+270.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 77006 0 0 0 26864 139 0 0 25 0 1 0 774711568 327708672 76984 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80007 76984 1111 63 0 79944 0
vsize: 320028
[startup+280.028 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 80093 0 0 0 27859 145 0 0 25 0 1 0 774711568 340250624 80071 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83069 80071 1111 63 0 83006 0
vsize: 332276
[startup+290.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 83198 0 0 0 28854 150 0 0 25 0 1 0 774711568 353091584 83176 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86204 83176 1111 63 0 86141 0
vsize: 344816
[startup+300.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 86334 0 0 0 29849 155 0 0 25 0 1 0 774711568 365932544 86312 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89339 86312 1111 63 0 89276 0
vsize: 357356
[startup+310.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 89482 0 0 0 30843 161 0 0 25 0 1 0 774711568 378773504 89460 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92474 89460 1111 63 0 92411 0
vsize: 369896
[startup+320.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 92665 0 0 0 31837 167 0 0 25 0 1 0 774711568 391761920 92643 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95645 92643 1111 63 0 95582 0
vsize: 382580
[startup+330.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 95861 0 0 0 32833 172 0 0 25 0 1 0 774711568 404901888 95839 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98853 95839 1111 63 0 98790 0
vsize: 395412
[startup+340.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 99113 0 0 0 33828 177 0 0 25 0 1 0 774711568 418263040 99091 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102115 99091 1111 63 0 102052 0
vsize: 408460
[startup+350.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 102364 0 0 0 34823 182 0 0 25 0 1 0 774711568 431697920 102342 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 105395 102342 1111 63 0 105332 0
vsize: 421580
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 105645 0 0 0 35818 187 0 0 25 0 1 0 774711568 445132800 105623 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108675 105623 1111 63 0 108612 0
vsize: 434700
[startup+370.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 108951 0 0 0 36812 193 0 0 25 0 1 0 774711568 458571776 108929 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111956 108929 1111 63 0 111893 0
vsize: 447824
[startup+380.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 112293 0 0 0 37808 198 0 0 25 0 1 0 774711568 472305664 112271 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115309 112271 1111 63 0 115246 0
vsize: 461236
[startup+390.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 115661 0 0 0 38803 203 0 0 25 0 1 0 774711568 486043648 115639 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118663 115639 1111 63 0 118600 0
vsize: 474652
[startup+400.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 119051 0 0 0 39798 208 0 0 25 0 1 0 774711568 499929088 119029 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122053 119029 1111 63 0 121990 0
vsize: 488212
[startup+410.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 122491 0 0 0 40794 213 0 0 25 0 1 0 774711568 514109440 122469 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125515 122469 1111 63 0 125452 0
vsize: 502060
[startup+420.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 125960 0 0 0 41788 218 0 0 25 0 1 0 774711568 528293888 125938 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128978 125938 1111 63 0 128915 0
vsize: 515912
[startup+430.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 129450 0 0 0 42781 224 0 0 25 0 1 0 774711568 542482432 129428 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132442 129428 1111 63 0 132379 0
vsize: 529768
[startup+440.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 132967 0 0 0 43775 229 0 0 25 0 1 0 774711568 556961792 132945 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135977 132945 1111 63 0 135914 0
vsize: 543908
[startup+450.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 136530 0 0 0 44768 235 0 0 25 0 1 0 774711568 571596800 136508 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139550 136508 1111 63 0 139487 0
vsize: 558200
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 140115 0 0 0 45761 241 0 0 25 0 1 0 774711568 586223616 140093 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143121 140093 1111 63 0 143058 0
vsize: 572484
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 143737 0 0 0 46753 248 0 0 25 0 1 0 774711568 601010176 143715 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146731 143715 1111 63 0 146668 0
vsize: 586924
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 147402 0 0 0 47745 255 0 0 25 0 1 0 774711568 616087552 147380 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150412 147380 1111 63 0 150349 0
vsize: 601648
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 151090 0 0 0 48737 261 0 0 25 0 1 0 774711568 631169024 151068 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154094 151068 1111 63 0 154031 0
vsize: 616376
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 154827 0 0 0 49730 267 0 0 25 0 1 0 774711568 646393856 154805 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 157811 154805 1111 63 0 157748 0
vsize: 631244
[startup+510.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 158602 0 0 0 50722 273 0 0 25 0 1 0 774711568 661921792 158580 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161602 158580 1111 63 0 161539 0
vsize: 646408
[startup+520.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 162418 0 0 0 51713 282 0 0 25 0 1 0 774711568 677601280 162396 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165430 162396 1111 63 0 165367 0
vsize: 661720
[startup+530.044 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8875
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 166283 0 0 0 52704 289 0 0 25 0 1 0 774711568 693424128 166261 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169293 166261 1111 63 0 169230 0
vsize: 677172
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 170190 0 0 0 53696 296 0 0 25 0 1 0 774711568 709402624 170168 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173194 170168 1111 63 0 173131 0
vsize: 692776
[startup+550.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 174189 0 0 0 54688 303 0 0 25 0 1 0 774711568 725676032 174167 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 177167 174167 1111 63 0 177104 0
vsize: 708668
[startup+560.047 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 178292 0 0 0 55680 309 0 0 25 0 1 0 774711568 742547456 178270 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181286 178270 1111 63 0 181223 0
vsize: 725144
[startup+570.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 182466 0 0 0 56670 317 0 0 25 0 1 0 774711568 759570432 182444 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185442 182444 1111 63 0 185379 0
vsize: 741768
[startup+580.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 186247 0 0 0 57663 323 0 0 25 0 1 0 774711568 775098368 186225 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189233 186225 1111 63 0 189170 0
vsize: 756932
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 190061 0 0 0 58654 330 0 0 25 0 1 0 774711568 790769664 190039 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 193059 190039 1111 63 0 192996 0
vsize: 772236
[startup+600.049 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 193974 0 0 0 59647 336 0 0 25 0 1 0 774711568 806748160 193952 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 196960 193952 1111 63 0 196897 0
vsize: 787840
[startup+610.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 198042 0 0 0 60638 343 0 0 25 0 1 0 774711568 823685120 198020 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 201095 198020 1111 63 0 201032 0
vsize: 804380
[startup+620.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 202206 0 0 0 61628 352 0 0 25 0 1 0 774711568 840704000 202120 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 205250 202120 1111 63 0 205187 0
vsize: 821000
[startup+630.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 206453 0 0 0 62617 361 0 0 25 0 1 0 774711568 858173440 205983 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209515 205983 1111 63 0 209452 0
vsize: 838060
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 210876 0 0 0 63607 369 0 0 25 0 1 0 774711568 876236800 210086 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213925 210086 1111 63 0 213862 0
vsize: 855700
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 215369 0 0 0 64595 378 0 0 25 0 1 0 774711568 894607360 214195 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218410 214195 1111 63 0 218347 0
vsize: 873640
[startup+660.051 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 219945 0 0 0 65582 390 0 0 25 0 1 0 774711568 913416192 218356 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 223002 218356 1111 63 0 222939 0
vsize: 892008
[startup+670.057 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 224581 0 0 0 66569 402 0 0 25 0 1 0 774711568 932380672 222639 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227632 222639 1111 63 0 227569 0
vsize: 910528
[startup+676.341 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 8877
Raw data (stat): 8820 (bsolo_mis) R 8819 3944 3943 0 -1 0 224581 0 0 0 66569 402 0 0 25 0 1 0 774711568 932380672 222639 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227632 222639 1111 63 0 227569 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 676.341
CPU time (s): 675.977
CPU user time (s): 671.448
CPU system time (s): 4.52931
CPU usage (%): 99.9462
Max. virtual memory (Kb): 910528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####