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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08s.opb
MD5SUM	686a91b29b124fe4cc498973c082aa6a
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	47740
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	109780207303800
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	109780207303800
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	47740
Total number of constraints	712
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	712
Minimum length of a constraint	20
Maximum length of a constraint	1220

Trace number 25955

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 15:21:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16435 boxname=wulflinc31 idbench=1265 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  686a91b29b124fe4cc498973c082aa6a  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
IDLAUNCH: 16435
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        831020 kB
Buffers:         23368 kB
Cached:         156772 kB
SwapCached:        944 kB
Active:         124664 kB
Inactive:        57604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        830768 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15636 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 15:31:34 (client local time) WITH STATUS 0 IN 583.785 SECONDS
stats: 16435 7 583.785 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH070269_bit_7 +156250*SH070269_bit_6 +312500*SH070269_bit_5 +625000*SH070269_bit_4 +1250000*SH070269_bit_3 +2500000*SH070269_bit_2 +5000000*SH070269_bit_1 +10000000*SH070269_bit0 +20000000*SH070269_bit1 +40000000*SH070269_bit2 +80000000*SH070269_bit3 +160000000*SH070269_bit4 +320000000*SH070269_bit5 +640000000*SH070269_bit6 +1280000000*SH070269_bit7 +2560000000*SH070269_bit8 +5120000000*SH070269_bit9 +10240000000*SH070269_bit10 +20480000000*SH070269_bit11 +40960000000*SH070269_bit12 = +104757;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship08s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 583.7 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.80 0.94 0.90 2/55 9659
Raw data (stat): 9659 (runsolver) R 9658 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822619358 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.83 0.94 0.90 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 922 0 0 0 992 4 0 0 25 0 1 0 822619358 16330752 899 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3987 899 1111 63 0 3924 0
vsize: 15948
[startup+20.0017 s]
Raw data (loadavg): 0.85 0.94 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 1291 0 0 0 1992 5 0 0 25 0 1 0 822619358 17883136 1268 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4366 1268 1111 63 0 4303 0
vsize: 17464
[startup+30.0029 s]
Raw data (loadavg): 0.88 0.94 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 1682 0 0 0 2991 6 0 0 25 0 1 0 822619358 19447808 1659 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4748 1659 1111 63 0 4685 0
vsize: 18992
[startup+40.0024 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 2075 0 0 0 3989 8 0 0 25 0 1 0 822619358 21139456 2052 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5161 2052 1111 63 0 5098 0
vsize: 20644
[startup+50.0034 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 2468 0 0 0 4989 8 0 0 25 0 1 0 822619358 22691840 2445 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5540 2445 1111 63 0 5477 0
vsize: 22160
[startup+60.0037 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 2861 0 0 0 5988 9 0 0 25 0 1 0 822619358 24244224 2838 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 2838 1111 63 0 5856 0
vsize: 23676
[startup+70.0043 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 3262 0 0 0 6988 10 0 0 25 0 1 0 822619358 25939968 3239 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6333 3239 1111 63 0 6270 0
vsize: 25332
[startup+80.0057 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 3668 0 0 0 7987 10 0 0 25 0 1 0 822619358 27656192 3645 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6752 3645 1111 63 0 6689 0
vsize: 27008
[startup+90.0056 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 4084 0 0 0 8987 11 0 0 25 0 1 0 822619358 29347840 4061 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7165 4061 1111 63 0 7102 0
vsize: 28660
[startup+100.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 4498 0 0 0 9987 11 0 0 25 0 1 0 822619358 31043584 4475 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7579 4475 1111 63 0 7516 0
vsize: 30316
[startup+110.006 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 4905 0 0 0 10986 12 0 0 25 0 1 0 822619358 32735232 4882 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7992 4882 1111 63 0 7929 0
vsize: 31968
[startup+120.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 5327 0 0 0 11986 12 0 0 25 0 1 0 822619358 34435072 5304 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8407 5304 1111 63 0 8344 0
vsize: 33628
[startup+130.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 5748 0 0 0 12985 13 0 0 25 0 1 0 822619358 36126720 5725 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8820 5725 1111 63 0 8757 0
vsize: 35280
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 6188 0 0 0 13985 14 0 0 25 0 1 0 822619358 38002688 6165 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9278 6165 1111 63 0 9215 0
vsize: 37112
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 6615 0 0 0 14984 15 0 0 25 0 1 0 822619358 39694336 6592 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9691 6592 1111 63 0 9628 0
vsize: 38764
[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 7058 0 0 0 15983 16 0 0 25 0 1 0 822619358 41533440 7035 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10140 7035 1111 63 0 10077 0
vsize: 40560
[startup+170.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 7500 0 0 0 16982 17 0 0 25 0 1 0 822619358 43364352 7477 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10587 7477 1111 63 0 10524 0
vsize: 42348
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 7949 0 0 0 17981 18 0 0 25 0 1 0 822619358 45207552 7926 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11037 7926 1111 63 0 10974 0
vsize: 44148
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 8398 0 0 0 18981 19 0 0 25 0 1 0 822619358 47038464 8375 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11484 8375 1111 63 0 11421 0
vsize: 45936
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 8848 0 0 0 19980 20 0 0 25 0 1 0 822619358 48877568 8825 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11933 8825 1111 63 0 11870 0
vsize: 47732
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 9317 0 0 0 20979 21 0 0 25 0 1 0 822619358 50708480 9294 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12380 9294 1111 63 0 12317 0
vsize: 49520
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 9795 0 0 0 21978 22 0 0 25 0 1 0 822619358 52686848 9772 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12863 9772 1111 63 0 12800 0
vsize: 51452
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 10280 0 0 0 22978 23 0 0 25 0 1 0 822619358 54661120 10257 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13345 10257 1111 63 0 13282 0
vsize: 53380
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 10776 0 0 0 23977 24 0 0 25 0 1 0 822619358 56778752 10753 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13862 10753 1111 63 0 13799 0
vsize: 55448
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 11280 0 0 0 24976 25 0 0 25 0 1 0 822619358 58761216 11257 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14346 11257 1111 63 0 14283 0
vsize: 57384
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 11802 0 0 0 25975 26 0 0 25 0 1 0 822619358 60985344 11779 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14889 11779 1111 63 0 14826 0
vsize: 59556
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 12319 0 0 0 26974 27 0 0 25 0 1 0 822619358 63098880 12296 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15405 12296 1111 63 0 15342 0
vsize: 61620
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 12832 0 0 0 27974 28 0 0 25 0 1 0 822619358 65220608 12809 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15923 12809 1111 63 0 15860 0
vsize: 63692
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 13372 0 0 0 28972 29 0 0 25 0 1 0 822619358 67481600 13349 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16475 13349 1111 63 0 16412 0
vsize: 65900
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 13924 0 0 0 29972 30 0 0 25 0 1 0 822619358 69738496 13901 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17026 13901 1111 63 0 16963 0
vsize: 68104
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 14478 0 0 0 30971 31 0 0 25 0 1 0 822619358 71999488 14455 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17578 14455 1111 63 0 17515 0
vsize: 70312
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 15045 0 0 0 31970 32 0 0 25 0 1 0 822619358 74260480 15022 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18130 15022 1111 63 0 18067 0
vsize: 72520
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 15626 0 0 0 32969 33 0 0 25 0 1 0 822619358 76660736 15603 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18716 15603 1111 63 0 18653 0
vsize: 74864
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 16214 0 0 0 33967 35 0 0 25 0 1 0 822619358 79060992 16191 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19302 16191 1111 63 0 19239 0
vsize: 77208
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 16794 0 0 0 34965 37 0 0 25 0 1 0 822619358 81453056 16771 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19886 16771 1111 63 0 19823 0
vsize: 79544
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 17396 0 0 0 35964 38 0 0 25 0 1 0 822619358 83853312 17373 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20472 17373 1111 63 0 20409 0
vsize: 81888
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 18005 0 0 0 36963 39 0 0 25 0 1 0 822619358 86401024 17982 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21094 17982 1111 63 0 21031 0
vsize: 84376
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 18627 0 0 0 37962 40 0 0 25 0 1 0 822619358 88944640 18604 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21715 18604 1111 63 0 21652 0
vsize: 86860
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 19276 0 0 0 38960 42 0 0 25 0 1 0 822619358 91623424 19253 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22369 19253 1111 63 0 22306 0
vsize: 89476
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 19939 0 0 0 39960 43 0 0 25 0 1 0 822619358 94306304 19916 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23024 19916 1111 63 0 22961 0
vsize: 92096
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 20610 0 0 0 40959 44 0 0 25 0 1 0 822619358 96985088 20587 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23678 20587 1111 63 0 23615 0
vsize: 94712
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 21302 0 0 0 41957 46 0 0 25 0 1 0 822619358 99815424 21279 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24369 21279 1111 63 0 24306 0
vsize: 97476
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 22007 0 0 0 42956 47 0 0 25 0 1 0 822619358 102776832 21984 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25092 21984 1111 63 0 25029 0
vsize: 100368
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 22731 0 0 0 43954 49 0 0 25 0 1 0 822619358 105746432 22708 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25817 22708 1111 63 0 25754 0
vsize: 103268
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 23498 0 0 0 44953 50 0 0 25 0 1 0 822619358 109096960 23475 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26635 23475 1111 63 0 26572 0
vsize: 106540
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 24251 0 0 0 45952 52 0 0 25 0 1 0 822619358 112205824 24228 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27394 24228 1111 63 0 27331 0
vsize: 109576
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 25004 0 0 0 46950 54 0 0 25 0 1 0 822619358 115167232 24981 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28117 24981 1111 63 0 28054 0
vsize: 112468
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 25779 0 0 0 47949 55 0 0 25 0 1 0 822619358 118419456 25756 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28911 25756 1111 63 0 28848 0
vsize: 115644
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 26567 0 0 0 48948 56 0 0 25 0 1 0 822619358 121667584 26544 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29704 26544 1111 63 0 29641 0
vsize: 118816
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 27361 0 0 0 49947 58 0 0 25 0 1 0 822619358 124911616 27338 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30496 27338 1111 63 0 30433 0
vsize: 121984
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 28184 0 0 0 50946 59 0 0 25 0 1 0 822619358 128159744 28161 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31289 28161 1111 63 0 31226 0
vsize: 125156
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 29030 0 0 0 51945 61 0 0 25 0 1 0 822619358 131690496 29007 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32151 29007 1111 63 0 32088 0
vsize: 128604
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 29906 0 0 0 52943 62 0 0 25 0 1 0 822619358 135221248 29883 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33013 29883 1111 63 0 32950 0
vsize: 132052
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 30797 0 0 0 53942 64 0 0 25 0 1 0 822619358 138891264 30774 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33909 30774 1111 63 0 33846 0
vsize: 135636
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 31709 0 0 0 54940 66 0 0 25 0 1 0 822619358 142561280 31686 4294967295 134512640 134714540 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34805 31686 1111 63 0 34742 0
vsize: 139220
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 32637 0 0 0 55939 67 0 0 25 0 1 0 822619358 146374656 32614 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35736 32614 1111 63 0 35673 0
vsize: 142944
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 33631 0 0 0 56938 68 0 0 25 0 1 0 822619358 150466560 33608 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36735 33608 1111 63 0 36672 0
vsize: 146940
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 35451 0 0 0 57932 74 0 0 25 0 1 0 822619358 157884416 35428 4294967295 134512640 134714540 3221221776 3221218244 1077359217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38546 35428 1111 63 0 38483 0
vsize: 154184
[startup+583.753 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9659
Raw data (stat): 9659 (bsolo_mis) R 9658 7876 7672 0 -1 0 35451 0 0 0 57932 74 0 0 25 0 1 0 822619358 157884416 35428 4294967295 134512640 134714540 3221221776 3221218244 1077359217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38546 35428 1111 63 0 38483 0
vsize: 0

Child status: 0
Real time (s): 583.753
CPU time (s): 583.785
CPU user time (s): 582.963
CPU system time (s): 0.821875
CPU usage (%): 100.006
Max. virtual memory (Kb): 154184
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####