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/submitted/aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23389

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 02:22:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=444 boxname=wulflinc31 idbench=50 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 444
/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:        924824 kB
Buffers:         39160 kB
Cached:          48636 kB
SwapCached:        944 kB
Active:          73804 kB
Inactive:        16516 kB
HighTotal:      131008 kB
HighFree:        81340 kB
LowTotal:       903652 kB
LowFree:        843484 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14092 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 02:42:11 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 444 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1785 variables and 1293 constraints.
c After prepocess the problem consists of 1785 variables and 1293 constraints.
c preprocess terminated 3.289 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.96 0.98 0.99 2/54 30471
Raw data (stat): 30471 (runsolver) R 30470 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645123551 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.0003 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 1688 0 0 0 988 8 0 0 25 0 1 0 645123551 10612736 1663 4294967295 134512640 134714540 3221221776 3221220368 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2591 1663 1111 63 0 2528 0
vsize: 10364
[startup+20.0016 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2004 0 0 0 1985 11 0 0 25 0 1 0 645123551 11816960 1979 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2885 1979 1111 63 0 2822 0
vsize: 11540
[startup+30.0023 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2048 0 0 0 2983 14 0 0 25 0 1 0 645123551 12087296 2023 4294967295 134512640 134714540 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2023 1111 63 0 2888 0
vsize: 11804
[startup+40.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2488 0 0 0 3979 18 0 0 25 0 1 0 645123551 13844480 2463 4294967295 134512640 134714540 3221221776 3221220460 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3380 2463 1111 63 0 3317 0
vsize: 13520
[startup+50.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2628 0 0 0 4978 20 0 0 25 0 1 0 645123551 14503936 2603 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3541 2603 1111 63 0 3478 0
vsize: 14164
[startup+60.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2670 0 0 0 5976 21 0 0 25 0 1 0 645123551 14639104 2645 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3574 2645 1111 63 0 3511 0
vsize: 14296
[startup+70.0049 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2732 0 0 0 6975 23 0 0 25 0 1 0 645123551 14909440 2707 4294967295 134512640 134714540 3221221776 3221220516 134591823 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3640 2707 1111 63 0 3577 0
vsize: 14560
[startup+80.0051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2773 0 0 0 7973 25 0 0 25 0 1 0 645123551 15044608 2748 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3673 2748 1111 63 0 3610 0
vsize: 14692
[startup+90.0058 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2817 0 0 0 8971 27 0 0 25 0 1 0 645123551 15179776 2792 4294967295 134512640 134714540 3221221776 3221220536 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3706 2792 1111 63 0 3643 0
vsize: 14824
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 2857 0 0 0 9971 28 0 0 25 0 1 0 645123551 15314944 2832 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3739 2832 1111 63 0 3676 0
vsize: 14956
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3039 0 0 0 10969 29 0 0 25 0 1 0 645123551 16125952 3014 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3937 3014 1111 63 0 3874 0
vsize: 15748
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3091 0 0 0 11968 31 0 0 25 0 1 0 645123551 16396288 3066 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4003 3066 1111 63 0 3940 0
vsize: 16012
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3217 0 0 0 12966 32 0 0 25 0 1 0 645123551 16801792 3192 4294967295 134512640 134714540 3221221776 3221220416 134539425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4102 3193 1111 63 0 4039 0
vsize: 16408
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3243 0 0 0 13965 33 0 0 25 0 1 0 645123551 16936960 3218 4294967295 134512640 134714540 3221221776 3221220464 134542952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4135 3218 1111 63 0 4072 0
vsize: 16540
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3290 0 0 0 14964 34 0 0 25 0 1 0 645123551 16740352 3181 4294967295 134512640 134714540 3221221776 3221220320 134696727 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3181 1111 63 0 4024 0
vsize: 16348
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3290 0 0 0 15964 35 0 0 25 0 1 0 645123551 16740352 3181 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3181 1111 63 0 4024 0
vsize: 16348
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3290 0 0 0 16963 35 0 0 25 0 1 0 645123551 16740352 3181 4294967295 134512640 134714540 3221221776 3221220416 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3181 1111 63 0 4024 0
vsize: 16348
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3290 0 0 0 17963 36 0 0 25 0 1 0 645123551 16740352 3181 4294967295 134512640 134714540 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3181 1111 63 0 4024 0
vsize: 16348
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3290 0 0 0 18962 37 0 0 25 0 1 0 645123551 16740352 3181 4294967295 134512640 134714540 3221221776 3221220352 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4087 3181 1111 63 0 4024 0
vsize: 16348
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3302 0 0 0 19961 38 0 0 25 0 1 0 645123551 16875520 3193 4294967295 134512640 134714540 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4120 3193 1111 63 0 4057 0
vsize: 16480
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3321 0 0 0 20961 39 0 0 25 0 1 0 645123551 16818176 3200 4294967295 134512640 134714540 3221221776 3221220520 134672941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 3200 1111 63 0 4043 0
vsize: 16424
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3430 0 0 0 21960 40 0 0 25 0 1 0 645123551 17301504 3309 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4224 3309 1111 63 0 4161 0
vsize: 16896
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3430 0 0 0 22959 40 0 0 25 0 1 0 645123551 17301504 3309 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4224 3309 1111 63 0 4161 0
vsize: 16896
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3430 0 0 0 23959 41 0 0 25 0 1 0 645123551 17301504 3309 4294967295 134512640 134714540 3221221776 3221220368 134549517 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4224 3309 1111 63 0 4161 0
vsize: 16896
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3533 0 0 0 24958 42 0 0 25 0 1 0 645123551 17707008 3412 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4323 3412 1111 63 0 4260 0
vsize: 17292
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3590 0 0 0 25957 43 0 0 25 0 1 0 645123551 17977344 3469 4294967295 134512640 134714540 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4389 3469 1111 63 0 4326 0
vsize: 17556
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 26956 44 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 27955 45 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220332 134535008 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 28954 47 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220464 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 29954 47 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 30953 48 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3644 0 0 0 31952 49 0 0 25 0 1 0 645123551 18247680 3523 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3523 1111 63 0 4392 0
vsize: 17820
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3664 0 0 0 32952 50 0 0 25 0 1 0 645123551 18247680 3543 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3543 1111 63 0 4392 0
vsize: 17820
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3673 0 0 0 33951 51 0 0 25 0 1 0 645123551 18382848 3552 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3552 1111 63 0 4425 0
vsize: 17952
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3697 0 0 0 34950 52 0 0 25 0 1 0 645123551 18382848 3576 4294967295 134512640 134714540 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3576 1111 63 0 4425 0
vsize: 17952
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3698 0 0 0 35949 53 0 0 25 0 1 0 645123551 18382848 3577 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3577 1111 63 0 4425 0
vsize: 17952
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3714 0 0 0 36948 54 0 0 25 0 1 0 645123551 18518016 3593 4294967295 134512640 134714540 3221221776 3221220512 134535722 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4521 3593 1111 63 0 4458 0
vsize: 18084
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3730 0 0 0 37948 54 0 0 25 0 1 0 645123551 18518016 3609 4294967295 134512640 134714540 3221221776 3221220180 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4521 3609 1111 63 0 4458 0
vsize: 18084
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3738 0 0 0 38947 55 0 0 25 0 1 0 645123551 18653184 3617 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3617 1111 63 0 4491 0
vsize: 18216
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3743 0 0 0 39946 57 0 0 25 0 1 0 645123551 18653184 3622 4294967295 134512640 134714540 3221221776 3221220344 1077378438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3622 1111 63 0 4491 0
vsize: 18216
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3767 0 0 0 40945 58 0 0 25 0 1 0 645123551 18653184 3646 4294967295 134512640 134714540 3221221776 3221220496 1076647868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3646 1111 63 0 4491 0
vsize: 18216
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3767 0 0 0 41945 59 0 0 25 0 1 0 645123551 18653184 3646 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3646 1111 63 0 4491 0
vsize: 18216
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 42944 60 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 43943 61 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 44942 62 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 45941 63 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 46941 63 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220452 1077374508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 47940 64 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3804 0 0 0 48939 65 0 0 25 0 1 0 645123551 18923520 3683 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3683 1111 63 0 4557 0
vsize: 18480
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3815 0 0 0 49939 66 0 0 25 0 1 0 645123551 18923520 3694 4294967295 134512640 134714540 3221221776 3221220592 134590271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3694 1111 63 0 4557 0
vsize: 18480
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3854 0 0 0 50939 66 0 0 25 0 1 0 645123551 19058688 3733 4294967295 134512640 134714540 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4653 3733 1111 63 0 4590 0
vsize: 18612
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3871 0 0 0 51938 67 0 0 25 0 1 0 645123551 19193856 3750 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3750 1111 63 0 4623 0
vsize: 18744
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3942 0 0 0 52938 67 0 0 25 0 1 0 645123551 19464192 3821 4294967295 134512640 134714540 3221221776 3221220404 134696285 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4752 3821 1111 63 0 4689 0
vsize: 19008
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3951 0 0 0 53937 68 0 0 25 0 1 0 645123551 19464192 3830 4294967295 134512640 134714540 3221221776 3221220432 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4752 3830 1111 63 0 4689 0
vsize: 19008
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 3951 0 0 0 54936 69 0 0 25 0 1 0 645123551 19464192 3830 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4752 3830 1111 63 0 4689 0
vsize: 19008
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4012 0 0 0 55935 70 0 0 25 0 1 0 645123551 19734528 3891 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3891 1111 63 0 4755 0
vsize: 19272
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4067 0 0 0 56935 71 0 0 25 0 1 0 645123551 20004864 3946 4294967295 134512640 134714540 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4884 3946 1111 63 0 4821 0
vsize: 19536
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4101 0 0 0 57933 73 0 0 25 0 1 0 645123551 20140032 3980 4294967295 134512640 134714540 3221221776 3221220288 134535471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4917 3980 1111 63 0 4854 0
vsize: 19668
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4147 0 0 0 58933 74 0 0 25 0 1 0 645123551 20275200 4026 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4026 1111 63 0 4887 0
vsize: 19800
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4147 0 0 0 59932 74 0 0 25 0 1 0 645123551 20275200 4026 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4026 1111 63 0 4887 0
vsize: 19800
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4147 0 0 0 60932 75 0 0 25 0 1 0 645123551 20275200 4026 4294967295 134512640 134714540 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4026 1111 63 0 4887 0
vsize: 19800
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4198 0 0 0 61931 76 0 0 25 0 1 0 645123551 20410368 4077 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4983 4077 1111 63 0 4920 0
vsize: 19932
[startup+630.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4273 0 0 0 62930 77 0 0 25 0 1 0 645123551 20815872 4152 4294967295 134512640 134714540 3221221776 3221220440 134543628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4152 1111 63 0 5019 0
vsize: 20328
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4396 0 0 0 63929 78 0 0 25 0 1 0 645123551 21221376 4275 4294967295 134512640 134714540 3221221776 3221220420 134536694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5181 4275 1111 63 0 5118 0
vsize: 20724
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4534 0 0 0 64929 79 0 0 25 0 1 0 645123551 21897216 4413 4294967295 134512640 134714540 3221221776 3221220468 134534132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4413 1111 63 0 5283 0
vsize: 21384
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 65928 79 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 66928 80 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 67926 81 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 68926 82 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 69926 82 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220512 134535844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 70925 83 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+720.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 71923 85 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+730.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 72922 86 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+740.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 73921 87 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+750.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 74919 89 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+760.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 75918 90 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 76917 92 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+780.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 77915 93 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220512 134591951 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 78914 95 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+800.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 79913 96 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+810.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 80912 97 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220480 134528674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 81911 98 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+830.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 82910 99 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220384 134549324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 83909 100 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 84908 101 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 85908 102 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+870.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 86907 103 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220324 134696713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+880.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 87906 104 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+890.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 88906 104 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+900.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 89906 105 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220032 134697531 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 90904 107 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 91904 108 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+930.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 92902 109 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 93901 110 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220536 134543557 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 94900 112 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220404 134696288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+960.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 95899 113 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+970.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 96898 114 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 97897 115 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 98896 116 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 99895 118 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220400 134542306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 100894 119 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220304 134697426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 101893 120 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220496 134584805 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 102892 121 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 103892 121 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 104891 123 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 105890 123 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 106889 124 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 107889 125 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 108888 126 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 109888 126 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 110887 127 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220452 1077374550 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 111887 128 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220520 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 112886 129 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 113886 129 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 114885 130 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220520 134543154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 115884 131 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220420 134536691 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 116884 132 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 21384
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 30471
Raw data (stat): 30471 (bsolo_mis) R 30470 7876 7672 0 -1 0 4552 0 0 0 116884 132 0 0 25 0 1 0 645123551 21897216 4431 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 4431 1111 63 0 5283 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.06
CPU user time (s): 1173.72
CPU system time (s): 1.3378
CPU usage (%): 100.011
Max. virtual memory (Kb): 21384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####