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-ship12s.opb
MD5SUM	c82c0bebea8b0ce184f21387d9520ae2
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	55260
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	200019082827300
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	200019082827300
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.482925
Number of variables	55260
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	980
Trace number 27575

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 22:40:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16461 boxname=wulflinc31 idbench=1267 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c82c0bebea8b0ce184f21387d9520ae2  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
IDLAUNCH: 16461
/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:        844348 kB
Buffers:         25368 kB
Cached:         143736 kB
SwapCached:       1236 kB
Active:          63384 kB
Inactive:       108172 kB
HighTotal:      131008 kB
HighFree:        53508 kB
LowTotal:       903652 kB
LowFree:        790840 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5432 kB
Slab:            13120 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:53:56 (client local time) WITH STATUS 0 IN 799.686 SECONDS
stats: 16461 7 799.686 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c ERROR Parsing file!!!
c ERROR parsing line: +78125*SH010108_bit_7 +156250*SH010108_bit_6 +312500*SH010108_bit_5 +625000*SH010108_bit_4 +1250000*SH010108_bit_3 +2500000*SH010108_bit_2 +5000000*SH010108_bit_1 +10000000*SH010108_bit0 +20000000*SH010108_bit1 +40000000*SH010108_bit2 +80000000*SH010108_bit3 +160000000*SH010108_bit4 +320000000*SH010108_bit5 +640000000*SH010108_bit6 +1280000000*SH010108_bit7 +2560000000*SH010108_bit8 +5120000000*SH010108_bit9 +10240000000*SH010108_bit10 +20480000000*SH010108_bit11 +40960000000*SH010108_bit12 = +237743;
c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ship12s.opb
s UNKNOWN
c Exit Code: 0
c Total time: 799.605 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.90 0.90 2/55 3597
Raw data (stat): 3597 (runsolver) R 3596 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833893194 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.83 0.91 0.90 2/55 3597
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 908 0 0 0 994 3 0 0 25 0 1 0 833893194 16052224 886 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 886 1111 63 0 3856 0
vsize: 15676
[startup+20.0007 s]
Raw data (loadavg): 0.85 0.91 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 1211 0 0 0 1994 4 0 0 25 0 1 0 833893194 17321984 1189 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 1189 1111 63 0 4166 0
vsize: 16916
[startup+30.0013 s]
Raw data (loadavg): 0.88 0.91 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 1538 0 0 0 2993 5 0 0 25 0 1 0 833893194 18743296 1516 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4576 1516 1111 63 0 4513 0
vsize: 18304
[startup+40.0012 s]
Raw data (loadavg): 0.89 0.91 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 1868 0 0 0 3993 5 0 0 25 0 1 0 833893194 20017152 1846 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4887 1846 1111 63 0 4824 0
vsize: 19548
[startup+50.0024 s]
Raw data (loadavg): 0.91 0.92 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 2197 0 0 0 4992 6 0 0 25 0 1 0 833893194 21422080 2175 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5230 2175 1111 63 0 5167 0
vsize: 20920
[startup+60.0021 s]
Raw data (loadavg): 0.92 0.92 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 2535 0 0 0 5992 7 0 0 25 0 1 0 833893194 22831104 2513 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 2513 1111 63 0 5511 0
vsize: 22296
[startup+70.002 s]
Raw data (loadavg): 0.93 0.92 0.90 2/55 3599
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 2866 0 0 0 6991 7 0 0 25 0 1 0 833893194 24104960 2844 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5885 2844 1111 63 0 5822 0
vsize: 23540
[startup+80.0094 s]
Raw data (loadavg): 0.94 0.92 0.90 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 3197 0 0 0 7991 8 0 0 25 0 1 0 833893194 25513984 3175 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6229 3175 1111 63 0 6166 0
vsize: 24916
[startup+90.0089 s]
Raw data (loadavg): 0.95 0.92 0.91 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 3537 0 0 0 8991 8 0 0 25 0 1 0 833893194 26943488 3515 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6578 3515 1111 63 0 6515 0
vsize: 26312
[startup+100.009 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 3881 0 0 0 9990 9 0 0 25 0 1 0 833893194 28360704 3859 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6924 3859 1111 63 0 6861 0
vsize: 27696
[startup+110.009 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 4214 0 0 0 10990 10 0 0 25 0 1 0 833893194 29634560 4192 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7235 4192 1111 63 0 7172 0
vsize: 28940
[startup+120.012 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 4559 0 0 0 11989 11 0 0 25 0 1 0 833893194 31043584 4537 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7579 4537 1111 63 0 7516 0
vsize: 30316
[startup+130.013 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 3601
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 4905 0 0 0 12989 12 0 0 25 0 1 0 833893194 32456704 4883 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7924 4883 1111 63 0 7861 0
vsize: 31696
[startup+140.013 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 5250 0 0 0 13988 12 0 0 25 0 1 0 833893194 33865728 5228 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8268 5228 1111 63 0 8205 0
vsize: 33072
[startup+150.019 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 5609 0 0 0 14988 13 0 0 25 0 1 0 833893194 35422208 5587 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8648 5587 1111 63 0 8585 0
vsize: 34592
[startup+160.019 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 5955 0 0 0 15988 14 0 0 25 0 1 0 833893194 36835328 5933 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8993 5935 1111 63 0 8930 0
vsize: 35972
[startup+170.02 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 6324 0 0 0 16987 15 0 0 25 0 1 0 833893194 38285312 6302 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9347 6302 1111 63 0 9284 0
vsize: 37388
[startup+180.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 6682 0 0 0 17986 16 0 0 25 0 1 0 833893194 39837696 6660 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9726 6660 1111 63 0 9663 0
vsize: 38904
[startup+190.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3603
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 7035 0 0 0 18986 16 0 0 25 0 1 0 833893194 41246720 7013 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10070 7013 1111 63 0 10007 0
vsize: 40280
[startup+200.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 7396 0 0 0 19986 17 0 0 25 0 1 0 833893194 42659840 7374 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10415 7374 1111 63 0 10352 0
vsize: 41660
[startup+210.025 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 7761 0 0 0 20985 18 0 0 25 0 1 0 833893194 44216320 7739 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10795 7739 1111 63 0 10732 0
vsize: 43180
[startup+220.025 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 8127 0 0 0 21985 18 0 0 25 0 1 0 833893194 45768704 8105 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11174 8105 1111 63 0 11111 0
vsize: 44696
[startup+230.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 8500 0 0 0 22984 19 0 0 25 0 1 0 833893194 47177728 8478 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11518 8478 1111 63 0 11455 0
vsize: 46072
[startup+240.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 8875 0 0 0 23984 20 0 0 25 0 1 0 833893194 48730112 8853 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11897 8853 1111 63 0 11834 0
vsize: 47588
[startup+250.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3605
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 9254 0 0 0 24983 21 0 0 25 0 1 0 833893194 50286592 9232 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12277 9232 1111 63 0 12214 0
vsize: 49108
[startup+260.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 9627 0 0 0 25982 22 0 0 25 0 1 0 833893194 51838976 9605 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12656 9605 1111 63 0 12593 0
vsize: 50624
[startup+270.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 10007 0 0 0 26982 22 0 0 25 0 1 0 833893194 53391360 9985 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13035 9985 1111 63 0 12972 0
vsize: 52140
[startup+280.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 10389 0 0 0 27982 23 0 0 25 0 1 0 833893194 54947840 10367 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13415 10367 1111 63 0 13352 0
vsize: 53660
[startup+290.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 10775 0 0 0 28981 23 0 0 25 0 1 0 833893194 56500224 10753 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 10753 1111 63 0 13731 0
vsize: 55176
[startup+300.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 11162 0 0 0 29982 24 0 0 25 0 1 0 833893194 58048512 11140 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14172 11140 1111 63 0 14109 0
vsize: 56688
[startup+310.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3607
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 11562 0 0 0 30981 24 0 0 25 0 1 0 833893194 59748352 11540 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14587 11540 1111 63 0 14524 0
vsize: 58348
[startup+320.034 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 11974 0 0 0 31981 25 0 0 25 0 1 0 833893194 61550592 11952 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15027 11952 1111 63 0 14964 0
vsize: 60108
[startup+330.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 12373 0 0 0 32980 26 0 0 25 0 1 0 833893194 63242240 12351 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15440 12351 1111 63 0 15377 0
vsize: 61760
[startup+340.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 12776 0 0 0 33979 27 0 0 25 0 1 0 833893194 64798720 12754 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 12754 1111 63 0 15757 0
vsize: 63280
[startup+350.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 13183 0 0 0 34978 28 0 0 25 0 1 0 833893194 66490368 13161 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16233 13161 1111 63 0 16170 0
vsize: 64932
[startup+360.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 13584 0 0 0 35977 29 0 0 25 0 1 0 833893194 68182016 13562 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16646 13562 1111 63 0 16583 0
vsize: 66584
[startup+370.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3609
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 13999 0 0 0 36976 30 0 0 25 0 1 0 833893194 69877760 13977 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17060 13977 1111 63 0 16997 0
vsize: 68240
[startup+380.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 14413 0 0 0 37976 31 0 0 25 0 1 0 833893194 71569408 14391 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17473 14391 1111 63 0 17410 0
vsize: 69892
[startup+390.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 14843 0 0 0 38976 31 0 0 25 0 1 0 833893194 73269248 14821 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17888 14821 1111 63 0 17825 0
vsize: 71552
[startup+400.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 15264 0 0 0 39975 32 0 0 25 0 1 0 833893194 74960896 15242 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18301 15242 1111 63 0 18238 0
vsize: 73204
[startup+410.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 15693 0 0 0 40974 33 0 0 25 0 1 0 833893194 76800000 15671 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18750 15671 1111 63 0 18687 0
vsize: 75000
[startup+420.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 16121 0 0 0 41974 34 0 0 25 0 1 0 833893194 78491648 16099 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19163 16099 1111 63 0 19100 0
vsize: 76652
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3611
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 16557 0 0 0 42973 35 0 0 25 0 1 0 833893194 80330752 16535 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19612 16535 1111 63 0 19549 0
vsize: 78448
[startup+440.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 16999 0 0 0 43972 36 0 0 25 0 1 0 833893194 82022400 16977 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20025 16977 1111 63 0 19962 0
vsize: 80100
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 17443 0 0 0 44971 37 0 0 25 0 1 0 833893194 83853312 17421 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20472 17421 1111 63 0 20409 0
vsize: 81888
[startup+460.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 17891 0 0 0 45971 38 0 0 25 0 1 0 833893194 85692416 17869 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20921 17869 1111 63 0 20858 0
vsize: 83684
[startup+470.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 18342 0 0 0 46970 39 0 0 25 0 1 0 833893194 87531520 18320 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21370 18320 1111 63 0 21307 0
vsize: 85480
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 18798 0 0 0 47969 39 0 0 25 0 1 0 833893194 89362432 18776 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21817 18776 1111 63 0 21754 0
vsize: 87268
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3613
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 19261 0 0 0 48968 41 0 0 25 0 1 0 833893194 91340800 19239 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22300 19239 1111 63 0 22237 0
vsize: 89200
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 19723 0 0 0 49968 41 0 0 25 0 1 0 833893194 93175808 19701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22748 19701 1111 63 0 22685 0
vsize: 90992
[startup+510.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 20201 0 0 0 50967 42 0 0 25 0 1 0 833893194 95154176 20179 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23231 20179 1111 63 0 23168 0
vsize: 92924
[startup+520.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 20679 0 0 0 51966 44 0 0 25 0 1 0 833893194 97132544 20657 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23714 20657 1111 63 0 23651 0
vsize: 94856
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 21175 0 0 0 52965 44 0 0 25 0 1 0 833893194 99106816 21153 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24196 21153 1111 63 0 24133 0
vsize: 96784
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 21674 0 0 0 53965 45 0 0 25 0 1 0 833893194 101224448 21652 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24713 21652 1111 63 0 24650 0
vsize: 98852
[startup+550.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3615
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 22199 0 0 0 54964 46 0 0 25 0 1 0 833893194 103346176 22177 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25231 22177 1111 63 0 25168 0
vsize: 100924
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 22744 0 0 0 55963 47 0 0 25 0 1 0 833893194 105607168 22722 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25783 22722 1111 63 0 25720 0
vsize: 103132
[startup+570.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 23335 0 0 0 56962 49 0 0 25 0 1 0 833893194 108249088 23313 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26428 23313 1111 63 0 26365 0
vsize: 105712
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 23923 0 0 0 57961 50 0 0 25 0 1 0 833893194 110649344 23901 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27014 23901 1111 63 0 26951 0
vsize: 108056
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 24539 0 0 0 58959 51 0 0 25 0 1 0 833893194 113192960 24517 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27635 24517 1111 63 0 27572 0
vsize: 110540
[startup+600.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 25162 0 0 0 59958 53 0 0 25 0 1 0 833893194 115736576 25140 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28256 25140 1111 63 0 28193 0
vsize: 113024
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3617
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 25785 0 0 0 60957 54 0 0 25 0 1 0 833893194 118276096 25763 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28876 25763 1111 63 0 28813 0
vsize: 115504
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 26420 0 0 0 61956 55 0 0 25 0 1 0 833893194 120815616 26398 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29496 26398 1111 63 0 29433 0
vsize: 117984
[startup+630.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 27064 0 0 0 62955 56 0 0 25 0 1 0 833893194 123498496 27042 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30151 27042 1111 63 0 30088 0
vsize: 120604
[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 27713 0 0 0 63955 57 0 0 25 0 1 0 833893194 126042112 27691 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30772 27691 1111 63 0 30709 0
vsize: 123088
[startup+650.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 28372 0 0 0 64954 58 0 0 25 0 1 0 833893194 128720896 28350 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31426 28350 1111 63 0 31363 0
vsize: 125704
[startup+660.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 29047 0 0 0 65953 59 0 0 25 0 1 0 833893194 131547136 29025 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32116 29025 1111 63 0 32053 0
vsize: 128464
[startup+670.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3619
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 29711 0 0 0 66953 60 0 0 25 0 1 0 833893194 134230016 29689 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32771 29689 1111 63 0 32708 0
vsize: 131084
[startup+680.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 30387 0 0 0 67952 61 0 0 25 0 1 0 833893194 137052160 30365 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33460 30365 1111 63 0 33397 0
vsize: 133840
[startup+690.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 31079 0 0 0 68951 62 0 0 25 0 1 0 833893194 139882496 31057 4294967295 134512640 134714540 3221224592 3221222928 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34151 31057 1111 63 0 34088 0
vsize: 136604
[startup+700.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 31770 0 0 0 69950 63 0 0 25 0 1 0 833893194 142704640 31748 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34840 31748 1111 63 0 34777 0
vsize: 139360
[startup+710.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 32461 0 0 0 70949 65 0 0 25 0 1 0 833893194 145526784 32439 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35529 32439 1111 63 0 35466 0
vsize: 142116
[startup+720.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 33167 0 0 0 71948 66 0 0 25 0 1 0 833893194 148353024 33145 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36219 33145 1111 63 0 36156 0
vsize: 144876
[startup+730.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3621
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 33872 0 0 0 72946 68 0 0 25 0 1 0 833893194 151314432 33850 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36942 33850 1111 63 0 36879 0
vsize: 147768
[startup+740.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 34586 0 0 0 73945 69 0 0 25 0 1 0 833893194 154136576 34564 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37631 34564 1111 63 0 37568 0
vsize: 150524
[startup+750.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 35310 0 0 0 74944 70 0 0 25 0 1 0 833893194 157106176 35288 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38356 35288 1111 63 0 38293 0
vsize: 153424
[startup+760.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 36030 0 0 0 75942 72 0 0 25 0 1 0 833893194 160067584 36008 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39079 36008 1111 63 0 39016 0
vsize: 156316
[startup+770.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 36763 0 0 0 76941 74 0 0 25 0 1 0 833893194 163037184 36741 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39804 36741 1111 63 0 39741 0
vsize: 159216
[startup+780.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 37495 0 0 0 77940 75 0 0 25 0 1 0 833893194 165998592 37473 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40527 37473 1111 63 0 40464 0
vsize: 162108
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3623
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 38244 0 0 0 78939 76 0 0 25 0 1 0 833893194 169107456 38222 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41286 38222 1111 63 0 41223 0
vsize: 165144
[startup+799.584 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3625
Raw data (stat): 3597 (bsolo_mis) R 3596 29618 29617 0 -1 0 38244 0 0 0 78939 76 0 0 25 0 1 0 833893194 169107456 38222 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41286 38222 1111 63 0 41223 0
vsize: 0

Child status: 0
Real time (s): 799.583
CPU time (s): 799.686
CPU user time (s): 798.83
CPU system time (s): 0.856869
CPU usage (%): 100.013
Max. virtual memory (Kb): 165144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####