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-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	46
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.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23414

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 09:03:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=489 boxname=wulflinc31 idbench=55 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 489
/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:        922144 kB
Buffers:         39636 kB
Cached:          50744 kB
SwapCached:        944 kB
Active:          75868 kB
Inactive:        17056 kB
HighTotal:      131008 kB
HighFree:        79156 kB
LowTotal:       903652 kB
LowFree:        842988 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14124 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 09:23:33 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 489 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2903 variables and 2066 constraints.
c After prepocess the problem consists of 2903 variables and 2066 constraints.
c preprocess terminated 8.369 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.93 1.02 0.99 2/54 774
Raw data (stat): 774 (runsolver) R 773 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 647532056 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.0007 s]
Raw data (loadavg): 0.94 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2042 0 0 0 988 8 0 0 25 0 1 0 647532056 12115968 2017 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2958 2017 1111 63 0 2895 0
vsize: 11832
[startup+20.0014 s]
Raw data (loadavg): 0.95 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2127 0 0 0 1987 9 0 0 25 0 1 0 647532056 12386304 2102 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3024 2102 1111 63 0 2961 0
vsize: 12096
[startup+30.0021 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2182 0 0 0 2985 11 0 0 25 0 1 0 647532056 12619776 2157 4294967295 134512640 134714540 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3081 2157 1111 63 0 3018 0
vsize: 12324
[startup+40.0023 s]
Raw data (loadavg): 0.96 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2228 0 0 0 3983 13 0 0 25 0 1 0 647532056 12890112 2203 4294967295 134512640 134714540 3221221776 3221220400 134696300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3147 2203 1111 63 0 3084 0
vsize: 12588
[startup+50.003 s]
Raw data (loadavg): 0.97 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2273 0 0 0 4981 15 0 0 25 0 1 0 647532056 13025280 2248 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3180 2248 1111 63 0 3117 0
vsize: 12720
[startup+60.0029 s]
Raw data (loadavg): 0.97 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2304 0 0 0 5980 17 0 0 25 0 1 0 647532056 13160448 2279 4294967295 134512640 134714540 3221221776 3221220396 134613764 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2279 1111 63 0 3150 0
vsize: 12852
[startup+70.0031 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2317 0 0 0 6979 18 0 0 25 0 1 0 647532056 13160448 2292 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3213 2292 1111 63 0 3150 0
vsize: 12852
[startup+80.0037 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2332 0 0 0 7977 21 0 0 25 0 1 0 647532056 13295616 2307 4294967295 134512640 134714540 3221221776 3221220356 1077378607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3246 2307 1111 63 0 3183 0
vsize: 12984
[startup+90.0037 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2367 0 0 0 8976 22 0 0 25 0 1 0 647532056 13430784 2342 4294967295 134512640 134714540 3221221776 3221220568 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2342 1111 63 0 3216 0
vsize: 13116
[startup+100.004 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2415 0 0 0 9973 24 0 0 25 0 1 0 647532056 13549568 2390 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2390 1111 63 0 3245 0
vsize: 13232
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 774
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2463 0 0 0 10971 26 0 0 25 0 1 0 647532056 13774848 2438 4294967295 134512640 134714540 3221221776 3221220104 134697469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2438 1111 63 0 3300 0
vsize: 13452
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2517 0 0 0 11970 28 0 0 25 0 1 0 647532056 13996032 2492 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3417 2492 1111 63 0 3354 0
vsize: 13668
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2562 0 0 0 12968 30 0 0 25 0 1 0 647532056 14254080 2537 4294967295 134512640 134714540 3221221776 3221220428 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3480 2537 1111 63 0 3417 0
vsize: 13920
[startup+140.004 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2574 0 0 0 13966 32 0 0 25 0 1 0 647532056 14237696 2549 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3476 2549 1111 63 0 3413 0
vsize: 13904
[startup+150.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2622 0 0 0 14965 33 0 0 25 0 1 0 647532056 14508032 2597 4294967295 134512640 134714540 3221221776 3221220308 1077374149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3542 2597 1111 63 0 3479 0
vsize: 14168
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2668 0 0 0 15964 35 0 0 25 0 1 0 647532056 14643200 2643 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2643 1111 63 0 3512 0
vsize: 14300
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2677 0 0 0 16963 36 0 0 25 0 1 0 647532056 14643200 2652 4294967295 134512640 134714540 3221221776 3221220368 134549560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2652 1111 63 0 3512 0
vsize: 14300
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2701 0 0 0 17961 38 0 0 25 0 1 0 647532056 14733312 2676 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3597 2676 1111 63 0 3534 0
vsize: 14388
[startup+190.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2737 0 0 0 18960 39 0 0 25 0 1 0 647532056 14868480 2712 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3630 2712 1111 63 0 3567 0
vsize: 14520
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2762 0 0 0 19959 40 0 0 25 0 1 0 647532056 15003648 2737 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3663 2737 1111 63 0 3600 0
vsize: 14652
[startup+210.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2777 0 0 0 20958 41 0 0 25 0 1 0 647532056 15138816 2752 4294967295 134512640 134714540 3221221776 3221220420 134542296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3696 2752 1111 63 0 3633 0
vsize: 14784
[startup+220.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2810 0 0 0 21957 43 0 0 25 0 1 0 647532056 15273984 2785 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2785 1111 63 0 3666 0
vsize: 14916
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2810 0 0 0 22956 44 0 0 25 0 1 0 647532056 15273984 2785 4294967295 134512640 134714540 3221221776 3221220528 134592421 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2785 1111 63 0 3666 0
vsize: 14916
[startup+240.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2810 0 0 0 23955 45 0 0 25 0 1 0 647532056 15224832 2785 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2785 1111 63 0 3654 0
vsize: 14868
[startup+250.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2810 0 0 0 24954 46 0 0 25 0 1 0 647532056 15224832 2785 4294967295 134512640 134714540 3221221776 3221220560 134551746 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2785 1111 63 0 3654 0
vsize: 14868
[startup+260.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2823 0 0 0 25953 48 0 0 25 0 1 0 647532056 15224832 2798 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3717 2798 1111 63 0 3654 0
vsize: 14868
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2833 0 0 0 26951 50 0 0 25 0 1 0 647532056 15360000 2808 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2808 1111 63 0 3687 0
vsize: 15000
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2833 0 0 0 27950 51 0 0 25 0 1 0 647532056 15360000 2808 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2808 1111 63 0 3687 0
vsize: 15000
[startup+290.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2838 0 0 0 28949 53 0 0 25 0 1 0 647532056 15360000 2813 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2813 1111 63 0 3687 0
vsize: 15000
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2852 0 0 0 29947 54 0 0 25 0 1 0 647532056 15360000 2827 4294967295 134512640 134714540 3221221776 3221220368 134549600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3750 2827 1111 63 0 3687 0
vsize: 15000
[startup+310.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2901 0 0 0 30946 56 0 0 25 0 1 0 647532056 15630336 2876 4294967295 134512640 134714540 3221221776 3221220368 134542723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2876 1111 63 0 3753 0
vsize: 15264
[startup+320.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2901 0 0 0 31944 57 0 0 25 0 1 0 647532056 15630336 2876 4294967295 134512640 134714540 3221221776 3221220192 1076647554 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2876 1111 63 0 3753 0
vsize: 15264
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2925 0 0 0 32943 59 0 0 25 0 1 0 647532056 15626240 2900 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3815 2900 1111 63 0 3752 0
vsize: 15260
[startup+340.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2925 0 0 0 33942 60 0 0 25 0 1 0 647532056 15626240 2900 4294967295 134512640 134714540 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3815 2900 1111 63 0 3752 0
vsize: 15260
[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2925 0 0 0 34941 61 0 0 25 0 1 0 647532056 15626240 2900 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3815 2900 1111 63 0 3752 0
vsize: 15260
[startup+360.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2925 0 0 0 35941 62 0 0 25 0 1 0 647532056 15626240 2900 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3815 2900 1111 63 0 3752 0
vsize: 15260
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2948 0 0 0 36939 63 0 0 25 0 1 0 647532056 15757312 2923 4294967295 134512640 134714540 3221221776 3221220560 134529009 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 2923 1111 63 0 3784 0
vsize: 15388
[startup+380.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2948 0 0 0 37938 64 0 0 25 0 1 0 647532056 15757312 2923 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 2923 1111 63 0 3784 0
vsize: 15388
[startup+390.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2948 0 0 0 38937 66 0 0 25 0 1 0 647532056 15757312 2923 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 2923 1111 63 0 3784 0
vsize: 15388
[startup+400.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2974 0 0 0 39936 67 0 0 25 0 1 0 647532056 15892480 2949 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3880 2949 1111 63 0 3817 0
vsize: 15520
[startup+410.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 2998 0 0 0 40935 69 0 0 25 0 1 0 647532056 16027648 2973 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2973 1111 63 0 3850 0
vsize: 15652
[startup+420.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3008 0 0 0 41933 70 0 0 25 0 1 0 647532056 16027648 2983 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2983 1111 63 0 3850 0
vsize: 15652
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3008 0 0 0 42933 71 0 0 25 0 1 0 647532056 16027648 2983 4294967295 134512640 134714540 3221221776 3221220348 134535988 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2983 1111 63 0 3850 0
vsize: 15652
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3015 0 0 0 43932 72 0 0 25 0 1 0 647532056 16027648 2990 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 2990 1111 63 0 3850 0
vsize: 15652
[startup+450.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3052 0 0 0 44930 74 0 0 25 0 1 0 647532056 16162816 3027 4294967295 134512640 134714540 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3027 1111 63 0 3883 0
vsize: 15784
[startup+460.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3057 0 0 0 45929 75 0 0 25 0 1 0 647532056 16162816 3032 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3946 3032 1111 63 0 3883 0
vsize: 15784
[startup+470.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3081 0 0 0 46928 77 0 0 25 0 1 0 647532056 16297984 3056 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3979 3056 1111 63 0 3916 0
vsize: 15916
[startup+480.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3123 0 0 0 47926 79 0 0 25 0 1 0 647532056 16539648 3098 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4038 3098 1111 63 0 3975 0
vsize: 16152
[startup+490.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3140 0 0 0 48924 81 0 0 25 0 1 0 647532056 16539648 3115 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4038 3115 1111 63 0 3975 0
vsize: 16152
[startup+500.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3144 0 0 0 49923 82 0 0 25 0 1 0 647532056 16539648 3119 4294967295 134512640 134714540 3221221776 3221220296 134672835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4038 3119 1111 63 0 3975 0
vsize: 16152
[startup+510.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3175 0 0 0 50922 84 0 0 25 0 1 0 647532056 16674816 3150 4294967295 134512640 134714540 3221221776 3221220448 1077378560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4071 3150 1111 63 0 4008 0
vsize: 16284
[startup+520.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3200 0 0 0 51920 85 0 0 25 0 1 0 647532056 16809984 3175 4294967295 134512640 134714540 3221221776 3221220344 1077377888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4104 3175 1111 63 0 4041 0
vsize: 16416
[startup+530.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3218 0 0 0 52919 87 0 0 25 0 1 0 647532056 16932864 3193 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4134 3193 1111 63 0 4071 0
vsize: 16536
[startup+540.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3218 0 0 0 53918 88 0 0 25 0 1 0 647532056 16932864 3193 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4134 3193 1111 63 0 4071 0
vsize: 16536
[startup+550.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3218 0 0 0 54916 91 0 0 25 0 1 0 647532056 16916480 3193 4294967295 134512640 134714540 3221221776 3221220344 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4130 3193 1111 63 0 4067 0
vsize: 16520
[startup+560.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3223 0 0 0 55915 92 0 0 25 0 1 0 647532056 16916480 3198 4294967295 134512640 134714540 3221221776 3221220528 134592416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4130 3198 1111 63 0 4067 0
vsize: 16520
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 56913 93 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+580.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 57912 95 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+590.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 58912 95 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+600.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 59910 97 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220336 134696615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+610.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 60909 99 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+620.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 61908 99 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+630.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 62907 101 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+640.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 63906 102 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220432 134536713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+650.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3267 0 0 0 64905 103 0 0 25 0 1 0 647532056 17051648 3242 4294967295 134512640 134714540 3221221776 3221220508 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4163 3242 1111 63 0 4100 0
vsize: 16652
[startup+660.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3290 0 0 0 65904 104 0 0 25 0 1 0 647532056 17186816 3265 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4196 3265 1111 63 0 4133 0
vsize: 16784
[startup+670.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 66903 105 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+680.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 67902 107 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+690.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 68900 108 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220372 134543731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+700.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 69899 110 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+710.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 70898 111 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220452 134594355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+720.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 71897 112 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+730.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3317 0 0 0 72896 114 0 0 25 0 1 0 647532056 17321984 3292 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3292 1111 63 0 4166 0
vsize: 16916
[startup+740.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3322 0 0 0 73894 115 0 0 25 0 1 0 647532056 17321984 3297 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3297 1111 63 0 4166 0
vsize: 16916
[startup+750.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3323 0 0 0 74893 117 0 0 25 0 1 0 647532056 17321984 3298 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3298 1111 63 0 4166 0
vsize: 16916
[startup+760.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3371 0 0 0 75892 118 0 0 25 0 1 0 647532056 17457152 3346 4294967295 134512640 134714540 3221221776 3221220452 1077374514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4262 3346 1111 63 0 4199 0
vsize: 17048
[startup+770.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3387 0 0 0 76890 120 0 0 25 0 1 0 647532056 17592320 3362 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3362 1111 63 0 4232 0
vsize: 17180
[startup+780.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3387 0 0 0 77889 122 0 0 25 0 1 0 647532056 17592320 3362 4294967295 134512640 134714540 3221221776 3221220368 134548578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3362 1111 63 0 4232 0
vsize: 17180
[startup+790.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3387 0 0 0 78888 123 0 0 25 0 1 0 647532056 17592320 3362 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3362 1111 63 0 4232 0
vsize: 17180
[startup+800.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3387 0 0 0 79887 124 0 0 25 0 1 0 647532056 17592320 3362 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3362 1111 63 0 4232 0
vsize: 17180
[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3387 0 0 0 80886 125 0 0 25 0 1 0 647532056 17592320 3362 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4295 3362 1111 63 0 4232 0
vsize: 17180
[startup+820.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3435 0 0 0 81885 127 0 0 25 0 1 0 647532056 17727488 3410 4294967295 134512640 134714540 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4328 3410 1111 63 0 4265 0
vsize: 17312
[startup+830.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3473 0 0 0 82884 128 0 0 25 0 1 0 647532056 17862656 3448 4294967295 134512640 134714540 3221221776 3221220512 134552108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4361 3448 1111 63 0 4298 0
vsize: 17444
[startup+840.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3488 0 0 0 83883 129 0 0 25 0 1 0 647532056 17997824 3463 4294967295 134512640 134714540 3221221776 3221220400 134542312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4394 3463 1111 63 0 4331 0
vsize: 17576
[startup+850.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3507 0 0 0 84881 131 0 0 25 0 1 0 647532056 18132992 3482 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3482 1111 63 0 4364 0
vsize: 17708
[startup+860.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3507 0 0 0 85880 132 0 0 25 0 1 0 647532056 18132992 3482 4294967295 134512640 134714540 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3482 1111 63 0 4364 0
vsize: 17708
[startup+870.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3507 0 0 0 86879 134 0 0 25 0 1 0 647532056 18132992 3482 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4427 3482 1111 63 0 4364 0
vsize: 17708
[startup+880.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3533 0 0 0 87878 135 0 0 25 0 1 0 647532056 18239488 3508 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4453 3508 1111 63 0 4390 0
vsize: 17812
[startup+890.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3533 0 0 0 88877 136 0 0 25 0 1 0 647532056 18239488 3508 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4453 3508 1111 63 0 4390 0
vsize: 17812
[startup+900.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3535 0 0 0 89875 138 0 0 25 0 1 0 647532056 18219008 3510 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4448 3510 1111 63 0 4385 0
vsize: 17792
[startup+910.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3562 0 0 0 90874 139 0 0 25 0 1 0 647532056 18345984 3537 4294967295 134512640 134714540 3221221776 3221220492 1076647546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4479 3537 1111 63 0 4416 0
vsize: 17916
[startup+920.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3594 0 0 0 91873 140 0 0 25 0 1 0 647532056 18481152 3569 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3569 1111 63 0 4449 0
vsize: 18048
[startup+930.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3594 0 0 0 92872 141 0 0 25 0 1 0 647532056 18481152 3569 4294967295 134512640 134714540 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3569 1111 63 0 4449 0
vsize: 18048
[startup+940.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3594 0 0 0 93871 143 0 0 25 0 1 0 647532056 18481152 3569 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4512 3569 1111 63 0 4449 0
vsize: 18048
[startup+950.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3596 0 0 0 94870 144 0 0 25 0 1 0 647532056 18472960 3571 4294967295 134512640 134714540 3221221776 3221220272 134535385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4510 3571 1111 63 0 4447 0
vsize: 18040
[startup+960.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3640 0 0 0 95868 146 0 0 25 0 1 0 647532056 18583552 3615 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3615 1111 63 0 4474 0
vsize: 18148
[startup+970.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3640 0 0 0 96867 147 0 0 25 0 1 0 647532056 18583552 3615 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3615 1111 63 0 4474 0
vsize: 18148
[startup+980.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3640 0 0 0 97866 148 0 0 25 0 1 0 647532056 18583552 3615 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3615 1111 63 0 4474 0
vsize: 18148
[startup+990.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3640 0 0 0 98864 150 0 0 25 0 1 0 647532056 18583552 3615 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3615 1111 63 0 4474 0
vsize: 18148
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3669 0 0 0 99863 152 0 0 25 0 1 0 647532056 18694144 3644 4294967295 134512640 134714540 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3644 1111 63 0 4501 0
vsize: 18256
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3669 0 0 0 100861 154 0 0 25 0 1 0 647532056 18694144 3644 4294967295 134512640 134714540 3221221776 3221220500 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3644 1111 63 0 4501 0
vsize: 18256
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3669 0 0 0 101860 155 0 0 25 0 1 0 647532056 18694144 3644 4294967295 134512640 134714540 3221221776 3221220472 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4564 3644 1111 63 0 4501 0
vsize: 18256
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3732 0 0 0 102859 156 0 0 25 0 1 0 647532056 18964480 3707 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4630 3707 1111 63 0 4567 0
vsize: 18520
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3732 0 0 0 103858 157 0 0 25 0 1 0 647532056 18964480 3707 4294967295 134512640 134714540 3221221776 3221220512 134591946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4630 3707 1111 63 0 4567 0
vsize: 18520
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3745 0 0 0 104857 159 0 0 25 0 1 0 647532056 19099648 3720 4294967295 134512640 134714540 3221221776 3221220428 1077374048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4663 3720 1111 63 0 4600 0
vsize: 18652
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3759 0 0 0 105855 160 0 0 25 0 1 0 647532056 19099648 3734 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4663 3734 1111 63 0 4600 0
vsize: 18652
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3782 0 0 0 106854 162 0 0 25 0 1 0 647532056 19234816 3757 4294967295 134512640 134714540 3221221776 3221220324 134696721 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3757 1111 63 0 4633 0
vsize: 18784
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3799 0 0 0 107853 163 0 0 25 0 1 0 647532056 19234816 3774 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 3774 1111 63 0 4633 0
vsize: 18784
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3843 0 0 0 108852 165 0 0 25 0 1 0 647532056 19509248 3818 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3818 1111 63 0 4700 0
vsize: 19052
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3848 0 0 0 109851 166 0 0 25 0 1 0 647532056 19509248 3823 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3823 1111 63 0 4700 0
vsize: 19052
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3866 0 0 0 110849 167 0 0 25 0 1 0 647532056 19509248 3841 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4763 3841 1111 63 0 4700 0
vsize: 19052
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3881 0 0 0 111848 169 0 0 25 0 1 0 647532056 19644416 3856 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3856 1111 63 0 4733 0
vsize: 19184
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3905 0 0 0 112847 170 0 0 25 0 1 0 647532056 19644416 3880 4294967295 134512640 134714540 3221221776 3221220352 134549640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4796 3880 1111 63 0 4733 0
vsize: 19184
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3922 0 0 0 113846 172 0 0 25 0 1 0 647532056 19775488 3897 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4828 3897 1111 63 0 4765 0
vsize: 19312
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3935 0 0 0 114845 172 0 0 25 0 1 0 647532056 19775488 3910 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4828 3910 1111 63 0 4765 0
vsize: 19312
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3950 0 0 0 115844 173 0 0 25 0 1 0 647532056 19910656 3925 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4861 3925 1111 63 0 4798 0
vsize: 19444
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3973 0 0 0 116843 175 0 0 25 0 1 0 647532056 19910656 3948 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4861 3948 1111 63 0 4798 0
vsize: 19444
[startup+1174.89 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 776
Raw data (stat): 774 (bsolo_mis) R 773 7876 7672 0 -1 0 3973 0 0 0 116843 175 0 0 25 0 1 0 647532056 19910656 3948 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4861 3948 1111 63 0 4798 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.04
CPU user time (s): 1173.27
CPU system time (s): 1.76573
CPU usage (%): 100.013
Max. virtual memory (Kb): 19444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####