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/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-NSR8K.opb
MD5SUM	4969ff20db6e3c380ff3de77937a8672
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
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	221520
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	34400198927214220148736
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	34400301327214220148736
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.17367
Number of variables	221520
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	221520
Trace number 27938

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-24 23:44:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15148 boxname=wulflinc22 idbench=1166 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4969ff20db6e3c380ff3de77937a8672  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-NSR8K.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-NSR8K.opb
IDLAUNCH: 15148
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        741296 kB
Buffers:         37116 kB
Cached:         221664 kB
SwapCached:      12200 kB
Active:          89096 kB
Inactive:       184016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        741044 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            14612 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:04:33 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 15148 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.18 1.02 0.93 2/54 28568
Raw data (stat): 28568 (runsolver) R 28567 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834295334 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.16 1.02 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 2047 0 0 0 991 7 0 0 25 0 1 0 834295334 16408576 2025 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4006 2025 1111 63 0 3943 0
vsize: 16024
[startup+20.0013 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 2399 0 0 0 1990 8 0 0 25 0 1 0 834295334 17899520 2377 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4370 2377 1111 63 0 4307 0
vsize: 17480
[startup+30.0007 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 2746 0 0 0 2990 9 0 0 25 0 1 0 834295334 19247104 2724 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4699 2724 1111 63 0 4636 0
vsize: 18796
[startup+40.0095 s]
Raw data (loadavg): 1.09 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 3098 0 0 0 3989 10 0 0 25 0 1 0 834295334 20738048 3076 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 3076 1111 63 0 5000 0
vsize: 20252
[startup+50.0166 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 3450 0 0 0 4989 11 0 0 25 0 1 0 834295334 22077440 3428 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5390 3428 1111 63 0 5327 0
vsize: 21560
[startup+60.0168 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 3797 0 0 0 5989 12 0 0 25 0 1 0 834295334 23576576 3775 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5756 3775 1111 63 0 5693 0
vsize: 23024
[startup+70.0173 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 4149 0 0 0 6988 13 0 0 25 0 1 0 834295334 25067520 4127 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6120 4127 1111 63 0 6057 0
vsize: 24480
[startup+80.0177 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 4501 0 0 0 7987 14 0 0 25 0 1 0 834295334 26406912 4479 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6447 4479 1111 63 0 6384 0
vsize: 25788
[startup+90.0179 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 4848 0 0 0 8986 15 0 0 25 0 1 0 834295334 27906048 4826 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6813 4826 1111 63 0 6750 0
vsize: 27252
[startup+100.018 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 5200 0 0 0 9986 15 0 0 25 0 1 0 834295334 29245440 5178 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7140 5178 1111 63 0 7077 0
vsize: 28560
[startup+110.019 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 5552 0 0 0 10985 16 0 0 25 0 1 0 834295334 30736384 5530 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7504 5530 1111 63 0 7441 0
vsize: 30016
[startup+120.019 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 5899 0 0 0 11985 16 0 0 25 0 1 0 834295334 32235520 5877 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7870 5877 1111 63 0 7807 0
vsize: 31480
[startup+130.019 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 6251 0 0 0 12985 17 0 0 25 0 1 0 834295334 33574912 6229 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8197 6229 1111 63 0 8134 0
vsize: 32788
[startup+140.02 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 6597 0 0 0 13984 18 0 0 25 0 1 0 834295334 35065856 6575 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8561 6575 1111 63 0 8498 0
vsize: 34244
[startup+150.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 6944 0 0 0 14984 18 0 0 25 0 1 0 834295334 36417536 6922 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8891 6922 1111 63 0 8828 0
vsize: 35564
[startup+160.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 7290 0 0 0 15984 19 0 0 25 0 1 0 834295334 37908480 7268 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9255 7268 1111 63 0 9192 0
vsize: 37020
[startup+170.021 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 7635 0 0 0 16983 20 0 0 25 0 1 0 834295334 39247872 7613 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9582 7613 1111 63 0 9519 0
vsize: 38328
[startup+180.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 7986 0 0 0 17982 20 0 0 25 0 1 0 834295334 40730624 7964 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9944 7964 1111 63 0 9881 0
vsize: 39776
[startup+190.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 8337 0 0 0 18982 21 0 0 25 0 1 0 834295334 42221568 8315 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 8315 1111 63 0 10245 0
vsize: 41232
[startup+200.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 8683 0 0 0 19981 22 0 0 25 0 1 0 834295334 43565056 8661 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10636 8661 1111 63 0 10573 0
vsize: 42544
[startup+210.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 9031 0 0 0 20981 23 0 0 25 0 1 0 834295334 45060096 9009 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11001 9009 1111 63 0 10938 0
vsize: 44004
[startup+220.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 9376 0 0 0 21980 23 0 0 25 0 1 0 834295334 46403584 9354 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11329 9354 1111 63 0 11266 0
vsize: 45316
[startup+230.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 9722 0 0 0 22980 24 0 0 25 0 1 0 834295334 47894528 9700 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11693 9700 1111 63 0 11630 0
vsize: 46772
[startup+240.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 10075 0 0 0 23979 25 0 0 25 0 1 0 834295334 49242112 10053 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12022 10053 1111 63 0 11959 0
vsize: 48088
[startup+250.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 10421 0 0 0 24979 25 0 0 25 0 1 0 834295334 50733056 10399 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 10399 1111 63 0 12323 0
vsize: 49544
[startup+260.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 10767 0 0 0 25978 26 0 0 25 0 1 0 834295334 52076544 10745 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12714 10745 1111 63 0 12651 0
vsize: 50856
[startup+270.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 11114 0 0 0 26978 26 0 0 25 0 1 0 834295334 53571584 11092 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13079 11092 1111 63 0 13016 0
vsize: 52316
[startup+280.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 11466 0 0 0 27977 27 0 0 25 0 1 0 834295334 54915072 11444 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13407 11444 1111 63 0 13344 0
vsize: 53628
[startup+290.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 11812 0 0 0 28977 28 0 0 25 0 1 0 834295334 56406016 11790 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13771 11790 1111 63 0 13708 0
vsize: 55084
[startup+300.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 12159 0 0 0 29976 29 0 0 25 0 1 0 834295334 57753600 12137 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14100 12137 1111 63 0 14037 0
vsize: 56400
[startup+310.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 12511 0 0 0 30976 30 0 0 25 0 1 0 834295334 59244544 12489 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14464 12489 1111 63 0 14401 0
vsize: 57856
[startup+320.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 12857 0 0 0 31976 31 0 0 25 0 1 0 834295334 60735488 12835 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14828 12835 1111 63 0 14765 0
vsize: 59312
[startup+330.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 13204 0 0 0 32975 32 0 0 25 0 1 0 834295334 62083072 13182 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15157 13182 1111 63 0 15094 0
vsize: 60628
[startup+340.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 13556 0 0 0 33975 32 0 0 25 0 1 0 834295334 63574016 13534 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15521 13534 1111 63 0 15458 0
vsize: 62084
[startup+350.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 13908 0 0 0 34974 33 0 0 25 0 1 0 834295334 64921600 13886 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15850 13886 1111 63 0 15787 0
vsize: 63400
[startup+360.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 14260 0 0 0 35974 34 0 0 25 0 1 0 834295334 66412544 14238 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16214 14238 1111 63 0 16151 0
vsize: 64856
[startup+370.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 14606 0 0 0 36973 34 0 0 25 0 1 0 834295334 67903488 14584 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16578 14584 1111 63 0 16515 0
vsize: 66312
[startup+380.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 14952 0 0 0 37972 36 0 0 25 0 1 0 834295334 69242880 14930 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16905 14930 1111 63 0 16842 0
vsize: 67620
[startup+390.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 15306 0 0 0 38972 36 0 0 25 0 1 0 834295334 70742016 15284 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17271 15284 1111 63 0 17208 0
vsize: 69084
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 15658 0 0 0 39971 37 0 0 25 0 1 0 834295334 72081408 15636 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17598 15636 1111 63 0 17535 0
vsize: 70392
[startup+410.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 16011 0 0 0 40969 38 0 0 25 0 1 0 834295334 73572352 15989 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 15989 1111 63 0 17899 0
vsize: 71848
[startup+420.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 16363 0 0 0 41968 39 0 0 25 0 1 0 834295334 75071488 16341 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18328 16341 1111 63 0 18265 0
vsize: 73312
[startup+430.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 16709 0 0 0 42967 39 0 0 25 0 1 0 834295334 76410880 16687 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18655 16687 1111 63 0 18592 0
vsize: 74620
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 17062 0 0 0 43966 41 0 0 25 0 1 0 834295334 77910016 17040 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19021 17040 1111 63 0 18958 0
vsize: 76084
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 17408 0 0 0 44965 42 0 0 25 0 1 0 834295334 79253504 17386 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19349 17386 1111 63 0 19286 0
vsize: 77396
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 17760 0 0 0 45965 42 0 0 25 0 1 0 834295334 80744448 17738 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19713 17738 1111 63 0 19650 0
vsize: 78852
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 18113 0 0 0 46964 43 0 0 25 0 1 0 834295334 82239488 18091 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20078 18091 1111 63 0 20015 0
vsize: 80312
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 18459 0 0 0 47964 44 0 0 25 0 1 0 834295334 83582976 18437 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20406 18437 1111 63 0 20343 0
vsize: 81624
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 18811 0 0 0 48964 44 0 0 25 0 1 0 834295334 85073920 18789 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20770 18789 1111 63 0 20707 0
vsize: 83080
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 19158 0 0 0 49963 45 0 0 25 0 1 0 834295334 86421504 19136 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21099 19136 1111 63 0 21036 0
vsize: 84396
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 19510 0 0 0 50962 46 0 0 25 0 1 0 834295334 87912448 19488 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21463 19488 1111 63 0 21400 0
vsize: 85852
[startup+520.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 19862 0 0 0 51961 47 0 0 25 0 1 0 834295334 89403392 19840 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21827 19840 1111 63 0 21764 0
vsize: 87308
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 20209 0 0 0 52961 48 0 0 25 0 1 0 834295334 90750976 20187 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22156 20187 1111 63 0 22093 0
vsize: 88624
[startup+540.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 20561 0 0 0 53960 48 0 0 25 0 1 0 834295334 92241920 20539 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22520 20539 1111 63 0 22457 0
vsize: 90080
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 20913 0 0 0 54960 49 0 0 25 0 1 0 834295334 93732864 20891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22884 20891 1111 63 0 22821 0
vsize: 91536
[startup+560.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 21260 0 0 0 55959 50 0 0 25 0 1 0 834295334 95080448 21238 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23213 21238 1111 63 0 23150 0
vsize: 92852
[startup+570.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 21612 0 0 0 56959 51 0 0 25 0 1 0 834295334 96571392 21590 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23577 21590 1111 63 0 23514 0
vsize: 94308
[startup+580.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 21964 0 0 0 57958 51 0 0 25 0 1 0 834295334 97910784 21942 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23904 21942 1111 63 0 23841 0
vsize: 95616
[startup+590.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 22317 0 0 0 58958 52 0 0 25 0 1 0 834295334 99409920 22295 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24270 22295 1111 63 0 24207 0
vsize: 97080
[startup+600.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 22663 0 0 0 59958 52 0 0 25 0 1 0 834295334 100900864 22641 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24634 22641 1111 63 0 24571 0
vsize: 98536
[startup+610.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 23015 0 0 0 60957 53 0 0 25 0 1 0 834295334 102240256 22993 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24961 22993 1111 63 0 24898 0
vsize: 99844
[startup+620.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 23368 0 0 0 61956 54 0 0 25 0 1 0 834295334 103739392 23346 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25327 23346 1111 63 0 25264 0
vsize: 101308
[startup+630.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 23720 0 0 0 62956 55 0 0 25 0 1 0 834295334 105230336 23698 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25691 23698 1111 63 0 25628 0
vsize: 102764
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 24072 0 0 0 63956 55 0 0 25 0 1 0 834295334 106569728 24050 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26018 24050 1111 63 0 25955 0
vsize: 104072
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 24425 0 0 0 64956 56 0 0 25 0 1 0 834295334 108068864 24403 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26384 24403 1111 63 0 26321 0
vsize: 105536
[startup+660.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 24771 0 0 0 65955 57 0 0 25 0 1 0 834295334 109412352 24749 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26712 24749 1111 63 0 26649 0
vsize: 106848
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 25123 0 0 0 66955 57 0 0 25 0 1 0 834295334 110903296 25101 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27076 25101 1111 63 0 27013 0
vsize: 108304
[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 25476 0 0 0 67954 58 0 0 25 0 1 0 834295334 112398336 25454 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27441 25454 1111 63 0 27378 0
vsize: 109764
[startup+690.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 25828 0 0 0 68954 58 0 0 25 0 1 0 834295334 113741824 25806 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27769 25806 1111 63 0 27706 0
vsize: 111076
[startup+700.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 26187 0 0 0 69954 59 0 0 25 0 1 0 834295334 115232768 26165 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 26165 1111 63 0 28070 0
vsize: 112532
[startup+710.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 26540 0 0 0 70954 59 0 0 25 0 1 0 834295334 116727808 26518 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28498 26518 1111 63 0 28435 0
vsize: 113992
[startup+720.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 26892 0 0 0 71953 60 0 0 25 0 1 0 834295334 118218752 26870 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28862 26870 1111 63 0 28799 0
vsize: 115448
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 27244 0 0 0 72954 60 0 0 25 0 1 0 834295334 119558144 27222 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29189 27222 1111 63 0 29126 0
vsize: 116756
[startup+740.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 27597 0 0 0 73954 61 0 0 25 0 1 0 834295334 121057280 27575 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29555 27575 1111 63 0 29492 0
vsize: 118220
[startup+750.073 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 27949 0 0 0 74954 62 0 0 25 0 1 0 834295334 122548224 27927 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29919 27927 1111 63 0 29856 0
vsize: 119676
[startup+760.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 28301 0 0 0 75953 62 0 0 25 0 1 0 834295334 123887616 28279 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30246 28279 1111 63 0 30183 0
vsize: 120984
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 28654 0 0 0 76953 63 0 0 25 0 1 0 834295334 125386752 28632 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30612 28632 1111 63 0 30549 0
vsize: 122448
[startup+780.074 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 29006 0 0 0 77952 64 0 0 25 0 1 0 834295334 126877696 28984 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30976 28984 1111 63 0 30913 0
vsize: 123904
[startup+790.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 29358 0 0 0 78951 65 0 0 25 0 1 0 834295334 128217088 29336 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31303 29336 1111 63 0 31240 0
vsize: 125212
[startup+800.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 29712 0 0 0 79951 66 0 0 25 0 1 0 834295334 129716224 29690 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31669 29690 1111 63 0 31606 0
vsize: 126676
[startup+810.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 30064 0 0 0 80950 67 0 0 25 0 1 0 834295334 131207168 30042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32033 30042 1111 63 0 31970 0
vsize: 128132
[startup+820.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 30416 0 0 0 81949 68 0 0 25 0 1 0 834295334 132546560 30394 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32360 30394 1111 63 0 32297 0
vsize: 129440
[startup+830.075 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 30775 0 0 0 82949 68 0 0 25 0 1 0 834295334 134045696 30753 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32726 30753 1111 63 0 32663 0
vsize: 130904
[startup+840.076 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 31127 0 0 0 83949 69 0 0 25 0 1 0 834295334 135536640 31105 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33090 31105 1111 63 0 33027 0
vsize: 132360
[startup+850.082 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 31479 0 0 0 84949 69 0 0 25 0 1 0 834295334 137027584 31457 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33454 31457 1111 63 0 33391 0
vsize: 133816
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 31832 0 0 0 85948 70 0 0 25 0 1 0 834295334 138375168 31810 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33783 31810 1111 63 0 33720 0
vsize: 135132
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 32185 0 0 0 86948 71 0 0 25 0 1 0 834295334 139866112 32163 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34147 32163 1111 63 0 34084 0
vsize: 136588
[startup+880.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 32537 0 0 0 87947 71 0 0 25 0 1 0 834295334 141357056 32515 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34511 32515 1111 63 0 34448 0
vsize: 138044
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 32896 0 0 0 88946 73 0 0 25 0 1 0 834295334 142704640 32874 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34840 32874 1111 63 0 34777 0
vsize: 139360
[startup+900.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 33248 0 0 0 89946 73 0 0 25 0 1 0 834295334 144195584 33226 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35204 33226 1111 63 0 35141 0
vsize: 140816
[startup+910.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 33600 0 0 0 90945 74 0 0 25 0 1 0 834295334 145686528 33578 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35568 33578 1111 63 0 35505 0
vsize: 142272
[startup+920.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 33953 0 0 0 91945 75 0 0 25 0 1 0 834295334 147034112 33931 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35897 33931 1111 63 0 35834 0
vsize: 143588
[startup+930.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28568
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 34305 0 0 0 92944 75 0 0 25 0 1 0 834295334 148525056 34283 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36261 34283 1111 63 0 36198 0
vsize: 145044
[startup+940.083 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 34663 0 0 0 93944 76 0 0 25 0 1 0 834295334 150016000 34641 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36625 34641 1111 63 0 36562 0
vsize: 146500
[startup+950.083 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 35023 0 0 0 94943 77 0 0 25 0 1 0 834295334 151515136 35001 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36991 35001 1111 63 0 36928 0
vsize: 147964
[startup+960.091 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 35374 0 0 0 95943 77 0 0 25 0 1 0 834295334 152854528 35352 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37318 35352 1111 63 0 37255 0
vsize: 149272
[startup+970.092 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 35728 0 0 0 96942 78 0 0 25 0 1 0 834295334 154345472 35706 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37682 35706 1111 63 0 37619 0
vsize: 150728
[startup+980.092 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 36087 0 0 0 97942 79 0 0 25 0 1 0 834295334 155844608 36065 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38048 36065 1111 63 0 37985 0
vsize: 152192
[startup+990.092 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 36439 0 0 0 98942 79 0 0 25 0 1 0 834295334 157335552 36417 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38412 36417 1111 63 0 38349 0
vsize: 153648
[startup+1000.09 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 36798 0 0 0 99941 81 0 0 25 0 1 0 834295334 158683136 36776 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38741 36776 1111 63 0 38678 0
vsize: 154964
[startup+1010.1 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 28621
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 37150 0 0 0 100941 81 0 0 25 0 1 0 834295334 160174080 37128 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39105 37128 1111 63 0 39042 0
vsize: 156420
[startup+1020.11 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 37502 0 0 0 101941 82 0 0 25 0 1 0 834295334 161665024 37480 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39469 37480 1111 63 0 39406 0
vsize: 157876
[startup+1030.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 37861 0 0 0 102941 83 0 0 25 0 1 0 834295334 163160064 37839 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39834 37839 1111 63 0 39771 0
vsize: 159336
[startup+1040.11 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 38214 0 0 0 103940 83 0 0 25 0 1 0 834295334 164503552 38192 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40162 38192 1111 63 0 40099 0
vsize: 160648
[startup+1050.12 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 38572 0 0 0 104941 84 0 0 25 0 1 0 834295334 165994496 38550 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40526 38550 1111 63 0 40463 0
vsize: 162104
[startup+1060.12 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 38925 0 0 0 105940 84 0 0 25 0 1 0 834295334 167489536 38903 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40891 38903 1111 63 0 40828 0
vsize: 163564
[startup+1070.12 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 39283 0 0 0 106940 85 0 0 25 0 1 0 834295334 168980480 39261 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39261 1111 63 0 41192 0
vsize: 165020
[startup+1080.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 39635 0 0 0 107939 86 0 0 25 0 1 0 834295334 170323968 39613 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41583 39613 1111 63 0 41520 0
vsize: 166332
[startup+1090.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 39994 0 0 0 108938 87 0 0 25 0 1 0 834295334 171819008 39972 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41948 39972 1111 63 0 41885 0
vsize: 167792
[startup+1100.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 40346 0 0 0 109937 88 0 0 25 0 1 0 834295334 173309952 40324 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42312 40324 1111 63 0 42249 0
vsize: 169248
[startup+1110.12 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 40704 0 0 0 110937 89 0 0 25 0 1 0 834295334 174800896 40682 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42676 40682 1111 63 0 42613 0
vsize: 170704
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 41058 0 0 0 111936 89 0 0 25 0 1 0 834295334 176148480 41036 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43005 41036 1111 63 0 42942 0
vsize: 172020
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 41415 0 0 0 112936 90 0 0 25 0 1 0 834295334 177639424 41393 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43369 41393 1111 63 0 43306 0
vsize: 173476
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 41773 0 0 0 113935 91 0 0 25 0 1 0 834295334 179130368 41751 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43733 41751 1111 63 0 43670 0
vsize: 174932
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 42128 0 0 0 114935 92 0 0 25 0 1 0 834295334 180629504 42106 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44099 42106 1111 63 0 44036 0
vsize: 176396
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 42486 0 0 0 115934 92 0 0 25 0 1 0 834295334 181968896 42464 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44426 42464 1111 63 0 44363 0
vsize: 177704
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 42838 0 0 0 116934 93 0 0 25 0 1 0 834295334 183459840 42816 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44790 42816 1111 63 0 44727 0
vsize: 179160
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 43197 0 0 0 117933 94 0 0 25 0 1 0 834295334 184958976 43175 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45156 43175 1111 63 0 45093 0
vsize: 180624
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 43555 0 0 0 118933 95 0 0 25 0 1 0 834295334 186449920 43533 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45520 43533 1111 63 0 45457 0
vsize: 182080
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28623
Raw data (stat): 28568 (bsolo_mis) R 28567 23310 23309 0 -1 0 43913 0 0 0 119933 95 0 0 25 0 1 0 834295334 187940864 43891 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45884 43891 1111 63 0 45821 0
vsize: 183536
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 1.00 1.01 0.94 1/54 28623
Raw data (stat): 28568 (bsolo_mis) Z 28567 23310 23309 0 -1 1036 43913 0 0 0 119933 104 0 0 25 0 1 0 834295334 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.37
CPU user time (s): 1199.33
CPU system time (s): 1.04084
CPU usage (%): 100.014
Max. virtual memory (Kb): 183536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####