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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
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.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 23199

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 09:02:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=102 boxname=wulflinc31 idbench=12 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 102
/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:        931704 kB
Buffers:         35920 kB
Cached:          45224 kB
SwapCached:        864 kB
Active:          70272 kB
Inactive:        13228 kB
HighTotal:      131008 kB
HighFree:        84812 kB
LowTotal:       903652 kB
LowFree:        846892 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13868 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 09:21:58 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 102 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2100 variables and 130 constraints.
c After prepocess the problem consists of 2100 variables and 130 constraints.
c preprocess terminated 0.686 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.15 1.03 0.93 2/54 10015
Raw data (stat): 10015 (runsolver) R 10014 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630240562 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.0016 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1229 0 0 0 991 5 0 0 25 0 1 0 630240562 8712192 1204 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2127 1204 1111 63 0 2064 0
vsize: 8508
[startup+20.0022 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1387 0 0 0 1987 9 0 0 25 0 1 0 630240562 9379840 1362 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2290 1362 1111 63 0 2227 0
vsize: 9160
[startup+30.003 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1486 0 0 0 2984 12 0 0 25 0 1 0 630240562 9785344 1461 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2389 1461 1111 63 0 2326 0
vsize: 9556
[startup+40.0034 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1526 0 0 0 3982 14 0 0 25 0 1 0 630240562 9920512 1501 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2422 1501 1111 63 0 2359 0
vsize: 9688
[startup+50.0039 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1560 0 0 0 4980 16 0 0 25 0 1 0 630240562 10055680 1535 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2455 1535 1111 63 0 2392 0
vsize: 9820
[startup+60.0047 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1578 0 0 0 5979 18 0 0 25 0 1 0 630240562 10190848 1553 4294967295 134512640 134714540 3221221776 3221220248 1077377218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2488 1553 1111 63 0 2425 0
vsize: 9952
[startup+70.005 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1617 0 0 0 6977 19 0 0 25 0 1 0 630240562 10326016 1592 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1592 1111 63 0 2458 0
vsize: 10084
[startup+80.0056 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1627 0 0 0 7975 22 0 0 25 0 1 0 630240562 10326016 1602 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2521 1602 1111 63 0 2458 0
vsize: 10084
[startup+90.0055 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1652 0 0 0 8972 25 0 0 25 0 1 0 630240562 10461184 1627 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1627 1111 63 0 2491 0
vsize: 10216
[startup+100.006 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1661 0 0 0 9970 27 0 0 25 0 1 0 630240562 10461184 1636 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2554 1636 1111 63 0 2491 0
vsize: 10216
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1861 0 0 0 10969 28 0 0 25 0 1 0 630240562 11272192 1836 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2752 1836 1111 63 0 2689 0
vsize: 11008
[startup+120.006 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 1967 0 0 0 11967 30 0 0 25 0 1 0 630240562 11804672 1942 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2882 1942 1111 63 0 2819 0
vsize: 11528
[startup+130.007 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2071 0 0 0 12965 33 0 0 25 0 1 0 630240562 12210176 2046 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2981 2046 1111 63 0 2918 0
vsize: 11924
[startup+140.007 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2258 0 0 0 13963 35 0 0 25 0 1 0 630240562 12886016 2233 4294967295 134512640 134714540 3221221776 3221220384 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3146 2233 1111 63 0 3083 0
vsize: 12584
[startup+150.007 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2370 0 0 0 14960 38 0 0 25 0 1 0 630240562 13418496 2345 4294967295 134512640 134714540 3221221776 3221220432 134523856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3276 2345 1111 63 0 3213 0
vsize: 13104
[startup+160.008 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2410 0 0 0 15959 40 0 0 25 0 1 0 630240562 13553664 2385 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3309 2385 1111 63 0 3246 0
vsize: 13236
[startup+170.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2467 0 0 0 16956 42 0 0 25 0 1 0 630240562 13824000 2442 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3375 2442 1111 63 0 3312 0
vsize: 13500
[startup+180.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2508 0 0 0 17954 45 0 0 25 0 1 0 630240562 13959168 2483 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3408 2483 1111 63 0 3345 0
vsize: 13632
[startup+190.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2548 0 0 0 18953 46 0 0 25 0 1 0 630240562 14094336 2523 4294967295 134512640 134714540 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3441 2523 1111 63 0 3378 0
vsize: 13764
[startup+200.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2578 0 0 0 19950 49 0 0 25 0 1 0 630240562 14229504 2553 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3474 2553 1111 63 0 3411 0
vsize: 13896
[startup+210.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2604 0 0 0 20948 51 0 0 25 0 1 0 630240562 14364672 2579 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3507 2579 1111 63 0 3444 0
vsize: 14028
[startup+220.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2614 0 0 0 21946 53 0 0 25 0 1 0 630240562 14364672 2589 4294967295 134512640 134714540 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3507 2589 1111 63 0 3444 0
vsize: 14028
[startup+230.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10015
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2664 0 0 0 22945 55 0 0 25 0 1 0 630240562 14626816 2639 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3571 2639 1111 63 0 3508 0
vsize: 14284
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2719 0 0 0 23943 57 0 0 25 0 1 0 630240562 14761984 2694 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3604 2694 1111 63 0 3541 0
vsize: 14416
[startup+250.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2748 0 0 0 24942 58 0 0 25 0 1 0 630240562 14897152 2723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3637 2723 1111 63 0 3574 0
vsize: 14548
[startup+260.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2795 0 0 0 25940 60 0 0 25 0 1 0 630240562 15159296 2770 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2770 1111 63 0 3638 0
vsize: 14804
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2816 0 0 0 26939 61 0 0 25 0 1 0 630240562 15159296 2791 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2791 1111 63 0 3638 0
vsize: 14804
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2854 0 0 0 27938 63 0 0 25 0 1 0 630240562 15429632 2829 4294967295 134512640 134714540 3221221776 3221220172 1077379863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2829 1111 63 0 3704 0
vsize: 15068
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2883 0 0 0 28936 64 0 0 25 0 1 0 630240562 15564800 2858 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2858 1111 63 0 3737 0
vsize: 15200
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2909 0 0 0 29935 66 0 0 25 0 1 0 630240562 15552512 2884 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3797 2884 1111 63 0 3734 0
vsize: 15188
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2909 0 0 0 30934 68 0 0 25 0 1 0 630240562 15552512 2884 4294967295 134512640 134714540 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3797 2884 1111 63 0 3734 0
vsize: 15188
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2909 0 0 0 31933 69 0 0 25 0 1 0 630240562 15552512 2884 4294967295 134512640 134714540 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3797 2884 1111 63 0 3734 0
vsize: 15188
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2951 0 0 0 32931 71 0 0 25 0 1 0 630240562 15822848 2926 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3863 2926 1111 63 0 3800 0
vsize: 15452
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 2983 0 0 0 33930 72 0 0 25 0 1 0 630240562 15958016 2958 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3896 2958 1111 63 0 3833 0
vsize: 15584
[startup+350.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3067 0 0 0 34928 74 0 0 25 0 1 0 630240562 16228352 3042 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3962 3042 1111 63 0 3899 0
vsize: 15848
[startup+360.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3095 0 0 0 35926 76 0 0 25 0 1 0 630240562 16363520 3070 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3995 3070 1111 63 0 3932 0
vsize: 15980
[startup+370.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3119 0 0 0 36925 77 0 0 25 0 1 0 630240562 16490496 3094 4294967295 134512640 134714540 3221221776 3221220432 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3094 1111 63 0 3963 0
vsize: 16104
[startup+380.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3124 0 0 0 37924 79 0 0 25 0 1 0 630240562 16490496 3099 4294967295 134512640 134714540 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4026 3099 1111 63 0 3963 0
vsize: 16104
[startup+390.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3146 0 0 0 38923 80 0 0 25 0 1 0 630240562 16625664 3121 4294967295 134512640 134714540 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3121 1111 63 0 3996 0
vsize: 16236
[startup+400.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3172 0 0 0 39921 82 0 0 25 0 1 0 630240562 16625664 3147 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4059 3147 1111 63 0 3996 0
vsize: 16236
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3184 0 0 0 40920 83 0 0 25 0 1 0 630240562 16760832 3159 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3159 1111 63 0 4029 0
vsize: 16368
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3197 0 0 0 41919 85 0 0 25 0 1 0 630240562 16760832 3172 4294967295 134512640 134714540 3221221776 3221220272 134535397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4092 3172 1111 63 0 4029 0
vsize: 16368
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3218 0 0 0 42917 87 0 0 25 0 1 0 630240562 16896000 3193 4294967295 134512640 134714540 3221221776 3221220384 134548659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3193 1111 63 0 4062 0
vsize: 16500
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3229 0 0 0 43916 88 0 0 25 0 1 0 630240562 16896000 3204 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3204 1111 63 0 4062 0
vsize: 16500
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3234 0 0 0 44914 90 0 0 25 0 1 0 630240562 16896000 3209 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4125 3209 1111 63 0 4062 0
vsize: 16500
[startup+460.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3244 0 0 0 45912 92 0 0 25 0 1 0 630240562 17031168 3219 4294967295 134512640 134714540 3221221776 3221220544 134592516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3219 1111 63 0 4095 0
vsize: 16632
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3264 0 0 0 46910 94 0 0 25 0 1 0 630240562 17031168 3239 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3239 1111 63 0 4095 0
vsize: 16632
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3274 0 0 0 47909 95 0 0 25 0 1 0 630240562 17158144 3249 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3249 1111 63 0 4126 0
vsize: 16756
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3274 0 0 0 48908 96 0 0 25 0 1 0 630240562 17158144 3249 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3249 1111 63 0 4126 0
vsize: 16756
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3301 0 0 0 49907 98 0 0 25 0 1 0 630240562 17158144 3276 4294967295 134512640 134714540 3221221776 3221220344 1077377281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4189 3276 1111 63 0 4126 0
vsize: 16756
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3330 0 0 0 50906 100 0 0 25 0 1 0 630240562 17264640 3305 4294967295 134512640 134714540 3221221776 3221220464 134524415 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4215 3305 1111 63 0 4152 0
vsize: 16860
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3385 0 0 0 51904 101 0 0 25 0 1 0 630240562 17526784 3360 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4279 3360 1111 63 0 4216 0
vsize: 17116
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3406 0 0 0 52903 103 0 0 25 0 1 0 630240562 17661952 3381 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4312 3381 1111 63 0 4249 0
vsize: 17248
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3447 0 0 0 53901 104 0 0 25 0 1 0 630240562 17797120 3422 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4345 3422 1111 63 0 4282 0
vsize: 17380
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3479 0 0 0 54899 107 0 0 25 0 1 0 630240562 17932288 3454 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4378 3454 1111 63 0 4315 0
vsize: 17512
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3494 0 0 0 55897 108 0 0 25 0 1 0 630240562 18059264 3469 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3469 1111 63 0 4346 0
vsize: 17636
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3509 0 0 0 56897 109 0 0 25 0 1 0 630240562 18059264 3484 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3484 1111 63 0 4346 0
vsize: 17636
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3523 0 0 0 57895 111 0 0 25 0 1 0 630240562 18059264 3498 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3498 1111 63 0 4346 0
vsize: 17636
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3574 0 0 0 58893 113 0 0 25 0 1 0 630240562 18317312 3549 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4472 3549 1111 63 0 4409 0
vsize: 17888
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3594 0 0 0 59893 114 0 0 25 0 1 0 630240562 18452480 3569 4294967295 134512640 134714540 3221221776 3221220432 134536683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3569 1111 63 0 4442 0
vsize: 18020
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3595 0 0 0 60891 116 0 0 25 0 1 0 630240562 18452480 3570 4294967295 134512640 134714540 3221221776 3221220408 134696345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3570 1111 63 0 4442 0
vsize: 18020
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3595 0 0 0 61890 117 0 0 25 0 1 0 630240562 18452480 3570 4294967295 134512640 134714540 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3570 1111 63 0 4442 0
vsize: 18020
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3596 0 0 0 62888 119 0 0 25 0 1 0 630240562 18452480 3571 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3571 1111 63 0 4442 0
vsize: 18020
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3616 0 0 0 63887 120 0 0 25 0 1 0 630240562 18452480 3591 4294967295 134512640 134714540 3221221776 3221220512 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4505 3591 1111 63 0 4442 0
vsize: 18020
[startup+650.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3644 0 0 0 64885 122 0 0 25 0 1 0 630240562 18587648 3619 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3619 1111 63 0 4475 0
vsize: 18152
[startup+660.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3662 0 0 0 65884 124 0 0 25 0 1 0 630240562 18722816 3637 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3637 1111 63 0 4508 0
vsize: 18284
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3665 0 0 0 66883 125 0 0 25 0 1 0 630240562 18722816 3640 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3640 1111 63 0 4508 0
vsize: 18284
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3665 0 0 0 67881 127 0 0 25 0 1 0 630240562 18722816 3640 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3640 1111 63 0 4508 0
vsize: 18284
[startup+690.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3673 0 0 0 68880 128 0 0 25 0 1 0 630240562 18722816 3648 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3648 1111 63 0 4508 0
vsize: 18284
[startup+700.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3680 0 0 0 69879 130 0 0 25 0 1 0 630240562 18722816 3655 4294967295 134512640 134714540 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4571 3655 1111 63 0 4508 0
vsize: 18284
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3706 0 0 0 70878 131 0 0 25 0 1 0 630240562 18857984 3681 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3681 1111 63 0 4541 0
vsize: 18416
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3718 0 0 0 71877 132 0 0 25 0 1 0 630240562 18857984 3693 4294967295 134512640 134714540 3221221776 3221220344 1077378431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3693 1111 63 0 4541 0
vsize: 18416
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3725 0 0 0 72876 133 0 0 25 0 1 0 630240562 18980864 3700 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3700 1111 63 0 4571 0
vsize: 18536
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3738 0 0 0 73874 135 0 0 25 0 1 0 630240562 18980864 3713 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3713 1111 63 0 4571 0
vsize: 18536
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3753 0 0 0 74873 136 0 0 25 0 1 0 630240562 19116032 3728 4294967295 134512640 134714540 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3728 1111 63 0 4604 0
vsize: 18668
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3762 0 0 0 75873 137 0 0 25 0 1 0 630240562 19116032 3737 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3737 1111 63 0 4604 0
vsize: 18668
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3766 0 0 0 76872 138 0 0 25 0 1 0 630240562 19116032 3741 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3741 1111 63 0 4604 0
vsize: 18668
[startup+780.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3766 0 0 0 77871 139 0 0 25 0 1 0 630240562 19116032 3741 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3741 1111 63 0 4604 0
vsize: 18668
[startup+790.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3766 0 0 0 78870 140 0 0 25 0 1 0 630240562 19116032 3741 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3741 1111 63 0 4604 0
vsize: 18668
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3766 0 0 0 79869 141 0 0 25 0 1 0 630240562 19116032 3741 4294967295 134512640 134714540 3221221776 3221220532 134592437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3741 1111 63 0 4604 0
vsize: 18668
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3782 0 0 0 80868 142 0 0 25 0 1 0 630240562 19116032 3757 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3757 1111 63 0 4604 0
vsize: 18668
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3795 0 0 0 81867 144 0 0 25 0 1 0 630240562 19251200 3770 4294967295 134512640 134714540 3221221776 3221220392 1077377140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3770 1111 63 0 4637 0
vsize: 18800
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3807 0 0 0 82866 145 0 0 25 0 1 0 630240562 19251200 3782 4294967295 134512640 134714540 3221221776 3221220212 1077374494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3782 1111 63 0 4637 0
vsize: 18800
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3807 0 0 0 83866 145 0 0 25 0 1 0 630240562 19251200 3782 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3782 1111 63 0 4637 0
vsize: 18800
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3826 0 0 0 84864 147 0 0 25 0 1 0 630240562 19374080 3801 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4730 3801 1111 63 0 4667 0
vsize: 18920
[startup+860.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3871 0 0 0 85864 148 0 0 25 0 1 0 630240562 19509248 3846 4294967295 134512640 134714540 3221221776 3221220512 134558504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3846 1111 63 0 4700 0
vsize: 19052
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3875 0 0 0 86862 149 0 0 25 0 1 0 630240562 19509248 3850 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4763 3850 1111 63 0 4700 0
vsize: 19052
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3901 0 0 0 87861 151 0 0 25 0 1 0 630240562 19644416 3876 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4796 3876 1111 63 0 4733 0
vsize: 19184
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3938 0 0 0 88859 153 0 0 25 0 1 0 630240562 19779584 3913 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4829 3913 1111 63 0 4766 0
vsize: 19316
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3951 0 0 0 89858 154 0 0 25 0 1 0 630240562 19910656 3926 4294967295 134512640 134714540 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4861 3926 1111 63 0 4798 0
vsize: 19444
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 3987 0 0 0 90857 155 0 0 25 0 1 0 630240562 20045824 3962 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4894 3962 1111 63 0 4831 0
vsize: 19576
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4014 0 0 0 91856 157 0 0 25 0 1 0 630240562 20180992 3989 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4927 3989 1111 63 0 4864 0
vsize: 19708
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4017 0 0 0 92853 159 0 0 25 0 1 0 630240562 20180992 3992 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4927 3992 1111 63 0 4864 0
vsize: 19708
[startup+940.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4027 0 0 0 93853 160 0 0 25 0 1 0 630240562 20180992 4002 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4002 1111 63 0 4864 0
vsize: 19708
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4039 0 0 0 94851 161 0 0 25 0 1 0 630240562 20180992 4014 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4014 1111 63 0 4864 0
vsize: 19708
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4039 0 0 0 95850 163 0 0 25 0 1 0 630240562 20180992 4014 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4927 4014 1111 63 0 4864 0
vsize: 19708
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4056 0 0 0 96849 164 0 0 25 0 1 0 630240562 20316160 4031 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4960 4031 1111 63 0 4897 0
vsize: 19840
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4068 0 0 0 97848 165 0 0 25 0 1 0 630240562 20316160 4043 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4960 4043 1111 63 0 4897 0
vsize: 19840
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4082 0 0 0 98846 167 0 0 25 0 1 0 630240562 20451328 4057 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4057 1111 63 0 4930 0
vsize: 19972
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4082 0 0 0 99846 168 0 0 25 0 1 0 630240562 20451328 4057 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4057 1111 63 0 4930 0
vsize: 19972
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4124 0 0 0 100844 170 0 0 25 0 1 0 630240562 20586496 4099 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5026 4099 1111 63 0 4963 0
vsize: 20104
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4155 0 0 0 101843 171 0 0 25 0 1 0 630240562 20721664 4130 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5059 4130 1111 63 0 4996 0
vsize: 20236
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4195 0 0 0 102841 173 0 0 25 0 1 0 630240562 20856832 4170 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5092 4170 1111 63 0 5029 0
vsize: 20368
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4258 0 0 0 103840 175 0 0 25 0 1 0 630240562 21127168 4233 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5158 4233 1111 63 0 5095 0
vsize: 20632
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4324 0 0 0 104839 176 0 0 25 0 1 0 630240562 21397504 4299 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5224 4299 1111 63 0 5161 0
vsize: 20896
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4363 0 0 0 105838 177 0 0 25 0 1 0 630240562 21532672 4338 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5257 4338 1111 63 0 5194 0
vsize: 21028
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4388 0 0 0 106837 178 0 0 25 0 1 0 630240562 21663744 4363 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5289 4363 1111 63 0 5226 0
vsize: 21156
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4412 0 0 0 107836 179 0 0 25 0 1 0 630240562 21798912 4387 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5322 4387 1111 63 0 5259 0
vsize: 21288
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4439 0 0 0 108835 181 0 0 25 0 1 0 630240562 21929984 4414 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4414 1111 63 0 5291 0
vsize: 21416
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4439 0 0 0 109834 182 0 0 25 0 1 0 630240562 21929984 4414 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4414 1111 63 0 5291 0
vsize: 21416
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4455 0 0 0 110834 182 0 0 25 0 1 0 630240562 21929984 4430 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4430 1111 63 0 5291 0
vsize: 21416
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4464 0 0 0 111833 183 0 0 25 0 1 0 630240562 21929984 4439 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4439 1111 63 0 5291 0
vsize: 21416
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4469 0 0 0 112831 185 0 0 25 0 1 0 630240562 21929984 4444 4294967295 134512640 134714540 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4444 1111 63 0 5291 0
vsize: 21416
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4497 0 0 0 113830 187 0 0 25 0 1 0 630240562 22065152 4472 4294967295 134512640 134714540 3221221776 3221220480 134528691 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4472 1111 63 0 5324 0
vsize: 21548
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4500 0 0 0 114828 188 0 0 25 0 1 0 630240562 22065152 4475 4294967295 134512640 134714540 3221221776 3221220560 134529030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4475 1111 63 0 5324 0
vsize: 21548
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4520 0 0 0 115828 189 0 0 25 0 1 0 630240562 22200320 4495 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5420 4495 1111 63 0 5357 0
vsize: 21680
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4542 0 0 0 116826 191 0 0 25 0 1 0 630240562 22335488 4517 4294967295 134512640 134714540 3221221776 3221220324 134696446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4517 1111 63 0 5390 0
vsize: 21812
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 10017
Raw data (stat): 10015 (bsolo_mis) R 10014 7876 7672 0 -1 0 4542 0 0 0 116826 191 0 0 25 0 1 0 630240562 22335488 4517 4294967295 134512640 134714540 3221221776 3221220324 134696446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4517 1111 63 0 5390 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.11
CPU system time (s): 1.92571
CPU usage (%): 100.012
Max. virtual memory (Kb): 21812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####