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-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	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	37
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 23209

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 11:42:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=120 boxname=wulflinc31 idbench=14 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 120
/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:        931384 kB
Buffers:         36100 kB
Cached:          45316 kB
SwapCached:        864 kB
Active:          70432 kB
Inactive:        13380 kB
HighTotal:      131008 kB
HighFree:        84644 kB
LowTotal:       903652 kB
LowFree:        846740 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13852 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 12:02:14 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 120 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2520 variables and 142 constraints.
c After prepocess the problem consists of 2520 variables and 142 constraints.
c preprocess terminated 0.845 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.92 0.95 0.91 2/54 11079
Raw data (stat): 11079 (runsolver) R 11078 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631202256 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1272 0 0 0 989 7 0 0 25 0 1 0 631202256 8921088 1247 4294967295 134512640 134714540 3221221776 3221220400 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2178 1247 1111 63 0 2115 0
vsize: 8712
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1410 0 0 0 1987 10 0 0 25 0 1 0 631202256 9437184 1385 4294967295 134512640 134714540 3221221776 3221220480 134584836 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2304 1385 1111 63 0 2241 0
vsize: 9216
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1476 0 0 0 2986 11 0 0 25 0 1 0 631202256 9699328 1451 4294967295 134512640 134714540 3221221776 3221220432 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2368 1451 1111 63 0 2305 0
vsize: 9472
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1553 0 0 0 3984 14 0 0 25 0 1 0 631202256 10072064 1528 4294967295 134512640 134714540 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2459 1528 1111 63 0 2396 0
vsize: 9836
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1708 0 0 0 4981 16 0 0 25 0 1 0 631202256 10747904 1683 4294967295 134512640 134714540 3221221776 3221220528 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2624 1683 1111 63 0 2561 0
vsize: 10496
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1900 0 0 0 5980 18 0 0 25 0 1 0 631202256 11423744 1875 4294967295 134512640 134714540 3221221776 3221220672 134595134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2789 1875 1111 63 0 2726 0
vsize: 11156
[startup+70.0009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 1971 0 0 0 6978 19 0 0 25 0 1 0 631202256 11829248 1946 4294967295 134512640 134714540 3221221776 3221220336 134696772 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2888 1946 1111 63 0 2825 0
vsize: 11552
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2007 0 0 0 7977 21 0 0 25 0 1 0 631202256 11960320 1982 4294967295 134512640 134714540 3221221776 3221220416 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2920 1982 1111 63 0 2857 0
vsize: 11680
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2038 0 0 0 8975 23 0 0 25 0 1 0 631202256 12070912 2013 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2947 2013 1111 63 0 2884 0
vsize: 11788
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2165 0 0 0 9973 25 0 0 25 0 1 0 631202256 12611584 2140 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3079 2140 1111 63 0 3016 0
vsize: 12316
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2255 0 0 0 10971 27 0 0 25 0 1 0 631202256 12869632 2230 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3142 2230 1111 63 0 3079 0
vsize: 12568
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2375 0 0 0 11969 29 0 0 25 0 1 0 631202256 13410304 2350 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3274 2350 1111 63 0 3211 0
vsize: 13096
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2432 0 0 0 12968 31 0 0 25 0 1 0 631202256 13672448 2407 4294967295 134512640 134714540 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2407 1111 63 0 3275 0
vsize: 13352
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2451 0 0 0 13966 32 0 0 25 0 1 0 631202256 13672448 2426 4294967295 134512640 134714540 3221221776 3221220536 134592149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3338 2426 1111 63 0 3275 0
vsize: 13352
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2478 0 0 0 14966 33 0 0 25 0 1 0 631202256 13807616 2453 4294967295 134512640 134714540 3221221776 3221220528 134534146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2453 1111 63 0 3308 0
vsize: 13484
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2565 0 0 0 15964 35 0 0 25 0 1 0 631202256 14200832 2540 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3467 2540 1111 63 0 3404 0
vsize: 13868
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2653 0 0 0 16963 36 0 0 25 0 1 0 631202256 14557184 2628 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3554 2628 1111 63 0 3491 0
vsize: 14216
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2740 0 0 0 17962 37 0 0 25 0 1 0 631202256 14962688 2715 4294967295 134512640 134714540 3221221776 3221220380 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3653 2715 1111 63 0 3590 0
vsize: 14612
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2792 0 0 0 18961 39 0 0 25 0 1 0 631202256 15097856 2767 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3686 2767 1111 63 0 3623 0
vsize: 14744
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2851 0 0 0 19960 40 0 0 25 0 1 0 631202256 15368192 2826 4294967295 134512640 134714540 3221221776 3221219812 134697475 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2826 1111 63 0 3689 0
vsize: 15008
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2884 0 0 0 20958 42 0 0 25 0 1 0 631202256 15503360 2859 4294967295 134512640 134714540 3221221776 3221220416 134696308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3785 2859 1111 63 0 3722 0
vsize: 15140
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2901 0 0 0 21957 44 0 0 25 0 1 0 631202256 15638528 2876 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2876 1111 63 0 3755 0
vsize: 15272
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2926 0 0 0 22955 46 0 0 25 0 1 0 631202256 15638528 2901 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2901 1111 63 0 3755 0
vsize: 15272
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2938 0 0 0 23954 47 0 0 25 0 1 0 631202256 15773696 2913 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3851 2913 1111 63 0 3788 0
vsize: 15404
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2968 0 0 0 24953 48 0 0 25 0 1 0 631202256 15904768 2943 4294967295 134512640 134714540 3221221776 3221220420 134524123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3883 2943 1111 63 0 3820 0
vsize: 15532
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 2979 0 0 0 25951 49 0 0 25 0 1 0 631202256 15904768 2954 4294967295 134512640 134714540 3221221776 3221220344 1077377395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3883 2954 1111 63 0 3820 0
vsize: 15532
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3035 0 0 0 26950 51 0 0 25 0 1 0 631202256 16175104 3010 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3949 3010 1111 63 0 3886 0
vsize: 15796
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3146 0 0 0 27948 53 0 0 25 0 1 0 631202256 16580608 3121 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3121 1111 63 0 3985 0
vsize: 16192
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3173 0 0 0 28947 54 0 0 25 0 1 0 631202256 16715776 3148 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 3148 1111 63 0 4018 0
vsize: 16324
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3194 0 0 0 29945 56 0 0 25 0 1 0 631202256 16715776 3169 4294967295 134512640 134714540 3221221776 3221220324 134696497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4081 3169 1111 63 0 4018 0
vsize: 16324
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3208 0 0 0 30944 58 0 0 25 0 1 0 631202256 16846848 3183 4294967295 134512640 134714540 3221221776 3221220288 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4113 3183 1111 63 0 4050 0
vsize: 16452
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3236 0 0 0 31942 60 0 0 25 0 1 0 631202256 16965632 3211 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4142 3211 1111 63 0 4079 0
vsize: 16568
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3269 0 0 0 32941 61 0 0 25 0 1 0 631202256 17100800 3244 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4175 3244 1111 63 0 4112 0
vsize: 16700
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3294 0 0 0 33939 63 0 0 25 0 1 0 631202256 17235968 3269 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3269 1111 63 0 4145 0
vsize: 16832
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3315 0 0 0 34938 64 0 0 25 0 1 0 631202256 17215488 3290 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4203 3290 1111 63 0 4140 0
vsize: 16812
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3366 0 0 0 35937 66 0 0 25 0 1 0 631202256 17485824 3341 4294967295 134512640 134714540 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4269 3341 1111 63 0 4206 0
vsize: 17076
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3381 0 0 0 36936 67 0 0 25 0 1 0 631202256 17485824 3356 4294967295 134512640 134714540 3221221776 3221220256 134697379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4269 3356 1111 63 0 4206 0
vsize: 17076
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3442 0 0 0 37934 69 0 0 25 0 1 0 631202256 17756160 3417 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4335 3417 1111 63 0 4272 0
vsize: 17340
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3456 0 0 0 38933 70 0 0 25 0 1 0 631202256 17891328 3431 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3431 1111 63 0 4305 0
vsize: 17472
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3457 0 0 0 39931 72 0 0 25 0 1 0 631202256 17891328 3432 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4368 3432 1111 63 0 4305 0
vsize: 17472
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3488 0 0 0 40929 74 0 0 25 0 1 0 631202256 18026496 3463 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 3463 1111 63 0 4338 0
vsize: 17604
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3516 0 0 0 41928 76 0 0 25 0 1 0 631202256 18161664 3491 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4434 3491 1111 63 0 4371 0
vsize: 17736
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3541 0 0 0 42927 77 0 0 25 0 1 0 631202256 18153472 3516 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4432 3516 1111 63 0 4369 0
vsize: 17728
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3614 0 0 0 43925 79 0 0 25 0 1 0 631202256 18558976 3589 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4531 3589 1111 63 0 4468 0
vsize: 18124
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3662 0 0 0 44924 80 0 0 25 0 1 0 631202256 18694144 3637 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3637 1111 63 0 4501 0
vsize: 18256
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3684 0 0 0 45923 82 0 0 25 0 1 0 631202256 18829312 3659 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4597 3659 1111 63 0 4534 0
vsize: 18388
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3687 0 0 0 46922 83 0 0 25 0 1 0 631202256 18829312 3662 4294967295 134512640 134714540 3221221776 3221220772 134574819 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4597 3662 1111 63 0 4534 0
vsize: 18388
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3739 0 0 0 47920 85 0 0 25 0 1 0 631202256 18964480 3714 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3714 1111 63 0 4567 0
vsize: 18520
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3763 0 0 0 48919 86 0 0 25 0 1 0 631202256 19099648 3738 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3738 1111 63 0 4600 0
vsize: 18652
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3777 0 0 0 49918 87 0 0 25 0 1 0 631202256 19099648 3752 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3752 1111 63 0 4600 0
vsize: 18652
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3871 0 0 0 50917 89 0 0 25 0 1 0 631202256 19607552 3846 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4787 3846 1111 63 0 4724 0
vsize: 19148
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3928 0 0 0 51915 91 0 0 25 0 1 0 631202256 19742720 3903 4294967295 134512640 134714540 3221221776 3221220464 134534122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4820 3903 1111 63 0 4757 0
vsize: 19280
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3970 0 0 0 52912 93 0 0 25 0 1 0 631202256 20000768 3945 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3945 1111 63 0 4820 0
vsize: 19532
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 3994 0 0 0 53911 95 0 0 25 0 1 0 631202256 20000768 3969 4294967295 134512640 134714540 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 3969 1111 63 0 4820 0
vsize: 19532
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4018 0 0 0 54909 96 0 0 25 0 1 0 631202256 20131840 3993 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4915 3993 1111 63 0 4852 0
vsize: 19660
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4040 0 0 0 55908 98 0 0 25 0 1 0 631202256 20267008 4015 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4948 4015 1111 63 0 4885 0
vsize: 19792
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4077 0 0 0 56907 99 0 0 25 0 1 0 631202256 20402176 4052 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4981 4052 1111 63 0 4918 0
vsize: 19924
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4132 0 0 0 57905 101 0 0 25 0 1 0 631202256 20672512 4107 4294967295 134512640 134714540 3221221776 3221220324 134696713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5047 4107 1111 63 0 4984 0
vsize: 20188
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4173 0 0 0 58904 103 0 0 25 0 1 0 631202256 20807680 4148 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5080 4148 1111 63 0 5017 0
vsize: 20320
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4177 0 0 0 59903 104 0 0 25 0 1 0 631202256 20807680 4152 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5080 4152 1111 63 0 5017 0
vsize: 20320
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4209 0 0 0 60901 105 0 0 25 0 1 0 631202256 20942848 4184 4294967295 134512640 134714540 3221221776 3221220352 134549470 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5113 4184 1111 63 0 5050 0
vsize: 20452
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4256 0 0 0 61900 107 0 0 25 0 1 0 631202256 21078016 4231 4294967295 134512640 134714540 3221221776 3221220400 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5146 4231 1111 63 0 5083 0
vsize: 20584
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4290 0 0 0 62899 109 0 0 25 0 1 0 631202256 21213184 4265 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5179 4265 1111 63 0 5116 0
vsize: 20716
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4324 0 0 0 63898 109 0 0 25 0 1 0 631202256 21348352 4299 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5212 4299 1111 63 0 5149 0
vsize: 20848
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4331 0 0 0 64897 111 0 0 25 0 1 0 631202256 21483520 4306 4294967295 134512640 134714540 3221221776 3221220416 134696148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5245 4306 1111 63 0 5182 0
vsize: 20980
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4361 0 0 0 65895 112 0 0 25 0 1 0 631202256 21618688 4336 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5278 4336 1111 63 0 5215 0
vsize: 21112
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4397 0 0 0 66895 113 0 0 25 0 1 0 631202256 21749760 4372 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4372 1111 63 0 5247 0
vsize: 21240
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4410 0 0 0 67893 115 0 0 25 0 1 0 631202256 21749760 4385 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5310 4385 1111 63 0 5247 0
vsize: 21240
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4433 0 0 0 68891 117 0 0 25 0 1 0 631202256 21884928 4408 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5343 4408 1111 63 0 5280 0
vsize: 21372
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4461 0 0 0 69890 118 0 0 25 0 1 0 631202256 21991424 4436 4294967295 134512640 134714540 3221221776 3221220468 134524411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4436 1111 63 0 5306 0
vsize: 21476
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4539 0 0 0 70888 120 0 0 25 0 1 0 631202256 22261760 4514 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4514 1111 63 0 5372 0
vsize: 21740
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4539 0 0 0 71887 121 0 0 25 0 1 0 631202256 22261760 4514 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4514 1111 63 0 5372 0
vsize: 21740
[startup+730.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4539 0 0 0 72886 123 0 0 25 0 1 0 631202256 22261760 4514 4294967295 134512640 134714540 3221221776 3221220444 134551637 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5435 4514 1111 63 0 5372 0
vsize: 21740
[startup+740.012 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4555 0 0 0 73885 124 0 0 25 0 1 0 631202256 22396928 4530 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4530 1111 63 0 5405 0
vsize: 21872
[startup+750.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4560 0 0 0 74883 126 0 0 25 0 1 0 631202256 22396928 4535 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4535 1111 63 0 5405 0
vsize: 21872
[startup+760.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4575 0 0 0 75882 128 0 0 25 0 1 0 631202256 22396928 4550 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5468 4550 1111 63 0 5405 0
vsize: 21872
[startup+770.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4588 0 0 0 76880 129 0 0 25 0 1 0 631202256 22532096 4563 4294967295 134512640 134714540 3221221776 3221220572 134554948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4563 1111 63 0 5438 0
vsize: 22004
[startup+780.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4607 0 0 0 77879 130 0 0 25 0 1 0 631202256 22532096 4582 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5501 4582 1111 63 0 5438 0
vsize: 22004
[startup+790.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4623 0 0 0 78878 132 0 0 25 0 1 0 631202256 22667264 4598 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5534 4598 1111 63 0 5471 0
vsize: 22136
[startup+800.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4659 0 0 0 79877 133 0 0 25 0 1 0 631202256 22802432 4634 4294967295 134512640 134714540 3221221776 3221220468 134524411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5567 4634 1111 63 0 5504 0
vsize: 22268
[startup+810.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4668 0 0 0 80876 134 0 0 25 0 1 0 631202256 22802432 4643 4294967295 134512640 134714540 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5567 4643 1111 63 0 5504 0
vsize: 22268
[startup+820.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4668 0 0 0 81875 135 0 0 25 0 1 0 631202256 22802432 4643 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5567 4643 1111 63 0 5504 0
vsize: 22268
[startup+830.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4691 0 0 0 82874 136 0 0 25 0 1 0 631202256 22937600 4666 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5600 4666 1111 63 0 5537 0
vsize: 22400
[startup+840.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4715 0 0 0 83873 137 0 0 25 0 1 0 631202256 23072768 4690 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5633 4690 1111 63 0 5570 0
vsize: 22532
[startup+850.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4731 0 0 0 84873 138 0 0 25 0 1 0 631202256 23068672 4706 4294967295 134512640 134714540 3221221776 3221220268 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5632 4706 1111 63 0 5569 0
vsize: 22528
[startup+860.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4753 0 0 0 85872 140 0 0 25 0 1 0 631202256 23195648 4728 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5663 4728 1111 63 0 5600 0
vsize: 22652
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4799 0 0 0 86870 141 0 0 25 0 1 0 631202256 23330816 4774 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5696 4774 1111 63 0 5633 0
vsize: 22784
[startup+880.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4811 0 0 0 87869 142 0 0 25 0 1 0 631202256 23465984 4786 4294967295 134512640 134714540 3221221776 3221220408 134696379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5729 4786 1111 63 0 5666 0
vsize: 22916
[startup+890.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4818 0 0 0 88868 144 0 0 25 0 1 0 631202256 23465984 4793 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5729 4793 1111 63 0 5666 0
vsize: 22916
[startup+900.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4827 0 0 0 89867 145 0 0 25 0 1 0 631202256 23465984 4802 4294967295 134512640 134714540 3221221776 3221220464 134528420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5729 4802 1111 63 0 5666 0
vsize: 22916
[startup+910.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4848 0 0 0 90866 146 0 0 25 0 1 0 631202256 23601152 4823 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 4823 1111 63 0 5699 0
vsize: 23048
[startup+920.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4853 0 0 0 91865 147 0 0 25 0 1 0 631202256 23601152 4828 4294967295 134512640 134714540 3221221776 3221220172 1077379910 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 4828 1111 63 0 5699 0
vsize: 23048
[startup+930.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4853 0 0 0 92864 148 0 0 25 0 1 0 631202256 23601152 4828 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 4828 1111 63 0 5699 0
vsize: 23048
[startup+940.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4856 0 0 0 93863 149 0 0 25 0 1 0 631202256 23601152 4831 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 4831 1111 63 0 5699 0
vsize: 23048
[startup+950.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4868 0 0 0 94862 150 0 0 25 0 1 0 631202256 23601152 4843 4294967295 134512640 134714540 3221221776 3221220356 1077378603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5762 4843 1111 63 0 5699 0
vsize: 23048
[startup+960.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4889 0 0 0 95861 152 0 0 25 0 1 0 631202256 23732224 4864 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4864 1111 63 0 5731 0
vsize: 23176
[startup+970.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4889 0 0 0 96860 153 0 0 25 0 1 0 631202256 23732224 4864 4294967295 134512640 134714540 3221221776 3221220452 1077374441 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4864 1111 63 0 5731 0
vsize: 23176
[startup+980.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4889 0 0 0 97859 154 0 0 25 0 1 0 631202256 23732224 4864 4294967295 134512640 134714540 3221221776 3221220344 1077377281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4864 1111 63 0 5731 0
vsize: 23176
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 4952 0 0 0 98857 156 0 0 25 0 1 0 631202256 23982080 4927 4294967295 134512640 134714540 3221221776 3221220344 1077377259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5855 4927 1111 63 0 5792 0
vsize: 23420
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5092 0 0 0 99855 159 0 0 25 0 1 0 631202256 24518656 5067 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5067 1111 63 0 5923 0
vsize: 23944
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5175 0 0 0 100853 161 0 0 25 0 1 0 631202256 24924160 5150 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6085 5150 1111 63 0 6022 0
vsize: 24340
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5255 0 0 0 101852 162 0 0 25 0 1 0 631202256 25186304 5230 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6149 5230 1111 63 0 6086 0
vsize: 24596
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5280 0 0 0 102851 163 0 0 25 0 1 0 631202256 25321472 5255 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6182 5255 1111 63 0 6119 0
vsize: 24728
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11079
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5293 0 0 0 103850 165 0 0 25 0 1 0 631202256 25321472 5268 4294967295 134512640 134714540 3221221776 3221220344 1077377227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6182 5268 1111 63 0 6119 0
vsize: 24728
[startup+1050.02 s]
Raw data (loadavg): 1.08 1.00 0.92 2/57 11123
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5312 0 0 0 104849 165 0 0 25 0 1 0 631202256 25456640 5287 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5287 1111 63 0 6152 0
vsize: 24860
[startup+1060.02 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5312 0 0 0 105848 167 0 0 25 0 1 0 631202256 25456640 5287 4294967295 134512640 134714540 3221221776 3221220368 134549702 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5287 1111 63 0 6152 0
vsize: 24860
[startup+1070.02 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5312 0 0 0 106847 168 0 0 25 0 1 0 631202256 25456640 5287 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6215 5287 1111 63 0 6152 0
vsize: 24860
[startup+1080.02 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5330 0 0 0 107845 170 0 0 25 0 1 0 631202256 25591808 5305 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6248 5305 1111 63 0 6185 0
vsize: 24992
[startup+1090.02 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5340 0 0 0 108844 171 0 0 25 0 1 0 631202256 25591808 5315 4294967295 134512640 134714540 3221221776 3221220488 134542829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6248 5315 1111 63 0 6185 0
vsize: 24992
[startup+1100.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5351 0 0 0 109843 172 0 0 25 0 1 0 631202256 25591808 5326 4294967295 134512640 134714540 3221221776 3221220416 134696120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6248 5326 1111 63 0 6185 0
vsize: 24992
[startup+1110.02 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 11132
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5365 0 0 0 110842 174 0 0 25 0 1 0 631202256 25698304 5340 4294967295 134512640 134714540 3221221776 3221220464 134594336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5340 1111 63 0 6211 0
vsize: 25096
[startup+1120.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5370 0 0 0 111841 175 0 0 25 0 1 0 631202256 25698304 5345 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6274 5345 1111 63 0 6211 0
vsize: 25096
[startup+1130.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5402 0 0 0 112840 176 0 0 25 0 1 0 631202256 25833472 5377 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6307 5377 1111 63 0 6244 0
vsize: 25228
[startup+1140.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5423 0 0 0 113838 178 0 0 25 0 1 0 631202256 25968640 5398 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6340 5398 1111 63 0 6277 0
vsize: 25360
[startup+1150.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5510 0 0 0 114835 181 0 0 25 0 1 0 631202256 26238976 5485 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6406 5485 1111 63 0 6343 0
vsize: 25624
[startup+1160.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5589 0 0 0 115833 183 0 0 25 0 1 0 631202256 26644480 5564 4294967295 134512640 134714540 3221221776 3221220528 134592185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6505 5564 1111 63 0 6442 0
vsize: 26020
[startup+1170.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5648 0 0 0 116832 184 0 0 25 0 1 0 631202256 26771456 5623 4294967295 134512640 134714540 3221221776 3221220492 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6536 5623 1111 63 0 6473 0
vsize: 26144
[startup+1174.89 s]
Raw data (loadavg): 1.01 1.00 0.92 1/53 11134
Raw data (stat): 11079 (bsolo_mis) R 11078 7876 7672 0 -1 0 5648 0 0 0 116832 184 0 0 25 0 1 0 631202256 26771456 5623 4294967295 134512640 134714540 3221221776 3221220492 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6536 5623 1111 63 0 6473 0
vsize: 0

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