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-fpga10_10_sat_pb.cnf.cr.opb
MD5SUM	5a251e27b2dc8cbc7d3f3836a6772e10
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	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.044992
Number of variables	150
Total number of constraints	130
Number of constraints which are clauses	110
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 23144

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-30 20:03:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3 boxname=wulflinc31 idbench=1 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5a251e27b2dc8cbc7d3f3836a6772e10  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_10_sat_pb.cnf.cr.opb
IDLAUNCH: 3
/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:        933824 kB
Buffers:         34928 kB
Cached:          43972 kB
SwapCached:        864 kB
Active:          66632 kB
Inactive:        14696 kB
HighTotal:      131008 kB
HighFree:        85988 kB
LowTotal:       903652 kB
LowFree:        847836 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13872 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-30 20:18:38 (client local time) WITH STATUS 10 IN 928.008 SECONDS
stats: 3 0 928.008 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 150 variables and 130 constraints.
c After prepocess the problem consists of 150 variables and 130 constraints.
c preprocess terminated 0.058 s
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 0 @ 927.931
s SATISFIABLE
v -v30 v146 -v147 -v148 -v149 -v150 -v80 v39 -v141 -v142 v143 -v144 -v145 v27 -v131 -v132 -v133 -v134 v135 -v18 -v136 -v137 -v138 v139 -v140 -v11 -v12 -v13 -v14 -v15 v16 -v17 -v19 -v20 -v40 -v81 -v82 -v83 -v84 -v85 -v86 -v87 -v88 -v89 v90 -v49 -v93 v111 -v112 -v113 -v114 -v115 -v73 -v21 -v101 -v102 -v103 v104 -v105 -v7 -v106 -v107 v108 -v109 -v110 -v75 -v121 -v122 -v123 -v124 v125 -v65 -v9 -v35 -v99 -v31 -v61 -v8 -v24 -v116 v117 -v118 -v119 -v120 -v22 -v23 -v25 -v26 -v28 -v29 -v52 v78 -v70 v45 -v50 -v97 -v126 v127 -v128 -v129 -v130 -v1 v2 -v3 -v4 -v5 -v6 -v10 -v62 -v36 -v32 -v46 -v55 -v33 -v58 -v96 -v98 -v79 -v59 -v37 -v63 v64 -v66 -v67 -v68 -v69 -v47 v91 -v44 -v76 -v34 -v38 -v92 -v94 -v95 -v100 -v54 -v72 v53 -v57 -v41 -v42 -v43 -v48 -v60 -v71 -v74 -v77 -v51 -v56 
c Exit Code: 10
c Total time: 927.932 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 0.99 0.83 2/54 4019
Raw data (stat): 4019 (runsolver) R 4018 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 625564657 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.94 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 1997 0 0 0 987 9 0 0 25 0 1 0 625564657 11841536 1972 4294967295 134512640 134714540 3221221744 3221220232 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2891 1972 1111 63 0 2828 0
vsize: 11564
[startup+20.0018 s]
Raw data (loadavg): 0.95 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 3254 0 0 0 1980 16 0 0 25 0 1 0 625564657 16990208 3229 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4148 3229 1111 63 0 4085 0
vsize: 16592
[startup+30.0027 s]
Raw data (loadavg): 0.96 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 4200 0 0 0 2975 21 0 0 25 0 1 0 625564657 20934656 4175 4294967295 134512640 134714540 3221221744 3221220552 134592041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4175 1111 63 0 5048 0
vsize: 20444
[startup+40.0036 s]
Raw data (loadavg): 0.96 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 4869 0 0 0 3972 24 0 0 25 0 1 0 625564657 23670784 4842 4294967295 134512640 134714540 3221221744 3221220240 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5779 4842 1111 63 0 5716 0
vsize: 23116
[startup+50.0053 s]
Raw data (loadavg): 0.97 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 5623 0 0 0 4968 28 0 0 25 0 1 0 625564657 26828800 5593 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6550 5593 1111 63 0 6487 0
vsize: 26200
[startup+60.0062 s]
Raw data (loadavg): 0.97 0.99 0.83 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 6170 0 0 0 5966 31 0 0 25 0 1 0 625564657 29147136 6140 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7116 6140 1111 63 0 7053 0
vsize: 28464
[startup+70.0062 s]
Raw data (loadavg): 0.98 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 7063 0 0 0 6962 35 0 0 25 0 1 0 625564657 32796672 7033 4294967295 134512640 134714540 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8007 7033 1111 63 0 7944 0
vsize: 32028
[startup+80.0071 s]
Raw data (loadavg): 0.98 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 7691 0 0 0 7959 38 0 0 25 0 1 0 625564657 35364864 7661 4294967295 134512640 134714540 3221221744 3221220512 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8634 7661 1111 63 0 8571 0
vsize: 34536
[startup+90.0071 s]
Raw data (loadavg): 0.98 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 8141 0 0 0 8957 41 0 0 25 0 1 0 625564657 37142528 8110 4294967295 134512640 134714540 3221221744 3221219748 134697372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9068 8110 1111 63 0 9005 0
vsize: 36272
[startup+100.008 s]
Raw data (loadavg): 0.98 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 8526 0 0 0 9955 42 0 0 25 0 1 0 625564657 38768640 8495 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9465 8495 1111 63 0 9402 0
vsize: 37860
[startup+110.009 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 9022 0 0 0 10953 45 0 0 25 0 1 0 625564657 40804352 8991 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9962 8991 1111 63 0 9899 0
vsize: 39848
[startup+120.009 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 9519 0 0 0 11950 48 0 0 25 0 1 0 625564657 42831872 9488 4294967295 134512640 134714540 3221221744 3221220400 134524262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10457 9488 1111 63 0 10394 0
vsize: 41828
[startup+130.01 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 9955 0 0 0 12948 50 0 0 25 0 1 0 625564657 44769280 9923 4294967295 134512640 134714540 3221221744 3221220464 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10930 9923 1111 63 0 10867 0
vsize: 43720
[startup+140.01 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 10339 0 0 0 13946 53 0 0 25 0 1 0 625564657 46256128 10306 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11293 10306 1111 63 0 11230 0
vsize: 45172
[startup+150.012 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 10650 0 0 0 14944 55 0 0 25 0 1 0 625564657 47472640 10617 4294967295 134512640 134714540 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11590 10617 1111 63 0 11527 0
vsize: 46360
[startup+160.013 s]
Raw data (loadavg): 0.99 0.99 0.84 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 11049 0 0 0 15942 57 0 0 25 0 1 0 625564657 49102848 11015 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11988 11015 1111 63 0 11925 0
vsize: 47952
[startup+170.013 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 11316 0 0 0 16940 59 0 0 25 0 1 0 625564657 50184192 11280 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12252 11280 1111 63 0 12189 0
vsize: 49008
[startup+180.013 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 11600 0 0 0 17939 60 0 0 25 0 1 0 625564657 51400704 11564 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12549 11564 1111 63 0 12486 0
vsize: 50196
[startup+190.014 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4019
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 11832 0 0 0 18938 62 0 0 25 0 1 0 625564657 52359168 11796 4294967295 134512640 134714540 3221221744 3221220504 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12783 11796 1111 63 0 12720 0
vsize: 51132
[startup+200.016 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 12046 0 0 0 19938 62 0 0 25 0 1 0 625564657 53170176 12010 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12981 12010 1111 63 0 12918 0
vsize: 51924
[startup+210.016 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 12250 0 0 0 20937 63 0 0 25 0 1 0 625564657 54116352 12214 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13212 12214 1111 63 0 13149 0
vsize: 52848
[startup+220.016 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 12503 0 0 0 21936 64 0 0 25 0 1 0 625564657 55083008 12467 4294967295 134512640 134714540 3221221744 3221220528 134529335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13448 12467 1111 63 0 13385 0
vsize: 53792
[startup+230.017 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 12717 0 0 0 22936 65 0 0 25 0 1 0 625564657 56057856 12679 4294967295 134512640 134714540 3221221744 3221220400 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13686 12679 1111 63 0 13623 0
vsize: 54744
[startup+240.017 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 12878 0 0 0 23935 66 0 0 25 0 1 0 625564657 56782848 12840 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13863 12840 1111 63 0 13800 0
vsize: 55452
[startup+250.019 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 13074 0 0 0 24935 66 0 0 25 0 1 0 625564657 57597952 13036 4294967295 134512640 134714540 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14062 13036 1111 63 0 13999 0
vsize: 56248
[startup+260.019 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 13239 0 0 0 25934 67 0 0 25 0 1 0 625564657 58322944 13200 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14239 13200 1111 63 0 14176 0
vsize: 56956
[startup+270.019 s]
Raw data (loadavg): 0.99 0.99 0.85 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 13543 0 0 0 26933 69 0 0 25 0 1 0 625564657 59592704 13504 4294967295 134512640 134714540 3221221744 3221220400 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14549 13504 1111 63 0 14486 0
vsize: 58196
[startup+280.02 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 14343 0 0 0 27929 73 0 0 25 0 1 0 625564657 62836736 14304 4294967295 134512640 134714540 3221221744 3221220320 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15341 14304 1111 63 0 15278 0
vsize: 61364
[startup+290.021 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 14907 0 0 0 28926 75 0 0 25 0 1 0 625564657 65134592 14868 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15902 14868 1111 63 0 15839 0
vsize: 63608
[startup+300.022 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 15378 0 0 0 29924 78 0 0 25 0 1 0 625564657 67039232 15339 4294967295 134512640 134714540 3221221744 3221220480 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16367 15339 1111 63 0 16304 0
vsize: 65468
[startup+310.022 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 15656 0 0 0 30923 80 0 0 25 0 1 0 625564657 68120576 15617 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16631 15617 1111 63 0 16568 0
vsize: 66524
[startup+320.022 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 15912 0 0 0 31922 81 0 0 25 0 1 0 625564657 69201920 15873 4294967295 134512640 134714540 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16895 15873 1111 63 0 16832 0
vsize: 67580
[startup+330.023 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 16262 0 0 0 32920 83 0 0 25 0 1 0 625564657 70774784 16222 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17279 16222 1111 63 0 17216 0
vsize: 69116
[startup+340.023 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 16826 0 0 0 33919 84 0 0 25 0 1 0 625564657 73011200 16785 4294967295 134512640 134714540 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16785 1111 63 0 17762 0
vsize: 71300
[startup+350.023 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 17264 0 0 0 34917 86 0 0 25 0 1 0 625564657 74846208 17220 4294967295 134512640 134714540 3221221744 3221220304 134535985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18273 17220 1111 63 0 18210 0
vsize: 73092
[startup+360.024 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 17631 0 0 0 35915 88 0 0 25 0 1 0 625564657 76333056 17587 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18636 17587 1111 63 0 18573 0
vsize: 74544
[startup+370.024 s]
Raw data (loadavg): 0.99 0.99 0.86 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 17968 0 0 0 36914 90 0 0 25 0 1 0 625564657 77684736 17923 4294967295 134512640 134714540 3221221744 3221220432 134594246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18966 17923 1111 63 0 18903 0
vsize: 75864
[startup+380.026 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 18208 0 0 0 37913 91 0 0 25 0 1 0 625564657 78704640 18163 4294967295 134512640 134714540 3221221744 3221220272 134535391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19215 18163 1111 63 0 19152 0
vsize: 76860
[startup+390.026 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 18509 0 0 0 38912 92 0 0 25 0 1 0 625564657 79970304 18458 4294967295 134512640 134714540 3221221744 3221220376 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19524 18458 1111 63 0 19461 0
vsize: 78096
[startup+400.027 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 18837 0 0 0 39911 93 0 0 25 0 1 0 625564657 81440768 18783 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19883 18783 1111 63 0 19820 0
vsize: 79532
[startup+410.027 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 19092 0 0 0 40909 95 0 0 25 0 1 0 625564657 82567168 19038 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20158 19038 1111 63 0 20095 0
vsize: 80632
[startup+420.027 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 19300 0 0 0 41909 96 0 0 25 0 1 0 625564657 83578880 19237 4294967295 134512640 134714540 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20405 19237 1111 63 0 20342 0
vsize: 81620
[startup+430.028 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 19730 0 0 0 42907 98 0 0 25 0 1 0 625564657 85422080 19664 4294967295 134512640 134714540 3221221744 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20855 19664 1111 63 0 20792 0
vsize: 83420
[startup+440.028 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 20173 0 0 0 43905 100 0 0 25 0 1 0 625564657 87314432 20107 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21317 20107 1111 63 0 21254 0
vsize: 85268
[startup+450.029 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 20542 0 0 0 44904 102 0 0 25 0 1 0 625564657 88809472 20476 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21682 20476 1111 63 0 21619 0
vsize: 86728
[startup+460.03 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 20781 0 0 0 45902 103 0 0 25 0 1 0 625564657 89755648 20715 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21913 20715 1111 63 0 21850 0
vsize: 87652
[startup+470.03 s]
Raw data (loadavg): 0.99 0.99 0.87 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 20993 0 0 0 46902 104 0 0 25 0 1 0 625564657 90583040 20927 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22115 20927 1111 63 0 22052 0
vsize: 88460
[startup+480.03 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 21213 0 0 0 47901 104 0 0 25 0 1 0 625564657 91529216 21147 4294967295 134512640 134714540 3221221744 3221220528 134529249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22346 21147 1111 63 0 22283 0
vsize: 89384
[startup+490.031 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 21430 0 0 0 48901 105 0 0 25 0 1 0 625564657 92602368 21358 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22608 21358 1111 63 0 22545 0
vsize: 90432
[startup+500.032 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 21609 0 0 0 49900 107 0 0 25 0 1 0 625564657 93278208 21537 4294967295 134512640 134714540 3221221744 3221220484 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22773 21537 1111 63 0 22710 0
vsize: 91092
[startup+510.033 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 21859 0 0 0 50899 108 0 0 25 0 1 0 625564657 94326784 21778 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23029 21778 1111 63 0 22966 0
vsize: 92116
[startup+520.032 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 22019 0 0 0 51898 109 0 0 25 0 1 0 625564657 95068160 21938 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23210 21938 1111 63 0 23147 0
vsize: 92840
[startup+530.033 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 22147 0 0 0 52898 109 0 0 25 0 1 0 625564657 95473664 22066 4294967295 134512640 134714540 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23309 22066 1111 63 0 23246 0
vsize: 93236
[startup+540.033 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 22366 0 0 0 53897 110 0 0 25 0 1 0 625564657 96419840 22285 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23540 22285 1111 63 0 23477 0
vsize: 94160
[startup+550.034 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 22763 0 0 0 54895 113 0 0 25 0 1 0 625564657 98107392 22678 4294967295 134512640 134714540 3221221744 3221220336 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23952 22678 1111 63 0 23889 0
vsize: 95808
[startup+560.034 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 23058 0 0 0 55893 114 0 0 25 0 1 0 625564657 99328000 22973 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24250 22973 1111 63 0 24187 0
vsize: 97000
[startup+570.035 s]
Raw data (loadavg): 0.99 0.99 0.88 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 23275 0 0 0 56892 115 0 0 25 0 1 0 625564657 100286464 23190 4294967295 134512640 134714540 3221221744 3221220320 134549852 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24484 23190 1111 63 0 24421 0
vsize: 97936
[startup+580.036 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 23502 0 0 0 57891 116 0 0 25 0 1 0 625564657 101261312 23416 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24722 23416 1111 63 0 24659 0
vsize: 98888
[startup+590.036 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 23824 0 0 0 58891 117 0 0 25 0 1 0 625564657 102600704 23734 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25049 23734 1111 63 0 24986 0
vsize: 100196
[startup+600.037 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24091 0 0 0 59889 119 0 0 25 0 1 0 625564657 103759872 23999 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25332 23999 1111 63 0 25269 0
vsize: 101328
[startup+610.038 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24273 0 0 0 60888 120 0 0 25 0 1 0 625564657 104570880 24181 4294967295 134512640 134714540 3221221744 3221220428 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25530 24181 1111 63 0 25467 0
vsize: 102120
[startup+620.038 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24409 0 0 0 61886 121 0 0 25 0 1 0 625564657 105111552 24317 4294967295 134512640 134714540 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25662 24317 1111 63 0 25599 0
vsize: 102648
[startup+630.039 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24635 0 0 0 62885 123 0 0 25 0 1 0 625564657 106151936 24536 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25916 24536 1111 63 0 25853 0
vsize: 103664
[startup+640.04 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24806 0 0 0 63884 124 0 0 25 0 1 0 625564657 106827776 24707 4294967295 134512640 134714540 3221221744 3221220320 134549825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26081 24707 1111 63 0 26018 0
vsize: 104324
[startup+650.041 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 24987 0 0 0 64884 124 0 0 25 0 1 0 625564657 107573248 24887 4294967295 134512640 134714540 3221221744 3221220336 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26263 24887 1111 63 0 26200 0
vsize: 105052
[startup+660.041 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 25256 0 0 0 65883 125 0 0 25 0 1 0 625564657 108744704 25147 4294967295 134512640 134714540 3221221744 3221220384 134536698 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26549 25147 1111 63 0 26486 0
vsize: 106196
[startup+670.042 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 25440 0 0 0 66883 126 0 0 25 0 1 0 625564657 109555712 25331 4294967295 134512640 134714540 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26747 25331 1111 63 0 26684 0
vsize: 106988
[startup+680.043 s]
Raw data (loadavg): 0.99 0.99 0.89 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 25765 0 0 0 67881 128 0 0 25 0 1 0 625564657 111001600 25649 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27100 25649 1111 63 0 27037 0
vsize: 108400
[startup+690.043 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 25979 0 0 0 68881 128 0 0 25 0 1 0 625564657 111812608 25863 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27298 25863 1111 63 0 27235 0
vsize: 109192
[startup+700.044 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 26143 0 0 0 69881 129 0 0 25 0 1 0 625564657 112353280 26027 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27430 26027 1111 63 0 27367 0
vsize: 109720
[startup+710.045 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 26334 0 0 0 70881 129 0 0 25 0 1 0 625564657 113164288 26218 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27628 26218 1111 63 0 27565 0
vsize: 110512
[startup+720.045 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 26533 0 0 0 71880 130 0 0 25 0 1 0 625564657 113975296 26416 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27826 26416 1111 63 0 27763 0
vsize: 111304
[startup+730.046 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 26707 0 0 0 72879 131 0 0 25 0 1 0 625564657 114651136 26590 4294967295 134512640 134714540 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27991 26590 1111 63 0 27928 0
vsize: 111964
[startup+740.047 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 26861 0 0 0 73879 131 0 0 25 0 1 0 625564657 115326976 26744 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28156 26744 1111 63 0 28093 0
vsize: 112624
[startup+750.048 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27035 0 0 0 74879 132 0 0 25 0 1 0 625564657 116015104 26918 4294967295 134512640 134714540 3221221744 3221220304 134549725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28324 26918 1111 63 0 28261 0
vsize: 113296
[startup+760.049 s]
Raw data (loadavg): 0.99 0.99 0.90 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27263 0 0 0 75878 133 0 0 25 0 1 0 625564657 117018624 27146 4294967295 134512640 134714540 3221221744 3221220528 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28569 27146 1111 63 0 28506 0
vsize: 114276
[startup+770.049 s]
Raw data (loadavg): 1.07 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27442 0 0 0 76876 135 0 0 25 0 1 0 625564657 117829632 27325 4294967295 134512640 134714540 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28767 27325 1111 63 0 28704 0
vsize: 115068
[startup+780.05 s]
Raw data (loadavg): 1.06 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27590 0 0 0 77876 135 0 0 25 0 1 0 625564657 118370304 27473 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28899 27473 1111 63 0 28836 0
vsize: 115596
[startup+790.05 s]
Raw data (loadavg): 1.05 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27728 0 0 0 78875 136 0 0 25 0 1 0 625564657 118910976 27611 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29031 27611 1111 63 0 28968 0
vsize: 116124
[startup+800.051 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 27866 0 0 0 79875 136 0 0 25 0 1 0 625564657 119517184 27741 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29179 27741 1111 63 0 29116 0
vsize: 116716
[startup+810.052 s]
Raw data (loadavg): 1.04 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28081 0 0 0 80874 138 0 0 25 0 1 0 625564657 120528896 27951 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29426 27951 1111 63 0 29363 0
vsize: 117704
[startup+820.052 s]
Raw data (loadavg): 1.03 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28217 0 0 0 81873 139 0 0 25 0 1 0 625564657 121135104 28081 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29574 28081 1111 63 0 29511 0
vsize: 118296
[startup+830.053 s]
Raw data (loadavg): 1.03 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28429 0 0 0 82873 140 0 0 25 0 1 0 625564657 122122240 28291 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29815 28291 1111 63 0 29752 0
vsize: 119260
[startup+840.054 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28599 0 0 0 83872 140 0 0 25 0 1 0 625564657 122798080 28461 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29980 28461 1111 63 0 29917 0
vsize: 119920
[startup+850.053 s]
Raw data (loadavg): 1.02 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28759 0 0 0 84872 141 0 0 25 0 1 0 625564657 123539456 28616 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30161 28616 1111 63 0 30098 0
vsize: 120644
[startup+860.055 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 28882 0 0 0 85871 141 0 0 25 0 1 0 625564657 124080128 28739 4294967295 134512640 134714540 3221221744 3221220300 134535634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30293 28739 1111 63 0 30230 0
vsize: 121172
[startup+870.054 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29004 0 0 0 86871 142 0 0 25 0 1 0 625564657 124485632 28860 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30392 28860 1111 63 0 30329 0
vsize: 121568
[startup+880.055 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29091 0 0 0 87871 142 0 0 25 0 1 0 625564657 124891136 28947 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30491 28947 1111 63 0 30428 0
vsize: 121964
[startup+890.055 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29188 0 0 0 88871 143 0 0 25 0 1 0 625564657 125296640 29044 4294967295 134512640 134714540 3221221744 3221220480 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30590 29044 1111 63 0 30527 0
vsize: 122360
[startup+900.055 s]
Raw data (loadavg): 1.01 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29285 0 0 0 89870 144 0 0 25 0 1 0 625564657 125702144 29141 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30689 29141 1111 63 0 30626 0
vsize: 122756
[startup+910.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29375 0 0 0 90870 144 0 0 25 0 1 0 625564657 125972480 29231 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30755 29231 1111 63 0 30692 0
vsize: 123020
[startup+920.056 s]
Raw data (loadavg): 1.00 1.00 0.91 2/54 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29441 0 0 0 91869 144 0 0 25 0 1 0 625564657 126386176 29296 4294967295 134512640 134714540 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30856 29296 1111 63 0 30793 0
vsize: 123424
[startup+927.925 s]
Raw data (loadavg): 1.00 1.00 0.91 1/53 4021
Raw data (stat): 4019 (bsolo_mis) R 4018 3722 3553 0 -1 0 29441 0 0 0 91869 144 0 0 25 0 1 0 625564657 126386176 29296 4294967295 134512640 134714540 3221221744 3221220528 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30856 29296 1111 63 0 30793 0
vsize: 0

Child status: 10
Real time (s): 927.924
CPU time (s): 928.008
CPU user time (s): 926.506
CPU system time (s): 1.50177
CPU usage (%): 100.009
Max. virtual memory (Kb): 123424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	0
#### END VERIFIER DATA ####