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/miplib/normalized-mps-v2-20-10-enigma.opb
MD5SUM	69bc407892007f468f206122d0d17aba
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	9
Biggest coefficient in the objective function	9
Number of bits for the biggest coefficient in the objective function	4
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	900207
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	9508275
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.416936
Number of variables	100
Total number of constraints	121
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	120
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	90

Trace number 28675

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        729584 kB
Buffers:         29012 kB
Cached:         255916 kB
SwapCached:        604 kB
Active:          41504 kB
Inactive:       245996 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729332 kB
SwapTotal:     2097136 kB
SwapFree:      2096148 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6148 kB
Slab:            11924 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:53:10 (client local time) WITH STATUS 30 IN 591.532 SECONDS
stats: 11807 0 591.532 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 100 variables and 42 constraints.
c After prepocess the problem consists of 100 variables and 42 constraints.
c preprocess terminated 0.077 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 1 @ 143.132
c NEW SOLUTION FOUND: 0 @ 591.237
s OPTIMUM FOUND
v -A1_bit0 -A2_bit0 -A3_bit0 -A4_bit0 -A5_bit0 -A6_bit0 -A7_bit0 -A8_bit0 -A9_bit0 -B1_bit0 -B2_bit0 -B3_bit0 -B4_bit0 -B5_bit0 -B6_bit0 -B7_bit0 B8_bit0 -B9_bit0 -C1_bit0 -C2_bit0 -C3_bit0 -C4_bit0 C5_bit0 -C6_bit0 -C7_bit0 -C8_bit0 -C9_bit0 -D1_bit0 -D2_bit0 -D3_bit0 -D4_bit0 -D5_bit0 D6_bit0 -D7_bit0 -D8_bit0 -D9_bit0 -E1_bit0 -E2_bit0 -E3_bit0 E4_bit0 -E5_bit0 -E6_bit0 -E7_bit0 -E8_bit0 -E9_bit0 -F1_bit0 -F2_bit0 -F3_bit0 -F4_bit0 -F5_bit0 -F6_bit0 -F7_bit0 -F8_bit0 F9_bit0 G1_bit0 -G2_bit0 -G3_bit0 -G4_bit0 -G5_bit0 -G6_bit0 -G7_bit0 -G8_bit0 -G9_bit0 -H1_bit0 -H2_bit0 -H3_bit0 -H4_bit0 -H5_bit0 -H6_bit0 H7_bit0 -H8_bit0 -H9_bit0 -I1_bit0 I2_bit0 -I3_bit0 -I4_bit0 -I5_bit0 -I6_bit0 -I7_bit0 -I8_bit0 -I9_bit0 -L1_bit0 -L2_bit0 L3_bit0 -L4_bit0 -L5_bit0 -L6_bit0 -L7_bit0 -L8_bit0 -L9_bit0 A0_bit0 -B0_bit0 -C0_bit0 -D0_bit0 -E0_bit0 -F0_bit0 -G0_bit0 -H0_bit0 -I0_bit0 -L0_bit0 
c Exit Code: 30
c Total time: 591.448 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.90 0.95 0.90 2/54 8467
Raw data (stat): 8467 (runsolver) R 8466 1269 1268 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777514315 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.0007 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 7985 0 0 0 982 16 0 0 25 0 1 0 777514315 36818944 7941 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 7941 1111 63 0 8926 0
vsize: 35956
[startup+20.001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 11638 0 0 0 1973 25 0 0 25 0 1 0 777514315 52875264 11480 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12909 11482 1111 63 0 12846 0
vsize: 51636
[startup+30.0073 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 17536 0 0 0 2961 38 0 0 25 0 1 0 777514315 77537280 17245 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18930 17245 1111 63 0 18867 0
vsize: 75720
[startup+40.0076 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 17700 0 0 0 3961 38 0 0 25 0 1 0 777514315 78405632 17389 4294967295 134512640 134714540 3221224592 3221223384 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19142 17389 1111 63 0 19079 0
vsize: 76568
[startup+50.007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 18144 0 0 0 4961 39 0 0 25 0 1 0 777514315 80314368 17817 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19608 17817 1111 63 0 19545 0
vsize: 78432
[startup+60.0069 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 18470 0 0 0 5960 39 0 0 25 0 1 0 777514315 81666048 18129 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19938 18129 1111 63 0 19875 0
vsize: 79752
[startup+70.0066 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 19046 0 0 0 6959 41 0 0 25 0 1 0 777514315 84074496 18697 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20526 18697 1111 63 0 20463 0
vsize: 82104
[startup+80.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 19497 0 0 0 7958 42 0 0 25 0 1 0 777514315 86011904 19140 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20999 19140 1111 63 0 20936 0
vsize: 83996
[startup+90.0069 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 20599 0 0 0 8955 45 0 0 25 0 1 0 777514315 90710016 20202 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22146 20202 1111 63 0 22083 0
vsize: 88584
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 23432 0 0 0 9948 52 0 0 25 0 1 0 777514315 102948864 22938 4294967295 134512640 134714540 3221224592 3221223316 134622905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25134 22938 1111 63 0 25071 0
vsize: 100536
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 24904 0 0 0 10945 55 0 0 25 0 1 0 777514315 108929024 24386 4294967295 134512640 134714540 3221224592 3221223392 134622422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26594 24386 1111 63 0 26531 0
vsize: 106376
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 26323 0 0 0 11942 58 0 0 25 0 1 0 777514315 114544640 25797 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27965 25797 1111 63 0 27902 0
vsize: 111860
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 29534 0 0 0 12934 67 0 0 25 0 1 0 777514315 127004672 29004 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31007 29004 1111 63 0 30944 0
vsize: 124028
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 35600 0 0 0 13920 81 0 0 25 0 1 0 777514315 153391104 34820 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37449 34820 1111 63 0 37386 0
vsize: 149796
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 14914 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 15914 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 16914 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 17915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 18915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 19915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 20915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 21915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 22915 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 23916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 24916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 25916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 26916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 27916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 28916 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 29917 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223320 134622758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 30917 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 31917 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223384 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 37932 0 0 0 32917 87 0 0 25 0 1 0 777514315 163434496 37053 4294967295 134512640 134714540 3221224592 3221223312 134622761 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39901 37053 1111 63 0 39838 0
vsize: 159604
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 33917 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 34917 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 35917 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 36917 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 37918 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 38918 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 39918 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38059 0 0 0 40918 88 0 0 25 0 1 0 777514315 164012032 37180 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37180 1111 63 0 39979 0
vsize: 160168
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38063 0 0 0 41918 88 0 0 25 0 1 0 777514315 164012032 37184 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40042 37184 1111 63 0 39979 0
vsize: 160168
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38159 0 0 0 42918 89 0 0 25 0 1 0 777514315 164417536 37280 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40141 37280 1111 63 0 40078 0
vsize: 160564
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38268 0 0 0 43918 89 0 0 25 0 1 0 777514315 164888576 37380 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40256 37380 1111 63 0 40193 0
vsize: 161024
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38268 0 0 0 44918 89 0 0 25 0 1 0 777514315 164888576 37380 4294967295 134512640 134714540 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40256 37380 1111 63 0 40193 0
vsize: 161024
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38467 0 0 0 45918 89 0 0 25 0 1 0 777514315 165699584 37579 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40454 37579 1111 63 0 40391 0
vsize: 161816
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 46917 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 47917 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 48917 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 49918 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 50918 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 51918 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223372 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 38695 0 0 0 52918 90 0 0 25 0 1 0 777514315 166776832 37789 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40717 37789 1111 63 0 40654 0
vsize: 162868
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 40242 0 0 0 53915 94 0 0 25 0 1 0 777514315 173883392 39228 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42452 39228 1111 63 0 42389 0
vsize: 169808
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 41460 0 0 0 54912 97 0 0 25 0 1 0 777514315 179343360 40383 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43785 40383 1111 63 0 43722 0
vsize: 175140
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 41460 0 0 0 55912 97 0 0 25 0 1 0 777514315 179343360 40383 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43785 40383 1111 63 0 43722 0
vsize: 175140
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 42466 0 0 0 56910 99 0 0 25 0 1 0 777514315 183726080 41344 4294967295 134512640 134714540 3221224592 3221223160 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44855 41344 1111 63 0 44792 0
vsize: 179420
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 42544 0 0 0 57910 100 0 0 25 0 1 0 777514315 184131584 41422 4294967295 134512640 134714540 3221224592 3221223408 134622261 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44954 41422 1111 63 0 44891 0
vsize: 179816
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 42815 0 0 0 58909 100 0 0 25 0 1 0 777514315 185278464 41684 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45234 41684 1111 63 0 45171 0
vsize: 180936
[startup+591.446 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8467
Raw data (stat): 8467 (bsolo_mis) R 8466 1269 1268 0 -1 0 42815 0 0 0 58909 100 0 0 25 0 1 0 777514315 185278464 41684 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45234 41684 1111 63 0 45171 0
vsize: 0

Child status: 30
Real time (s): 591.445
CPU time (s): 591.532
CPU user time (s): 590.427
CPU system time (s): 1.10483
CPU usage (%): 100.015
Max. virtual memory (Kb): 180936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####