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-pp08a.opb
MD5SUM	962e64054cef66ff1ace4918a032c24a
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1983976
Optimality of the best value was proved	NO
Number of terms in the objective function	2304
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	178464600
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	178464600
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.01
Number of variables	3584
Total number of constraints	200
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	64
Number of constraints which are nor clauses,nor cardinality constraints	136
Minimum length of a constraint	1
Maximum length of a constraint	160

Trace number 27199

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        759608 kB
Buffers:         35684 kB
Cached:         217700 kB
SwapCached:        664 kB
Active:          73640 kB
Inactive:       182244 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        759356 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13536 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 20:19:50 (client local time) WITH STATUS 0 IN 382.893 SECONDS
stats: 17917 7 382.893 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3584 variables and 200 constraints.
c After prepocess the problem consists of 3288 variables and 200 constraints.
c preprocess terminated 1.315 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.92 0.97 0.91 2/54 9356
Raw data (stat): 9356 (runsolver) R 9355 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833031830 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 4364 0 0 0 986 13 0 0 25 0 1 0 833031830 21614592 4332 4294967295 134512640 134714540 3221224592 3221223152 134540030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4332 1111 63 0 5214 0
vsize: 21108
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 11924 0 0 0 1966 32 0 0 25 0 1 0 833031830 53395456 11850 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13036 11850 1111 63 0 12973 0
vsize: 52144
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 18644 0 0 0 2949 50 0 0 25 0 1 0 833031830 82079744 18441 4294967295 134512640 134714540 3221224592 3221223316 134556757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20039 18441 1111 63 0 19976 0
vsize: 80156
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 24656 0 0 0 3934 65 0 0 25 0 1 0 833031830 105988096 24443 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25876 24443 1111 63 0 25813 0
vsize: 103504
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 31580 0 0 0 4917 82 0 0 25 0 1 0 833031830 136912896 31079 4294967295 134512640 134714540 3221224592 3221223420 134625043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33426 31079 1111 63 0 33363 0
vsize: 133704
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 37422 0 0 0 5901 98 0 0 25 0 1 0 833031830 160559104 36885 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39199 36885 1111 63 0 39136 0
vsize: 156796
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 43268 0 0 0 6888 111 0 0 25 0 1 0 833031830 183930880 42731 4294967295 134512640 134714540 3221224592 3221223312 134556637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44905 42731 1111 63 0 44842 0
vsize: 179620
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 48933 0 0 0 7872 128 0 0 25 0 1 0 833031830 206462976 48383 4294967295 134512640 134714540 3221224592 3221223212 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50406 48383 1111 63 0 50343 0
vsize: 201624
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 53644 0 0 0 8860 140 0 0 25 0 1 0 833031830 225116160 53094 4294967295 134512640 134714540 3221224592 3221223312 134556763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54960 53094 1111 63 0 54897 0
vsize: 219840
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 63170 0 0 0 9841 159 0 0 25 0 1 0 833031830 264654848 59955 4294967295 134512640 134714540 3221224592 3221223268 134553176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64613 59955 1111 63 0 64550 0
vsize: 258452
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 68799 0 0 0 10827 173 0 0 25 0 1 0 833031830 286744576 65502 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70006 65502 1111 63 0 69943 0
vsize: 280024
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 74494 0 0 0 11812 188 0 0 25 0 1 0 833031830 309104640 71115 4294967295 134512640 134714540 3221224592 3221223304 134553169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75465 71115 1111 63 0 75402 0
vsize: 301860
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 79718 0 0 0 12798 202 0 0 25 0 1 0 833031830 329785344 76339 4294967295 134512640 134714540 3221224592 3221223332 134556729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80514 76339 1111 63 0 80451 0
vsize: 322056
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 86069 0 0 0 13782 218 0 0 25 0 1 0 833031830 353861632 82371 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86392 82371 1111 63 0 86329 0
vsize: 345568
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 91553 0 0 0 14767 234 0 0 25 0 1 0 833031830 375492608 87855 4294967295 134512640 134714540 3221224592 3221223280 134556770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91673 87855 1111 63 0 91610 0
vsize: 366692
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 97194 0 0 0 15756 245 0 0 25 0 1 0 833031830 397660160 93496 4294967295 134512640 134714540 3221224592 3221223244 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97085 93496 1111 63 0 97022 0
vsize: 388340
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 100853 0 0 0 16746 255 0 0 25 0 1 0 833031830 411987968 97155 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100583 97155 1111 63 0 100520 0
vsize: 402332
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 106317 0 0 0 17732 269 0 0 25 0 1 0 833031830 433479680 102619 4294967295 134512640 134714540 3221224592 3221223312 134556637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105830 102619 1111 63 0 105767 0
vsize: 423320
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 120696 0 0 0 18705 297 0 0 25 0 1 0 833031830 487723008 109789 4294967295 134512640 134714540 3221224592 3221223328 134556392 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119073 109789 1111 63 0 119010 0
vsize: 476292
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 126613 0 0 0 19689 313 0 0 25 0 1 0 833031830 510525440 115382 4294967295 134512640 134714540 3221224592 3221223328 134535826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124640 115382 1111 63 0 124577 0
vsize: 498560
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 132220 0 0 0 20676 326 0 0 25 0 1 0 833031830 532402176 120827 4294967295 134512640 134714540 3221224592 3221223216 134539516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129981 120827 1111 63 0 129918 0
vsize: 519924
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 137506 0 0 0 21662 340 0 0 25 0 1 0 833031830 553082880 126113 4294967295 134512640 134714540 3221224592 3221223388 134625042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135030 126113 1111 63 0 134967 0
vsize: 540120
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 143191 0 0 0 22648 354 0 0 25 0 1 0 833031830 575094784 131636 4294967295 134512640 134714540 3221224592 3221223296 134556899 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140404 131636 1111 63 0 140341 0
vsize: 561616
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 147862 0 0 0 23638 364 0 0 25 0 1 0 833031830 593342464 136307 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144859 136307 1111 63 0 144796 0
vsize: 579436
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 153389 0 0 0 24623 380 0 0 25 0 1 0 833031830 614969344 141834 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150139 141834 1111 63 0 150076 0
vsize: 600556
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 158806 0 0 0 25609 394 0 0 25 0 1 0 833031830 636190720 147251 4294967295 134512640 134714540 3221224592 3221223328 134556527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155320 147251 1111 63 0 155257 0
vsize: 621280
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 165557 0 0 0 26593 410 0 0 25 0 1 0 833031830 660357120 153437 4294967295 134512640 134714540 3221224592 3221223320 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161220 153437 1111 63 0 161157 0
vsize: 644880
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 170672 0 0 0 27581 422 0 0 25 0 1 0 833031830 680497152 158552 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166137 158552 1111 63 0 166074 0
vsize: 664548
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 176272 0 0 0 28565 438 0 0 25 0 1 0 833031830 702160896 163908 4294967295 134512640 134714540 3221224592 3221223336 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171426 163908 1111 63 0 171363 0
vsize: 685704
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 181733 0 0 0 29552 452 0 0 25 0 1 0 833031830 723382272 169369 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176607 169369 1111 63 0 176544 0
vsize: 706428
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 186066 0 0 0 30539 464 0 0 25 0 1 0 833031830 740413440 173702 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180765 173702 1111 63 0 180702 0
vsize: 723060
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 189111 0 0 0 31532 472 0 0 25 0 1 0 833031830 752173056 176747 4294967295 134512640 134714540 3221224592 3221223312 134556671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183636 176747 1111 63 0 183573 0
vsize: 734544
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 194437 0 0 0 32516 488 0 0 25 0 1 0 833031830 772853760 182073 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 188685 182073 1111 63 0 188622 0
vsize: 754740
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 199704 0 0 0 33503 501 0 0 25 0 1 0 833031830 793538560 187340 4294967295 134512640 134714540 3221224592 3221223308 134558560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193735 187340 1111 63 0 193672 0
vsize: 774940
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 205026 0 0 0 34488 516 0 0 25 0 1 0 833031830 814354432 192662 4294967295 134512640 134714540 3221224592 3221223392 134610920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 198817 192662 1111 63 0 198754 0
vsize: 795268
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 210042 0 0 0 35473 531 0 0 25 0 1 0 833031830 833953792 197678 4294967295 134512640 134714540 3221224592 3221223152 134540498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203602 197678 1111 63 0 203539 0
vsize: 814408
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 215530 0 0 0 36457 547 0 0 25 0 1 0 833031830 855310336 203140 4294967295 134512640 134714540 3221224592 3221223304 134558629 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208816 203140 1111 63 0 208753 0
vsize: 835264
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 220744 0 5 0 37440 563 0 0 25 0 1 0 833031830 875720704 208242 4294967295 134512640 134714540 3221224592 3221223308 134558630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213799 208242 1111 63 0 213736 0
vsize: 855196
[startup+383.192 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9356
Raw data (stat): 9356 (bsolo_mis) R 9355 5562 5561 0 -1 0 220744 0 5 0 37440 563 0 0 25 0 1 0 833031830 875720704 208242 4294967295 134512640 134714540 3221224592 3221223308 134558630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213799 208242 1111 63 0 213736 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 383.191
CPU time (s): 382.893
CPU user time (s): 376.493
CPU system time (s): 6.40003
CPU usage (%): 99.9221
Max. virtual memory (Kb): 855196
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####