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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
MD5SUM	a788dbf2f72289ace41b812e06d88575
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	101
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	362.64
Number of variables	4626
Total number of constraints	35373
Number of constraints which are clauses	29724
Number of constraints which are cardinality constraints (but not clauses)	5571
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24959

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 08:04:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3270 boxname=wulflinc31 idbench=364 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a788dbf2f72289ace41b812e06d88575  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-9,16-19.opb
IDLAUNCH: 3270
/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:        813756 kB
Buffers:         40924 kB
Cached:         158152 kB
SwapCached:       1932 kB
Active:         163452 kB
Inactive:        38840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        813504 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12952 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 08:24:17 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 3270 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4626 variables and 30921 constraints.
c After prepocess the problem consists of 4626 variables and 30921 constraints.
c preprocess terminated 55.76 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 1.00 0.99 2/55 502
Raw data (stat): 502 (runsolver) R 501 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 750868229 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.0006 s]
Raw data (loadavg): 0.93 1.00 0.99 2/55 502
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 33743 0 0 0 909 87 0 0 25 0 1 0 750868229 63086592 14465 4294967295 134512640 134714540 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15402 14465 1111 63 0 15339 0
vsize: 61608
[startup+20.0011 s]
Raw data (loadavg): 0.94 1.00 0.99 2/55 502
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 88082 0 0 0 1772 225 0 0 25 0 1 0 750868229 63086592 14465 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15402 14465 1111 63 0 15339 0
vsize: 61608
[startup+30.0021 s]
Raw data (loadavg): 0.95 1.00 0.99 2/55 502
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 140901 0 0 0 2638 358 0 0 25 0 1 0 750868229 63086592 14465 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15402 14465 1111 63 0 15339 0
vsize: 61608
[startup+40.0024 s]
Raw data (loadavg): 0.96 1.00 0.99 2/55 502
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146042 0 0 0 3625 372 0 0 25 0 1 0 750868229 73379840 16978 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16978 1111 63 0 17852 0
vsize: 71660
[startup+50.0029 s]
Raw data (loadavg): 0.96 1.00 0.99 2/55 502
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146792 0 0 0 4623 374 0 0 25 0 1 0 750868229 73379840 16978 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16978 1111 63 0 17852 0
vsize: 71660
[startup+60.0029 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146809 0 0 0 5621 376 0 0 25 0 1 0 750868229 73379840 16995 4294967295 134512640 134714540 3221221792 3221220416 134543707 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16995 1111 63 0 17852 0
vsize: 71660
[startup+70.0032 s]
Raw data (loadavg): 0.97 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 6619 378 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+80.0038 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 7617 380 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+90.0037 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 8616 381 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220704 134598736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+100.005 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 9616 382 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220532 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+110.006 s]
Raw data (loadavg): 0.98 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 10615 383 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 11614 383 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+130.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 12614 384 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 13614 384 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220368 134542817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+150.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 14613 385 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 15613 386 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 16612 386 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 17612 387 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 18612 387 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220372 134696293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 146810 0 0 0 19612 388 0 0 25 0 1 0 750868229 73379840 16996 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17915 16996 1111 63 0 17852 0
vsize: 71660
[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 147036 0 0 0 20611 389 0 0 25 0 1 0 750868229 74326016 17222 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18146 17222 1111 63 0 18083 0
vsize: 72584
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 147451 0 0 0 21609 391 0 0 25 0 1 0 750868229 76083200 17637 4294967295 134512640 134714540 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18575 17637 1111 63 0 18512 0
vsize: 74300
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 147766 0 0 0 22607 393 0 0 25 0 1 0 750868229 77303808 17952 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18873 17952 1111 63 0 18810 0
vsize: 75492
[startup+240.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 147964 0 0 0 23607 393 0 0 25 0 1 0 750868229 78114816 18150 4294967295 134512640 134714540 3221221792 3221220576 134584852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19071 18150 1111 63 0 19008 0
vsize: 76284
[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 148214 0 0 0 24605 395 0 0 25 0 1 0 750868229 79196160 18400 4294967295 134512640 134714540 3221221792 3221220448 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19335 18400 1111 63 0 19272 0
vsize: 77340
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 148774 0 0 0 25603 397 0 0 25 0 1 0 750868229 81494016 18960 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19896 18960 1111 63 0 19833 0
vsize: 79584
[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 149150 0 0 0 26602 399 0 0 25 0 1 0 750868229 82980864 19336 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20259 19336 1111 63 0 20196 0
vsize: 81036
[startup+280.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 149487 0 0 0 27601 400 0 0 25 0 1 0 750868229 84471808 19673 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20623 19673 1111 63 0 20560 0
vsize: 82492
[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 149870 0 0 0 28599 402 0 0 25 0 1 0 750868229 85958656 20056 4294967295 134512640 134714540 3221221792 3221219588 134697231 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20986 20056 1111 63 0 20923 0
vsize: 83944
[startup+300.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 150095 0 0 0 29597 404 0 0 25 0 1 0 750868229 86904832 20281 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21217 20281 1111 63 0 21154 0
vsize: 84868
[startup+310.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 150158 0 0 0 30597 405 0 0 25 0 1 0 750868229 87175168 20344 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21283 20344 1111 63 0 21220 0
vsize: 85132
[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 150167 0 0 0 31596 405 0 0 25 0 1 0 750868229 87175168 20353 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21283 20353 1111 63 0 21220 0
vsize: 85132
[startup+330.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 150346 0 0 0 32595 406 0 0 25 0 1 0 750868229 87986176 20532 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21481 20532 1111 63 0 21418 0
vsize: 85924
[startup+340.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 150788 0 0 0 33594 408 0 0 25 0 1 0 750868229 89739264 20974 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21909 20974 1111 63 0 21846 0
vsize: 87636
[startup+350.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 151440 0 0 0 34591 411 0 0 25 0 1 0 750868229 92438528 21626 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22568 21626 1111 63 0 22505 0
vsize: 90272
[startup+360.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 151532 0 0 0 35591 412 0 0 25 0 1 0 750868229 92839936 21718 4294967295 134512640 134714540 3221221792 3221220448 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22666 21718 1111 63 0 22603 0
vsize: 90664
[startup+370.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 151849 0 0 0 36589 413 0 0 25 0 1 0 750868229 94060544 22035 4294967295 134512640 134714540 3221221792 3221220556 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22964 22035 1111 63 0 22901 0
vsize: 91856
[startup+380.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 152114 0 0 0 37588 414 0 0 25 0 1 0 750868229 95141888 22300 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23228 22300 1111 63 0 23165 0
vsize: 92912
[startup+390.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 152492 0 0 0 38588 415 0 0 25 0 1 0 750868229 96772096 22678 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23626 22678 1111 63 0 23563 0
vsize: 94504
[startup+400.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 152907 0 0 0 39586 418 0 0 25 0 1 0 750868229 98394112 23093 4294967295 134512640 134714540 3221221792 3221220496 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24022 23093 1111 63 0 23959 0
vsize: 96088
[startup+410.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 153236 0 0 0 40585 419 0 0 25 0 1 0 750868229 99745792 23422 4294967295 134512640 134714540 3221221792 3221220412 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24352 23422 1111 63 0 24289 0
vsize: 97408
[startup+420.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 153500 0 0 0 41583 420 0 0 25 0 1 0 750868229 100823040 23686 4294967295 134512640 134714540 3221221792 3221220384 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24615 23686 1111 63 0 24552 0
vsize: 98460
[startup+430.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 153708 0 0 0 42583 421 0 0 25 0 1 0 750868229 101769216 23894 4294967295 134512640 134714540 3221221792 3221220480 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24846 23894 1111 63 0 24783 0
vsize: 99384
[startup+440.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 153996 0 0 0 43581 423 0 0 25 0 1 0 750868229 102850560 24182 4294967295 134512640 134714540 3221221792 3221220520 134552622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25110 24182 1111 63 0 25047 0
vsize: 100440
[startup+450.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 154199 0 0 0 44581 424 0 0 25 0 1 0 750868229 103657472 24385 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25307 24385 1111 63 0 25244 0
vsize: 101228
[startup+460.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 154488 0 0 0 45579 425 0 0 25 0 1 0 750868229 104873984 24674 4294967295 134512640 134714540 3221221792 3221220412 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25604 24674 1111 63 0 25541 0
vsize: 102416
[startup+470.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 154809 0 0 0 46577 427 0 0 25 0 1 0 750868229 106225664 24995 4294967295 134512640 134714540 3221221792 3221220576 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25934 24995 1111 63 0 25871 0
vsize: 103736
[startup+480.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 155356 0 0 0 47575 429 0 0 25 0 1 0 750868229 108388352 25542 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26462 25542 1111 63 0 26399 0
vsize: 105848
[startup+490.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 155587 0 0 0 48575 430 0 0 25 0 1 0 750868229 109334528 25773 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26693 25773 1111 63 0 26630 0
vsize: 106772
[startup+500.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 155785 0 0 0 49573 432 0 0 25 0 1 0 750868229 110145536 25971 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26891 25971 1111 63 0 26828 0
vsize: 107564
[startup+510.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 156057 0 0 0 50573 433 0 0 25 0 1 0 750868229 111370240 26243 4294967295 134512640 134714540 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27190 26243 1111 63 0 27127 0
vsize: 108760
[startup+520.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 156315 0 0 0 51572 434 0 0 25 0 1 0 750868229 112316416 26501 4294967295 134512640 134714540 3221221792 3221220432 134539425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27421 26501 1111 63 0 27358 0
vsize: 109684
[startup+530.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 156545 0 0 0 52571 435 0 0 25 0 1 0 750868229 113262592 26731 4294967295 134512640 134714540 3221221792 3221220196 134697393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27652 26731 1111 63 0 27589 0
vsize: 110608
[startup+540.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 156734 0 0 0 53571 435 0 0 25 0 1 0 750868229 114073600 26920 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27850 26920 1111 63 0 27787 0
vsize: 111400
[startup+550.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 156877 0 0 0 54570 436 0 0 25 0 1 0 750868229 114749440 27063 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28015 27063 1111 63 0 27952 0
vsize: 112060
[startup+560.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157060 0 0 0 55569 437 0 0 25 0 1 0 750868229 115425280 27246 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28180 27246 1111 63 0 28117 0
vsize: 112720
[startup+570.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157185 0 0 0 56569 438 0 0 25 0 1 0 750868229 115965952 27371 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28312 27371 1111 63 0 28249 0
vsize: 113248
[startup+580.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157311 0 0 0 57568 439 0 0 25 0 1 0 750868229 116506624 27497 4294967295 134512640 134714540 3221221792 3221220396 134536837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28444 27497 1111 63 0 28381 0
vsize: 113776
[startup+590.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157446 0 0 0 58567 440 0 0 25 0 1 0 750868229 117047296 27632 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28576 27632 1111 63 0 28513 0
vsize: 114304
[startup+600.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157568 0 0 0 59567 440 0 0 25 0 1 0 750868229 117452800 27754 4294967295 134512640 134714540 3221221792 3221220528 134535844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28675 27754 1111 63 0 28612 0
vsize: 114700
[startup+610.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157678 0 0 0 60567 441 0 0 25 0 1 0 750868229 117993472 27864 4294967295 134512640 134714540 3221221792 3221220540 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28807 27864 1111 63 0 28744 0
vsize: 115228
[startup+620.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 157896 0 0 0 61565 442 0 0 25 0 1 0 750868229 118804480 28082 4294967295 134512640 134714540 3221221792 3221220520 134536897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29005 28082 1111 63 0 28942 0
vsize: 116020
[startup+630.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 158211 0 0 0 62564 444 0 0 25 0 1 0 750868229 120156160 28397 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29335 28397 1111 63 0 29272 0
vsize: 117340
[startup+640.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 158538 0 0 0 63563 444 0 0 25 0 1 0 750868229 121507840 28724 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29665 28724 1111 63 0 29602 0
vsize: 118660
[startup+650.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 158958 0 0 0 64562 446 0 0 25 0 1 0 750868229 123265024 29144 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30094 29144 1111 63 0 30031 0
vsize: 120376
[startup+660.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 159213 0 0 0 65561 447 0 0 25 0 1 0 750868229 124211200 29399 4294967295 134512640 134714540 3221221792 3221220472 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30325 29399 1111 63 0 30262 0
vsize: 121300
[startup+670.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 159728 0 0 0 66559 449 0 0 25 0 1 0 750868229 126373888 29914 4294967295 134512640 134714540 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30853 29914 1111 63 0 30790 0
vsize: 123412
[startup+680.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 159929 0 0 0 67558 451 0 0 25 0 1 0 750868229 127168512 30115 4294967295 134512640 134714540 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31047 30115 1111 63 0 30984 0
vsize: 124188
[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 160139 0 0 0 68556 452 0 0 25 0 1 0 750868229 128106496 30325 4294967295 134512640 134714540 3221221792 3221220464 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31276 30325 1111 63 0 31213 0
vsize: 125104
[startup+700.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 160513 0 0 0 69555 454 0 0 25 0 1 0 750868229 129589248 30699 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31638 30699 1111 63 0 31575 0
vsize: 126552
[startup+710.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 160691 0 0 0 70554 455 0 0 25 0 1 0 750868229 130392064 30877 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31834 30877 1111 63 0 31771 0
vsize: 127336
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 160829 0 0 0 71553 456 0 0 25 0 1 0 750868229 130932736 31015 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31966 31015 1111 63 0 31903 0
vsize: 127864
[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 161231 0 0 0 72552 457 0 0 25 0 1 0 750868229 132554752 31417 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32362 31417 1111 63 0 32299 0
vsize: 129448
[startup+740.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 161476 0 0 0 73551 458 0 0 25 0 1 0 750868229 133496832 31662 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32592 31662 1111 63 0 32529 0
vsize: 130368
[startup+750.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 161808 0 0 0 74550 459 0 0 25 0 1 0 750868229 134983680 31994 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32955 31994 1111 63 0 32892 0
vsize: 131820
[startup+760.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162059 0 0 0 75549 461 0 0 25 0 1 0 750868229 135921664 32245 4294967295 134512640 134714540 3221221792 3221220384 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33184 32245 1111 63 0 33121 0
vsize: 132736
[startup+770.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162397 0 0 0 76547 463 0 0 25 0 1 0 750868229 137273344 32583 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33514 32583 1111 63 0 33451 0
vsize: 134056
[startup+780.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162505 0 0 0 77547 464 0 0 25 0 1 0 750868229 137814016 32691 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33646 32691 1111 63 0 33583 0
vsize: 134584
[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162687 0 0 0 78546 464 0 0 25 0 1 0 750868229 138489856 32873 4294967295 134512640 134714540 3221221792 3221220432 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33811 32873 1111 63 0 33748 0
vsize: 135244
[startup+800.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162805 0 0 0 79545 465 0 0 25 0 1 0 750868229 139030528 32991 4294967295 134512640 134714540 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33943 32991 1111 63 0 33880 0
vsize: 135772
[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 162826 0 0 0 80544 466 0 0 25 0 1 0 750868229 139030528 33012 4294967295 134512640 134714540 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33943 33012 1111 63 0 33880 0
vsize: 135772
[startup+820.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 163113 0 0 0 81543 468 0 0 25 0 1 0 750868229 140247040 33299 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34240 33299 1111 63 0 34177 0
vsize: 136960
[startup+830.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 163386 0 0 0 82542 470 0 0 25 0 1 0 750868229 141463552 33572 4294967295 134512640 134714540 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34537 33572 1111 63 0 34474 0
vsize: 138148
[startup+840.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 163604 0 0 0 83541 470 0 0 25 0 1 0 750868229 142274560 33789 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34735 33789 1111 63 0 34672 0
vsize: 138940
[startup+850.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 163739 0 0 0 84540 471 0 0 25 0 1 0 750868229 142815232 33924 4294967295 134512640 134714540 3221221792 3221220400 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34867 33924 1111 63 0 34804 0
vsize: 139468
[startup+860.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 163984 0 0 0 85540 472 0 0 25 0 1 0 750868229 143892480 34169 4294967295 134512640 134714540 3221221792 3221220472 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35130 34169 1111 63 0 35067 0
vsize: 140520
[startup+870.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 164183 0 0 0 86539 473 0 0 25 0 1 0 750868229 144699392 34368 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35327 34368 1111 63 0 35264 0
vsize: 141308
[startup+880.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 164416 0 0 0 87537 475 0 0 25 0 1 0 750868229 145645568 34601 4294967295 134512640 134714540 3221221792 3221220508 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35558 34601 1111 63 0 35495 0
vsize: 142232
[startup+890.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 164639 0 0 0 88537 475 0 0 25 0 1 0 750868229 146591744 34824 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35789 34824 1111 63 0 35726 0
vsize: 143156
[startup+900.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 164883 0 0 0 89536 477 0 0 25 0 1 0 750868229 147537920 35068 4294967295 134512640 134714540 3221221792 3221220520 134536889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36020 35068 1111 63 0 35957 0
vsize: 144080
[startup+910.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165082 0 0 0 90535 477 0 0 25 0 1 0 750868229 148348928 35267 4294967295 134512640 134714540 3221221792 3221220416 134542977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36218 35267 1111 63 0 36155 0
vsize: 144872
[startup+920.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165218 0 0 0 91535 478 0 0 25 0 1 0 750868229 148889600 35403 4294967295 134512640 134714540 3221221792 3221220348 134535008 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36350 35403 1111 63 0 36287 0
vsize: 145400
[startup+930.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165325 0 0 0 92535 478 0 0 25 0 1 0 750868229 149291008 35510 4294967295 134512640 134714540 3221221792 3221220576 134529410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36448 35510 1111 63 0 36385 0
vsize: 145792
[startup+940.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165486 0 0 0 93535 479 0 0 25 0 1 0 750868229 149962752 35671 4294967295 134512640 134714540 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36612 35671 1111 63 0 36549 0
vsize: 146448
[startup+950.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165710 0 0 0 94534 479 0 0 25 0 1 0 750868229 150908928 35895 4294967295 134512640 134714540 3221221792 3221220544 134594944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36843 35895 1111 63 0 36780 0
vsize: 147372
[startup+960.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 165856 0 0 0 95533 480 0 0 25 0 1 0 750868229 151584768 36041 4294967295 134512640 134714540 3221221792 3221220480 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37008 36041 1111 63 0 36945 0
vsize: 148032
[startup+970.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 166196 0 0 0 96532 481 0 0 25 0 1 0 750868229 152936448 36381 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37338 36381 1111 63 0 37275 0
vsize: 149352
[startup+980.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 166428 0 0 0 97532 482 0 0 25 0 1 0 750868229 153882624 36613 4294967295 134512640 134714540 3221221792 3221220456 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37569 36613 1111 63 0 37506 0
vsize: 150276
[startup+990.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 166668 0 0 0 98531 483 0 0 25 0 1 0 750868229 154828800 36853 4294967295 134512640 134714540 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37800 36853 1111 63 0 37737 0
vsize: 151200
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 166899 0 0 0 99530 484 0 0 25 0 1 0 750868229 155779072 37084 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38032 37084 1111 63 0 37969 0
vsize: 152128
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167051 0 0 0 100530 484 0 0 25 0 1 0 750868229 156454912 37236 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38197 37236 1111 63 0 38134 0
vsize: 152788
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167172 0 0 0 101530 485 0 0 25 0 1 0 750868229 156995584 37357 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38329 37357 1111 63 0 38266 0
vsize: 153316
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167346 0 0 0 102529 486 0 0 25 0 1 0 750868229 157671424 37531 4294967295 134512640 134714540 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38494 37531 1111 63 0 38431 0
vsize: 153976
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167761 0 0 0 103527 488 0 0 25 0 1 0 750868229 159293440 37946 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38890 37946 1111 63 0 38827 0
vsize: 155560
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167846 0 0 0 104526 489 0 0 25 0 1 0 750868229 159698944 38031 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38989 38031 1111 63 0 38926 0
vsize: 155956
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 167996 0 0 0 105525 490 0 0 25 0 1 0 750868229 160374784 38181 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39154 38181 1111 63 0 39091 0
vsize: 156616
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 168143 0 0 0 106524 491 0 0 25 0 1 0 750868229 160915456 38328 4294967295 134512640 134714540 3221221792 3221220348 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39286 38328 1111 63 0 39223 0
vsize: 157144
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 168317 0 0 0 107523 492 0 0 25 0 1 0 750868229 161726464 38502 4294967295 134512640 134714540 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39484 38502 1111 63 0 39421 0
vsize: 157936
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 168523 0 0 0 108523 493 0 0 25 0 1 0 750868229 162537472 38708 4294967295 134512640 134714540 3221221792 3221220460 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39682 38708 1111 63 0 39619 0
vsize: 158728
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 168733 0 0 0 109522 494 0 0 25 0 1 0 750868229 163348480 38918 4294967295 134512640 134714540 3221221792 3221220200 134697474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39880 38918 1111 63 0 39817 0
vsize: 159520
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 168866 0 0 0 110522 494 0 0 25 0 1 0 750868229 163889152 39051 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40012 39051 1111 63 0 39949 0
vsize: 160048
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 169159 0 0 0 111521 496 0 0 25 0 1 0 750868229 165105664 39344 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40309 39344 1111 63 0 40246 0
vsize: 161236
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 169218 0 0 0 112521 496 0 0 25 0 1 0 750868229 165376000 39403 4294967295 134512640 134714540 3221221792 3221220432 134539419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40375 39403 1111 63 0 40312 0
vsize: 161500
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 169472 0 0 0 113520 497 0 0 25 0 1 0 750868229 166457344 39657 4294967295 134512640 134714540 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40639 39657 1111 63 0 40576 0
vsize: 162556
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 169815 0 0 0 114518 499 0 0 25 0 1 0 750868229 167809024 40000 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40969 40000 1111 63 0 40906 0
vsize: 163876
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 170342 0 0 0 115516 501 0 0 25 0 1 0 750868229 169971712 40527 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41497 40527 1111 63 0 41434 0
vsize: 165988
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/55 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 170848 0 0 0 116513 504 0 0 25 0 1 0 750868229 171999232 41033 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41992 41033 1111 63 0 41929 0
vsize: 167968
[startup+1174.96 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 504
Raw data (stat): 502 (bsolo_mis) R 501 7876 7672 0 -1 0 170848 0 0 0 116513 504 0 0 25 0 1 0 750868229 171999232 41033 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41992 41033 1111 63 0 41929 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1169.97
CPU system time (s): 5.13222
CPU usage (%): 100.012
Max. virtual memory (Kb): 167968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####