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-t1717.opb
MD5SUM	bc46e72682d969c09e6f4028df473a45
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	201342
Optimality of the best value was proved	NO
Number of terms in the objective function	73885
Biggest coefficient in the objective function	4066
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	172074995
Number of bits of the sum of numbers in the objective function	28
Biggest number in a constraint	4066
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	172074995
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.18
Number of variables	73885
Total number of constraints	74436
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	74436
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	612
Trace number 26466

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-24 15:49:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13068 boxname=wulflinc29 idbench=1006 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bc46e72682d969c09e6f4028df473a45  /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-t1717.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-t1717.opb
IDLAUNCH: 13068
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        742064 kB
Buffers:         33552 kB
Cached:         236728 kB
SwapCached:        768 kB
Active:         162324 kB
Inactive:       110508 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        741812 kB
SwapTotal:     2097892 kB
SwapFree:      2096732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14020 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:01:46 (client local time) WITH STATUS 0 IN 728.335 SECONDS
stats: 13068 7 728.335 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.87 0.94 0.97 2/54 21123
Raw data (stat): 21123 (runsolver) R 21122 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831442215 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.0015 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 3558 0 0 0 992 7 0 0 25 0 1 0 831442215 27009024 3536 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6594 3536 1111 63 0 6531 0
vsize: 26376
[startup+20.0018 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 6521 0 0 0 1986 13 0 0 25 0 1 0 831442215 39100416 6499 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9546 6499 1111 63 0 9483 0
vsize: 38184
[startup+30.0019 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 9501 0 0 0 2981 18 0 0 25 0 1 0 831442215 51331072 9479 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12532 9479 1111 63 0 12469 0
vsize: 50128
[startup+40.0037 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 12484 0 0 0 3976 23 0 0 25 0 1 0 831442215 63574016 12462 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15521 12462 1111 63 0 15458 0
vsize: 62084
[startup+50.0041 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 15473 0 0 0 4970 30 0 0 25 0 1 0 831442215 75816960 15451 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18510 15451 1111 63 0 18447 0
vsize: 74040
[startup+60.0053 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 18462 0 0 0 5965 35 0 0 25 0 1 0 831442215 88059904 18440 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21499 18440 1111 63 0 21436 0
vsize: 85996
[startup+70.006 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 21451 0 0 0 6959 41 0 0 25 0 1 0 831442215 100302848 21429 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24488 21429 1111 63 0 24425 0
vsize: 97952
[startup+80.0056 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 24447 0 0 0 7954 47 0 0 25 0 1 0 831442215 112545792 24425 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27477 24425 1111 63 0 27414 0
vsize: 109908
[startup+90.0056 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 27438 0 0 0 8949 51 0 0 25 0 1 0 831442215 124788736 27416 4294967295 134512640 134714540 3221224592 3221222712 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30466 27421 1111 63 0 30403 0
vsize: 121864
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 30425 0 0 0 9943 57 0 0 25 0 1 0 831442215 137027584 30403 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33454 30403 1111 63 0 33391 0
vsize: 133816
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 33421 0 0 0 10937 64 0 0 25 0 1 0 831442215 149270528 33399 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36443 33399 1111 63 0 36380 0
vsize: 145772
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 36424 0 0 0 11932 69 0 0 25 0 1 0 831442215 161665024 36402 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39469 36402 1111 63 0 39406 0
vsize: 157876
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 39432 0 0 0 12927 75 0 0 25 0 1 0 831442215 173907968 39410 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42458 39410 1111 63 0 42395 0
vsize: 169832
[startup+140.007 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 42447 0 0 0 13921 80 0 0 25 0 1 0 831442215 186298368 42425 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45483 42425 1111 63 0 45420 0
vsize: 181932
[startup+150.007 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 45460 0 0 0 14916 86 0 0 25 0 1 0 831442215 198692864 45438 4294967295 134512640 134714540 3221224592 3221221420 1077253766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48509 45438 1111 63 0 48446 0
vsize: 194036
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 48467 0 0 0 15911 91 0 0 25 0 1 0 831442215 210935808 48445 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51498 48445 1111 63 0 51435 0
vsize: 205992
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 51480 0 0 0 16906 96 0 0 25 0 1 0 831442215 223350784 51458 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54529 51458 1111 63 0 54466 0
vsize: 218116
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 54494 0 0 0 17902 100 0 0 25 0 1 0 831442215 235745280 54472 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57555 54472 1111 63 0 57492 0
vsize: 230220
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 57491 0 0 0 18897 105 0 0 25 0 1 0 831442215 247988224 57469 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60544 57469 1111 63 0 60481 0
vsize: 242176
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 60491 0 0 0 19891 111 0 0 25 0 1 0 831442215 260222976 60469 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63531 60469 1111 63 0 63468 0
vsize: 254124
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 63512 0 0 0 20886 117 0 0 25 0 1 0 831442215 272617472 63490 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66557 63490 1111 63 0 66494 0
vsize: 266228
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 66519 0 0 0 21883 120 0 0 25 0 1 0 831442215 284860416 66497 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69546 66497 1111 63 0 69483 0
vsize: 278184
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 69558 0 0 0 22879 125 0 0 25 0 1 0 831442215 297402368 69536 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72608 69536 1111 63 0 72545 0
vsize: 290432
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 72554 0 0 0 23874 129 0 0 25 0 1 0 831442215 309645312 72532 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75597 72532 1111 63 0 75534 0
vsize: 302388
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 75599 0 0 0 24869 134 0 0 25 0 1 0 831442215 322039808 75577 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78623 75577 1111 63 0 78560 0
vsize: 314492
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 78620 0 0 0 25863 141 0 0 25 0 1 0 831442215 334430208 78598 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81648 78598 1111 63 0 81585 0
vsize: 326592
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 81652 0 0 0 26858 146 0 0 25 0 1 0 831442215 346824704 81630 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84674 81630 1111 63 0 84611 0
vsize: 338696
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 84673 0 0 0 27854 150 0 0 25 0 1 0 831442215 359219200 84651 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87700 84651 1111 63 0 87637 0
vsize: 350800
[startup+290.126 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 87736 0 0 0 28861 155 0 0 25 0 1 0 831442215 371761152 87714 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90762 87714 1111 63 0 90699 0
vsize: 363048
[startup+300.126 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 90781 0 0 0 29856 160 0 0 25 0 1 0 831442215 384303104 90759 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93824 90759 1111 63 0 93761 0
vsize: 375296
[startup+310.127 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 93800 0 0 0 30853 164 0 0 25 0 1 0 831442215 396693504 93778 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96849 93778 1111 63 0 96786 0
vsize: 387396
[startup+320.128 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 96861 0 0 0 31847 169 0 0 25 0 1 0 831442215 409231360 96839 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99910 96839 1111 63 0 99847 0
vsize: 399640
[startup+330.127 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 99905 0 0 0 32844 173 0 0 25 0 1 0 831442215 421691392 99883 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102952 99883 1111 63 0 102889 0
vsize: 411808
[startup+340.134 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 102968 0 0 0 33839 179 0 0 25 0 1 0 831442215 434233344 102946 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106014 102946 1111 63 0 105951 0
vsize: 424056
[startup+350.143 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 106007 0 0 0 34835 184 0 0 25 0 1 0 831442215 446775296 105985 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109076 105985 1111 63 0 109013 0
vsize: 436304
[startup+360.147 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 109052 0 0 0 35830 189 0 0 25 0 1 0 831442215 459165696 109030 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112101 109034 1111 63 0 112038 0
vsize: 448404
[startup+370.152 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 112108 0 0 0 36825 194 0 0 25 0 1 0 831442215 471707648 112086 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115163 112086 1111 63 0 115100 0
vsize: 460652
[startup+380.152 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 115153 0 0 0 37821 199 0 0 25 0 1 0 831442215 484249600 115131 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118225 115131 1111 63 0 118162 0
vsize: 472900
[startup+390.17 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 118240 0 0 0 38818 204 0 0 25 0 1 0 831442215 496791552 118218 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121287 118218 1111 63 0 121224 0
vsize: 485148
[startup+400.186 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 121316 0 0 0 39815 209 0 0 25 0 1 0 831442215 509485056 121294 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124386 121294 1111 63 0 124323 0
vsize: 497544
[startup+410.189 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 124379 0 0 0 40810 215 0 0 25 0 1 0 831442215 522022912 124357 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127447 124357 1111 63 0 127384 0
vsize: 509788
[startup+420.194 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 127429 0 0 0 41805 220 0 0 25 0 1 0 831442215 534417408 127407 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130473 127407 1111 63 0 130410 0
vsize: 521892
[startup+430.198 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 130486 0 0 0 42800 225 0 0 25 0 1 0 831442215 546959360 130464 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133535 130464 1111 63 0 133472 0
vsize: 534140
[startup+440.199 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 133574 0 0 0 43796 230 0 0 25 0 1 0 831442215 559648768 133552 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136633 133552 1111 63 0 136570 0
vsize: 546532
[startup+450.199 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 136624 0 0 0 44791 235 0 0 25 0 1 0 831442215 572043264 136602 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139659 136602 1111 63 0 139596 0
vsize: 558636
[startup+460.2 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 139681 0 0 0 45786 240 0 0 25 0 1 0 831442215 584585216 139659 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142721 139659 1111 63 0 142658 0
vsize: 570884
[startup+470.2 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 142738 0 0 0 46781 245 0 0 25 0 1 0 831442215 597127168 142716 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145783 142716 1111 63 0 145720 0
vsize: 583132
[startup+480.199 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 145831 0 0 0 47775 251 0 0 25 0 1 0 831442215 609816576 145809 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148881 145809 1111 63 0 148818 0
vsize: 595524
[startup+490.2 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 148949 0 0 0 48770 256 0 0 25 0 1 0 831442215 622510080 148927 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151980 148927 1111 63 0 151917 0
vsize: 607920
[startup+500.201 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 151988 0 0 0 49765 262 0 0 25 0 1 0 831442215 635052032 151966 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155042 151966 1111 63 0 154979 0
vsize: 620168
[startup+510.202 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 155105 0 0 0 50760 267 0 0 25 0 1 0 831442215 647741440 155083 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 158140 155083 1111 63 0 158077 0
vsize: 632560
[startup+520.202 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 158179 0 0 0 51756 272 0 0 25 0 1 0 831442215 660430848 158157 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161238 158157 1111 63 0 161175 0
vsize: 644952
[startup+530.201 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 161274 0 0 0 52750 277 0 0 25 0 1 0 831442215 672972800 161252 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164300 161252 1111 63 0 164237 0
vsize: 657200
[startup+540.211 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 164402 0 0 0 53746 283 0 0 25 0 1 0 831442215 685813760 164380 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167435 164380 1111 63 0 167372 0
vsize: 669740
[startup+550.211 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 167545 0 0 0 54742 286 0 0 25 0 1 0 831442215 698654720 167523 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170570 167523 1111 63 0 170507 0
vsize: 682280
[startup+560.212 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 170711 0 0 0 55739 291 0 0 25 0 1 0 831442215 711643136 170689 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173741 170689 1111 63 0 173678 0
vsize: 694964
[startup+570.212 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 173859 0 0 0 56733 296 0 0 25 0 1 0 831442215 724631552 173837 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176912 173837 1111 63 0 176849 0
vsize: 707648
[startup+580.212 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 177026 0 0 0 57727 303 0 0 25 0 1 0 831442215 737472512 177004 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180047 177004 1111 63 0 179984 0
vsize: 720188
[startup+590.216 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 180167 0 0 0 58721 309 0 0 25 0 1 0 831442215 750460928 180145 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183218 180145 1111 63 0 183155 0
vsize: 732872
[startup+600.216 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 183353 0 0 0 59716 314 0 0 25 0 1 0 831442215 763449344 183331 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186389 183331 1111 63 0 186326 0
vsize: 745556
[startup+610.32 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 186566 0 0 0 60718 321 0 0 25 0 1 0 831442215 776589312 186430 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189597 186430 1111 63 0 189534 0
vsize: 758388
[startup+620.333 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 21123
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 189774 0 2 0 61709 326 0 0 25 0 1 0 831442215 789729280 189212 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192805 189212 1111 63 0 192742 0
vsize: 771220
[startup+630.334 s]
Raw data (loadavg): 1.07 0.99 0.98 2/57 21158
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 193109 0 2 0 62700 334 0 0 25 0 1 0 831442215 803463168 192131 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196158 192131 1111 63 0 196095 0
vsize: 784632
[startup+640.336 s]
Raw data (loadavg): 1.22 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 196534 0 2 0 63694 339 0 0 25 0 1 0 831442215 817713152 195204 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 199637 195204 1111 63 0 199574 0
vsize: 798548
[startup+650.337 s]
Raw data (loadavg): 1.18 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 199869 0 2 0 64686 345 0 0 25 0 1 0 831442215 831299584 198251 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 202954 198251 1111 63 0 202891 0
vsize: 811816
[startup+660.338 s]
Raw data (loadavg): 1.15 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 203218 0 2 0 65677 351 0 0 25 0 1 0 831442215 845033472 201295 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 206307 201295 1111 63 0 206244 0
vsize: 825228
[startup+670.338 s]
Raw data (loadavg): 1.13 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 206632 0 2 0 66668 358 0 0 25 0 1 0 831442215 859066368 204404 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 209733 204404 1111 63 0 209670 0
vsize: 838932
[startup+680.338 s]
Raw data (loadavg): 1.11 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 210206 0 3 0 67658 366 0 0 25 0 1 0 831442215 873701376 207644 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 213306 207644 1111 63 0 213243 0
vsize: 853224
[startup+690.339 s]
Raw data (loadavg): 1.09 1.02 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 213792 0 3 0 68649 374 0 0 25 0 1 0 831442215 888332288 210897 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 216878 210897 1111 63 0 216815 0
vsize: 867512
[startup+700.338 s]
Raw data (loadavg): 1.08 1.01 0.99 2/54 21176
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 217323 0 3 0 69640 382 0 0 25 0 1 0 831442215 902819840 214094 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 220415 214094 1111 63 0 220352 0
vsize: 881660
[startup+710.339 s]
Raw data (loadavg): 1.06 1.01 0.99 2/54 21178
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 220945 0 3 0 70630 391 0 0 25 0 1 0 831442215 917598208 217091 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 224023 217091 1111 63 0 223960 0
vsize: 896092
[startup+720.339 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 21178
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 224554 0 3 0 71619 401 0 0 25 0 1 0 831442215 932380672 220050 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227632 220050 1111 63 0 227569 0
vsize: 910528
[startup+728.511 s]
Raw data (loadavg): 1.05 1.01 0.99 1/53 21178
Raw data (stat): 21123 (bsolo_mis) R 21122 20001 20000 0 -1 0 224554 0 3 0 71619 401 0 0 25 0 1 0 831442215 932380672 220050 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 227632 220050 1111 63 0 227569 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 728.511
CPU time (s): 728.335
CPU user time (s): 723.827
CPU system time (s): 4.50831
CPU usage (%): 99.9759
Max. virtual memory (Kb): 910528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####