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-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 23184

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 05:02:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=75 boxname=wulflinc31 idbench=9 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 75
/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:        932088 kB
Buffers:         35648 kB
Cached:          45020 kB
SwapCached:        864 kB
Active:          70056 kB
Inactive:        13004 kB
HighTotal:      131008 kB
HighFree:        85092 kB
LowTotal:       903652 kB
LowFree:        846996 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13892 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 05:21:36 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 75 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1000 variables and 90 constraints.
c After prepocess the problem consists of 1000 variables and 90 constraints.
c preprocess terminated 0.244 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.97 0.99 0.92 2/54 8365
Raw data (stat): 8365 (runsolver) R 8364 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 628798123 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 3629 0 0 0 984 10 0 0 25 0 1 0 628798123 18448384 3604 4294967295 134512640 134714540 3221221776 3221220272 134535471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4504 3604 1111 63 0 4441 0
vsize: 18016
[startup+20.0012 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 4828 0 0 0 1980 14 0 0 25 0 1 0 628798123 23453696 4803 4294967295 134512640 134714540 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5726 4803 1111 63 0 5663 0
vsize: 22904
[startup+30.0021 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 5787 0 0 0 2977 18 0 0 25 0 1 0 628798123 27373568 5762 4294967295 134512640 134714540 3221221776 3221220168 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6683 5762 1111 63 0 6620 0
vsize: 26732
[startup+40.0021 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 6439 0 0 0 3973 22 0 0 25 0 1 0 628798123 30076928 6414 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7343 6414 1111 63 0 7280 0
vsize: 29372
[startup+50.002 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 6973 0 0 0 4971 24 0 0 25 0 1 0 628798123 32239616 6948 4294967295 134512640 134714540 3221221776 3221220700 1077781648 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7871 6948 1111 63 0 7808 0
vsize: 31484
[startup+60.0019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 7733 0 0 0 5968 27 0 0 25 0 1 0 628798123 35352576 7708 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8631 7708 1111 63 0 8568 0
vsize: 34524
[startup+70.0028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 8149 0 0 0 6966 30 0 0 25 0 1 0 628798123 37122048 8124 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9063 8124 1111 63 0 9000 0
vsize: 36252
[startup+80.0038 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 8452 0 0 0 7965 31 0 0 25 0 1 0 628798123 38338560 8427 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9360 8427 1111 63 0 9297 0
vsize: 37440
[startup+90.0037 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 8646 0 0 0 8964 32 0 0 25 0 1 0 628798123 39161856 8621 4294967295 134512640 134714540 3221221776 3221220288 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9561 8621 1111 63 0 9498 0
vsize: 38244
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 8839 0 0 0 9962 34 0 0 25 0 1 0 628798123 39972864 8814 4294967295 134512640 134714540 3221221776 3221220092 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9759 8814 1111 63 0 9696 0
vsize: 39036
[startup+110.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 8914 0 0 0 10962 35 0 0 25 0 1 0 628798123 40243200 8889 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9825 8889 1111 63 0 9762 0
vsize: 39300
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 10309 0 0 0 11957 40 0 0 25 0 1 0 628798123 46059520 10284 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11245 10284 1111 63 0 11182 0
vsize: 44980
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 11723 0 0 0 12952 45 0 0 25 0 1 0 628798123 51744768 11698 4294967295 134512640 134714540 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12633 11698 1111 63 0 12570 0
vsize: 50532
[startup+140.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 12105 0 0 0 13950 47 0 0 25 0 1 0 628798123 53366784 12079 4294967295 134512640 134714540 3221221776 3221220528 134592082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13029 12079 1111 63 0 12966 0
vsize: 52116
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 12718 0 0 0 14947 50 0 0 25 0 1 0 628798123 55824384 12692 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13629 12692 1111 63 0 13566 0
vsize: 54516
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 13002 0 0 0 15946 51 0 0 25 0 1 0 628798123 57053184 12976 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13929 12976 1111 63 0 13866 0
vsize: 55716
[startup+170.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 13288 0 0 0 16945 52 0 0 25 0 1 0 628798123 58261504 13262 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14224 13262 1111 63 0 14161 0
vsize: 56896
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 13730 0 0 0 17943 55 0 0 25 0 1 0 628798123 60014592 13703 4294967295 134512640 134714540 3221221776 3221220416 134539356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14652 13704 1111 63 0 14589 0
vsize: 58608
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 14794 0 0 0 18939 59 0 0 25 0 1 0 628798123 64471040 14767 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15740 14767 1111 63 0 15677 0
vsize: 62960
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 15342 0 0 0 19937 60 0 0 25 0 1 0 628798123 66637824 15315 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16269 15315 1111 63 0 16206 0
vsize: 65076
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 15826 0 0 0 20935 63 0 0 25 0 1 0 628798123 68677632 15799 4294967295 134512640 134714540 3221221776 3221220452 1077374550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16767 15799 1111 63 0 16704 0
vsize: 67068
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 16431 0 0 0 21933 65 0 0 25 0 1 0 628798123 71135232 16403 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17367 16403 1111 63 0 17304 0
vsize: 69468
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 16715 0 0 0 22932 67 0 0 25 0 1 0 628798123 72249344 16687 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17639 16687 1111 63 0 17576 0
vsize: 70556
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 17076 0 0 0 23930 69 0 0 25 0 1 0 628798123 73736192 17048 4294967295 134512640 134714540 3221221776 3221220332 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18002 17048 1111 63 0 17939 0
vsize: 72008
[startup+250.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8365
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 17314 0 0 0 24929 70 0 0 25 0 1 0 628798123 74825728 17286 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18268 17286 1111 63 0 18205 0
vsize: 73072
[startup+260.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 17501 0 0 0 25928 71 0 0 25 0 1 0 628798123 75501568 17473 4294967295 134512640 134714540 3221221776 3221220536 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18433 17473 1111 63 0 18370 0
vsize: 73732
[startup+270.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 17606 0 0 0 26927 72 0 0 25 0 1 0 628798123 76042240 17578 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18565 17578 1111 63 0 18502 0
vsize: 74260
[startup+280.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 18191 0 0 0 27925 74 0 0 25 0 1 0 628798123 78368768 18161 4294967295 134512640 134714540 3221221776 3221220432 134524064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19133 18161 1111 63 0 19070 0
vsize: 76532
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 18534 0 0 0 28923 76 0 0 25 0 1 0 628798123 79855616 18504 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19496 18504 1111 63 0 19433 0
vsize: 77984
[startup+300.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 18955 0 0 0 29922 78 0 0 25 0 1 0 628798123 81485824 18925 4294967295 134512640 134714540 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19894 18925 1111 63 0 19831 0
vsize: 79576
[startup+310.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 19354 0 0 0 30920 80 0 0 25 0 1 0 628798123 83152896 19324 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20301 19324 1111 63 0 20238 0
vsize: 81204
[startup+320.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 19641 0 0 0 31918 82 0 0 25 0 1 0 628798123 84398080 19611 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20605 19611 1111 63 0 20542 0
vsize: 82420
[startup+330.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 19876 0 0 0 32916 84 0 0 25 0 1 0 628798123 85344256 19846 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20836 19846 1111 63 0 20773 0
vsize: 83344
[startup+340.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 20055 0 0 0 33916 84 0 0 25 0 1 0 628798123 86155264 20025 4294967295 134512640 134714540 3221221776 3221220260 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21034 20025 1111 63 0 20971 0
vsize: 84136
[startup+350.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 20176 0 0 0 34915 85 0 0 25 0 1 0 628798123 86560768 20146 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21133 20146 1111 63 0 21070 0
vsize: 84532
[startup+360.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 20233 0 0 0 35915 86 0 0 25 0 1 0 628798123 86831104 20203 4294967295 134512640 134714540 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21199 20203 1111 63 0 21136 0
vsize: 84796
[startup+370.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 20520 0 0 0 36913 88 0 0 25 0 1 0 628798123 88088576 20490 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21506 20490 1111 63 0 21443 0
vsize: 86024
[startup+380.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 20909 0 0 0 37911 90 0 0 25 0 1 0 628798123 89706496 20879 4294967295 134512640 134714540 3221221776 3221220428 134536754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21901 20879 1111 63 0 21838 0
vsize: 87604
[startup+390.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 21203 0 0 0 38910 91 0 0 25 0 1 0 628798123 90943488 21173 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22203 21173 1111 63 0 22140 0
vsize: 88812
[startup+400.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 21475 0 0 0 39910 92 0 0 25 0 1 0 628798123 92024832 21445 4294967295 134512640 134714540 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22467 21445 1111 63 0 22404 0
vsize: 89868
[startup+410.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 21710 0 0 0 40909 93 0 0 25 0 1 0 628798123 92971008 21679 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22698 21679 1111 63 0 22635 0
vsize: 90792
[startup+420.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 21906 0 0 0 41908 94 0 0 25 0 1 0 628798123 93782016 21875 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22896 21875 1111 63 0 22833 0
vsize: 91584
[startup+430.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22009 0 0 0 42907 95 0 0 25 0 1 0 628798123 94359552 21978 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23037 21978 1111 63 0 22974 0
vsize: 92148
[startup+440.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22143 0 0 0 43907 95 0 0 25 0 1 0 628798123 94765056 22112 4294967295 134512640 134714540 3221221776 3221220416 134613457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23136 22112 1111 63 0 23073 0
vsize: 92544
[startup+450.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22436 0 0 0 44906 97 0 0 25 0 1 0 628798123 96018432 22404 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23442 22404 1111 63 0 23379 0
vsize: 93768
[startup+460.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22663 0 0 0 45905 98 0 0 25 0 1 0 628798123 96858112 22631 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23647 22631 1111 63 0 23584 0
vsize: 94588
[startup+470.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22845 0 0 0 46903 99 0 0 25 0 1 0 628798123 97697792 22813 4294967295 134512640 134714540 3221221776 3221220272 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23852 22813 1111 63 0 23789 0
vsize: 95408
[startup+480.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 22983 0 0 0 47903 100 0 0 25 0 1 0 628798123 98258944 22951 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23989 22951 1111 63 0 23926 0
vsize: 95956
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 23453 0 0 0 48901 102 0 0 25 0 1 0 628798123 100159488 23420 4294967295 134512640 134714540 3221221776 3221220452 1077374556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24453 23420 1111 63 0 24390 0
vsize: 97812
[startup+500.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 23886 0 0 0 49899 104 0 0 25 0 1 0 628798123 102051840 23853 4294967295 134512640 134714540 3221221776 3221220368 134549694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24915 23853 1111 63 0 24852 0
vsize: 99660
[startup+510.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 24265 0 0 0 50897 106 0 0 25 0 1 0 628798123 103530496 24232 4294967295 134512640 134714540 3221221776 3221220368 134549754 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25276 24232 1111 63 0 25213 0
vsize: 101104
[startup+520.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 24497 0 0 0 51896 108 0 0 25 0 1 0 628798123 104476672 24464 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25507 24464 1111 63 0 25444 0
vsize: 102028
[startup+530.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 24769 0 0 0 52895 109 0 0 25 0 1 0 628798123 105558016 24736 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25771 24736 1111 63 0 25708 0
vsize: 103084
[startup+540.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 25074 0 0 0 53893 110 0 0 25 0 1 0 628798123 106774528 25041 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26068 25041 1111 63 0 26005 0
vsize: 104272
[startup+550.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 25226 0 0 0 54892 112 0 0 25 0 1 0 628798123 107450368 25193 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26233 25193 1111 63 0 26170 0
vsize: 104932
[startup+560.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 25364 0 0 0 55892 113 0 0 25 0 1 0 628798123 107991040 25331 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26365 25331 1111 63 0 26302 0
vsize: 105460
[startup+570.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 25727 0 0 0 56890 115 0 0 25 0 1 0 628798123 109477888 25694 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26728 25694 1111 63 0 26665 0
vsize: 106912
[startup+580.015 s]
Raw data (loadavg): 0.99 0.99 0.92 3/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26006 0 0 0 57889 116 0 0 25 0 1 0 628798123 110694400 25973 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27025 25973 1111 63 0 26962 0
vsize: 108100
[startup+590.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26167 0 0 0 58888 116 0 0 25 0 1 0 628798123 111235072 26134 4294967295 134512640 134714540 3221221776 3221220420 134524123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27157 26134 1111 63 0 27094 0
vsize: 108628
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26247 0 0 0 59888 117 0 0 25 0 1 0 628798123 111665152 26214 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27262 26214 1111 63 0 27199 0
vsize: 109048
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26301 0 0 0 60888 117 0 0 25 0 1 0 628798123 111800320 26268 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27295 26268 1111 63 0 27232 0
vsize: 109180
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26380 0 0 0 61888 118 0 0 25 0 1 0 628798123 112201728 26347 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27393 26347 1111 63 0 27330 0
vsize: 109572
[startup+630.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26578 0 0 0 62887 119 0 0 25 0 1 0 628798123 113012736 26545 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27591 26545 1111 63 0 27528 0
vsize: 110364
[startup+640.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26733 0 0 0 63886 119 0 0 25 0 1 0 628798123 113553408 26700 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27723 26700 1111 63 0 27660 0
vsize: 110892
[startup+650.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26815 0 0 0 64886 120 0 0 25 0 1 0 628798123 113958912 26782 4294967295 134512640 134714540 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27822 26782 1111 63 0 27759 0
vsize: 111288
[startup+660.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 26994 0 0 0 65885 121 0 0 25 0 1 0 628798123 114774016 26961 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28021 26961 1111 63 0 27958 0
vsize: 112084
[startup+670.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 27157 0 0 0 66885 122 0 0 25 0 1 0 628798123 115449856 27124 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28186 27124 1111 63 0 28123 0
vsize: 112744
[startup+680.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 27370 0 0 0 67883 123 0 0 25 0 1 0 628798123 116260864 27337 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28384 27337 1111 63 0 28321 0
vsize: 113536
[startup+690.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 27575 0 0 0 68882 124 0 0 25 0 1 0 628798123 117071872 27542 4294967295 134512640 134714540 3221221776 3221220368 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28582 27542 1111 63 0 28519 0
vsize: 114328
[startup+700.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 27702 0 0 0 69882 125 0 0 25 0 1 0 628798123 117612544 27669 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28714 27669 1111 63 0 28651 0
vsize: 114856
[startup+710.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 27949 0 0 0 70881 126 0 0 25 0 1 0 628798123 118722560 27916 4294967295 134512640 134714540 3221221776 3221220332 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28985 27916 1111 63 0 28922 0
vsize: 115940
[startup+720.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 28242 0 0 0 71879 128 0 0 25 0 1 0 628798123 119803904 28209 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29249 28209 1111 63 0 29186 0
vsize: 116996
[startup+730.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 28555 0 0 0 72879 129 0 0 25 0 1 0 628798123 121155584 28522 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29579 28522 1111 63 0 29516 0
vsize: 118316
[startup+740.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 28811 0 0 0 73878 130 0 0 25 0 1 0 628798123 122236928 28778 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29843 28778 1111 63 0 29780 0
vsize: 119372
[startup+750.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 28971 0 0 0 74877 131 0 0 25 0 1 0 628798123 122777600 28938 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29975 28938 1111 63 0 29912 0
vsize: 119900
[startup+760.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29137 0 0 0 75876 132 0 0 25 0 1 0 628798123 123449344 29104 4294967295 134512640 134714540 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30139 29104 1111 63 0 30076 0
vsize: 120556
[startup+770.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29346 0 0 0 76875 133 0 0 25 0 1 0 628798123 124395520 29313 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30370 29313 1111 63 0 30307 0
vsize: 121480
[startup+780.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29472 0 0 0 77874 134 0 0 25 0 1 0 628798123 124801024 29439 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30469 29439 1111 63 0 30406 0
vsize: 121876
[startup+790.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29533 0 0 0 78874 134 0 0 25 0 1 0 628798123 125071360 29500 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30535 29500 1111 63 0 30472 0
vsize: 122140
[startup+800.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29644 0 0 0 79874 135 0 0 25 0 1 0 628798123 125685760 29611 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30685 29611 1111 63 0 30622 0
vsize: 122740
[startup+810.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29793 0 0 0 80873 136 0 0 25 0 1 0 628798123 126226432 29760 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30817 29760 1111 63 0 30754 0
vsize: 123268
[startup+820.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 29925 0 0 0 81873 136 0 0 25 0 1 0 628798123 126767104 29892 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30949 29892 1111 63 0 30886 0
vsize: 123796
[startup+830.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 30085 0 0 0 82872 137 0 0 25 0 1 0 628798123 127442944 30052 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31114 30052 1111 63 0 31051 0
vsize: 124456
[startup+840.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 30301 0 0 0 83871 139 0 0 25 0 1 0 628798123 128253952 30268 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31312 30268 1111 63 0 31249 0
vsize: 125248
[startup+850.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 30487 0 0 0 84870 140 0 0 25 0 1 0 628798123 129064960 30454 4294967295 134512640 134714540 3221221776 3221220560 134529335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31510 30454 1111 63 0 31447 0
vsize: 126040
[startup+860.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 30600 0 0 0 85869 141 0 0 25 0 1 0 628798123 129466368 30567 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31608 30567 1111 63 0 31545 0
vsize: 126432
[startup+870.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 30769 0 0 0 86869 141 0 0 25 0 1 0 628798123 130174976 30736 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31781 30736 1111 63 0 31718 0
vsize: 127124
[startup+880.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31037 0 0 0 87868 142 0 0 25 0 1 0 628798123 131371008 31004 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32073 31004 1111 63 0 32010 0
vsize: 128292
[startup+890.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31200 0 0 0 88867 143 0 0 25 0 1 0 628798123 132046848 31167 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32238 31167 1111 63 0 32175 0
vsize: 128952
[startup+900.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31280 0 0 0 89867 144 0 0 25 0 1 0 628798123 132317184 31247 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32304 31247 1111 63 0 32241 0
vsize: 129216
[startup+910.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31395 0 0 0 90866 145 0 0 25 0 1 0 628798123 132755456 31362 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32411 31362 1111 63 0 32348 0
vsize: 129644
[startup+920.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31687 0 0 0 91864 147 0 0 25 0 1 0 628798123 133971968 31654 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32708 31654 1111 63 0 32645 0
vsize: 130832
[startup+930.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31817 0 0 0 92864 147 0 0 25 0 1 0 628798123 134512640 31784 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32840 31784 1111 63 0 32777 0
vsize: 131360
[startup+940.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 31933 0 0 0 93863 148 0 0 25 0 1 0 628798123 134918144 31900 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32939 31900 1111 63 0 32876 0
vsize: 131756
[startup+950.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32079 0 0 0 94862 150 0 0 25 0 1 0 628798123 135639040 32046 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33115 32046 1111 63 0 33052 0
vsize: 132460
[startup+960.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32254 0 0 0 95862 150 0 0 25 0 1 0 628798123 136450048 32221 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33313 32221 1111 63 0 33250 0
vsize: 133252
[startup+970.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32396 0 0 0 96861 151 0 0 25 0 1 0 628798123 136982528 32363 4294967295 134512640 134714540 3221221776 3221220404 1077374146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33443 32363 1111 63 0 33380 0
vsize: 133772
[startup+980.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32555 0 0 0 97861 151 0 0 25 0 1 0 628798123 137523200 32522 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33575 32522 1111 63 0 33512 0
vsize: 134300
[startup+990.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32611 0 0 0 98861 152 0 0 25 0 1 0 628798123 137785344 32578 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33639 32578 1111 63 0 33576 0
vsize: 134556
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32724 0 0 0 99860 153 0 0 25 0 1 0 628798123 138190848 32691 4294967295 134512640 134714540 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33738 32691 1111 63 0 33675 0
vsize: 134952
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32835 0 0 0 100859 153 0 0 25 0 1 0 628798123 138731520 32802 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33870 32802 1111 63 0 33807 0
vsize: 135480
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 32952 0 0 0 101858 155 0 0 25 0 1 0 628798123 139300864 32919 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34009 32919 1111 63 0 33946 0
vsize: 136036
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33125 0 0 0 102858 156 0 0 25 0 1 0 628798123 139976704 33092 4294967295 134512640 134714540 3221221776 3221220496 134584805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34174 33092 1111 63 0 34111 0
vsize: 136696
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33220 0 0 0 103858 156 0 0 25 0 1 0 628798123 140382208 33187 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34273 33187 1111 63 0 34210 0
vsize: 137092
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33297 0 0 0 104857 156 0 0 25 0 1 0 628798123 140652544 33264 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34339 33264 1111 63 0 34276 0
vsize: 137356
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33345 0 0 0 105857 157 0 0 25 0 1 0 628798123 140775424 33312 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34369 33312 1111 63 0 34306 0
vsize: 137476
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33407 0 0 0 106856 158 0 0 25 0 1 0 628798123 141041664 33374 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34434 33374 1111 63 0 34371 0
vsize: 137736
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33501 0 0 0 107856 158 0 0 25 0 1 0 628798123 141447168 33468 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34533 33468 1111 63 0 34470 0
vsize: 138132
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33560 0 0 0 108856 159 0 0 25 0 1 0 628798123 141717504 33527 4294967295 134512640 134714540 3221221776 3221220560 134585130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34599 33527 1111 63 0 34536 0
vsize: 138396
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33602 0 0 0 109855 159 0 0 25 0 1 0 628798123 141852672 33569 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34632 33569 1111 63 0 34569 0
vsize: 138528
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33637 0 0 0 110856 159 0 0 25 0 1 0 628798123 142168064 33604 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34709 33604 1111 63 0 34646 0
vsize: 138836
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33702 0 0 0 111855 160 0 0 25 0 1 0 628798123 142303232 33669 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34742 33669 1111 63 0 34679 0
vsize: 138968
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33832 0 0 0 112854 161 0 0 25 0 1 0 628798123 142843904 33799 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34874 33799 1111 63 0 34811 0
vsize: 139496
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33891 0 0 0 113853 162 0 0 25 0 1 0 628798123 143114240 33858 4294967295 134512640 134714540 3221221776 3221220480 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34940 33858 1111 63 0 34877 0
vsize: 139760
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 33990 0 0 0 114853 163 0 0 25 0 1 0 628798123 143519744 33957 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35039 33957 1111 63 0 34976 0
vsize: 140156
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 34047 0 0 0 115852 163 0 0 25 0 1 0 628798123 143790080 34014 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35105 34014 1111 63 0 35042 0
vsize: 140420
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 34108 0 0 0 116852 164 0 0 25 0 1 0 628798123 144068608 34075 4294967295 134512640 134714540 3221221776 3221220496 134584811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35173 34075 1111 63 0 35110 0
vsize: 140692
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.99 0.92 1/53 8367
Raw data (stat): 8365 (bsolo_mis) R 8364 7876 7672 0 -1 0 34108 0 0 0 116852 164 0 0 25 0 1 0 628798123 144068608 34075 4294967295 134512640 134714540 3221221776 3221220496 134584811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35173 34075 1111 63 0 35110 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.09
CPU user time (s): 1173.38
CPU system time (s): 1.71574
CPU usage (%): 100.011
Max. virtual memory (Kb): 140692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####