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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370a.opb
MD5SUM	1f27e2752aef6110d896dff85e9c13b8
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39171467771
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39171467771
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.01184
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26921

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 18:07:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19126 boxname=wulflinc24 idbench=1472 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1f27e2752aef6110d896dff85e9c13b8  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n370a.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n370a.opb
IDLAUNCH: 19126
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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.080
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:        810160 kB
Buffers:         36356 kB
Cached:         164300 kB
SwapCached:        624 kB
Active:          68300 kB
Inactive:       134820 kB
HighTotal:      131008 kB
HighFree:         1708 kB
LowTotal:       903652 kB
LowFree:        808452 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15744 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:27:05 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19126 7 1200.28 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): 0.93 0.98 0.99 2/54 6880
Raw data (stat): 6880 (runsolver) R 6879 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832269003 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 1002 0 0 0 995 3 0 0 25 0 1 0 832269003 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 1248 0 0 0 1995 4 0 0 25 0 1 0 832269003 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 1499 0 0 0 2994 5 0 0 25 0 1 0 832269003 18026496 1477 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4401 1477 1111 63 0 4338 0
vsize: 17604
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 1747 0 0 0 3994 5 0 0 25 0 1 0 832269003 19013632 1725 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 1725 1111 63 0 4579 0
vsize: 18568
[startup+50.001 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 1994 0 0 0 4993 6 0 0 25 0 1 0 832269003 20140032 1972 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4917 1972 1111 63 0 4854 0
vsize: 19668
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 2247 0 0 0 5992 7 0 0 25 0 1 0 832269003 21123072 2225 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5157 2225 1111 63 0 5094 0
vsize: 20628
[startup+70.0008 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 2495 0 0 0 6991 8 0 0 25 0 1 0 832269003 22110208 2473 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2473 1111 63 0 5335 0
vsize: 21592
[startup+80.0001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 2742 0 0 0 7991 9 0 0 25 0 1 0 832269003 23089152 2720 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2720 1111 63 0 5574 0
vsize: 22548
[startup+89.9999 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 2990 0 0 0 8990 10 0 0 25 0 1 0 832269003 24215552 2968 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 2968 1111 63 0 5849 0
vsize: 23648
[startup+99.9995 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 3238 0 0 0 9989 10 0 0 25 0 1 0 832269003 25206784 3216 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6154 3216 1111 63 0 6091 0
vsize: 24616
[startup+110 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 3492 0 0 0 10988 12 0 0 25 0 1 0 832269003 26189824 3470 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3470 1111 63 0 6331 0
vsize: 25576
[startup+120.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 3748 0 0 0 11987 13 0 0 25 0 1 0 832269003 27336704 3726 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6674 3726 1111 63 0 6611 0
vsize: 26696
[startup+130.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 4002 0 0 0 12987 14 0 0 25 0 1 0 832269003 28323840 3980 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 3980 1111 63 0 6852 0
vsize: 27660
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 4251 0 0 0 13986 14 0 0 25 0 1 0 832269003 29306880 4229 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7155 4229 1111 63 0 7092 0
vsize: 28620
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 4505 0 0 0 14986 15 0 0 25 0 1 0 832269003 30433280 4483 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4483 1111 63 0 7367 0
vsize: 29720
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 4759 0 0 0 15985 16 0 0 25 0 1 0 832269003 31416320 4737 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7670 4737 1111 63 0 7607 0
vsize: 30680
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 5009 0 0 0 16985 16 0 0 25 0 1 0 832269003 32407552 4987 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 4987 1111 63 0 7849 0
vsize: 31648
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 5264 0 0 0 17984 18 0 0 25 0 1 0 832269003 33533952 5242 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8187 5242 1111 63 0 8124 0
vsize: 32748
[startup+190.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 5518 0 0 0 18983 18 0 0 25 0 1 0 832269003 34516992 5496 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8427 5496 1111 63 0 8364 0
vsize: 33708
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 5767 0 0 0 19983 19 0 0 25 0 1 0 832269003 35508224 5745 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 5745 1111 63 0 8606 0
vsize: 34676
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 6027 0 0 0 20982 20 0 0 25 0 1 0 832269003 36634624 6005 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8944 6005 1111 63 0 8881 0
vsize: 35776
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 6293 0 0 0 21981 21 0 0 25 0 1 0 832269003 37801984 6271 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9229 6271 1111 63 0 9166 0
vsize: 36916
[startup+230.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 6547 0 0 0 22980 22 0 0 25 0 1 0 832269003 38780928 6525 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9468 6525 1111 63 0 9405 0
vsize: 37872
[startup+240.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 6801 0 0 0 23979 23 0 0 25 0 1 0 832269003 39768064 6779 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6779 1111 63 0 9646 0
vsize: 38836
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 7057 0 0 0 24979 24 0 0 25 0 1 0 832269003 40894464 7035 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9984 7035 1111 63 0 9921 0
vsize: 39936
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 7319 0 0 0 25978 25 0 0 25 0 1 0 832269003 41877504 7297 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7297 1111 63 0 10161 0
vsize: 40896
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 7574 0 0 0 26977 26 0 0 25 0 1 0 832269003 43008000 7552 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10500 7552 1111 63 0 10437 0
vsize: 42000
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 7830 0 0 0 27977 26 0 0 25 0 1 0 832269003 43995136 7808 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10741 7808 1111 63 0 10678 0
vsize: 42964
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 8092 0 0 0 28976 28 0 0 25 0 1 0 832269003 45121536 8070 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11016 8070 1111 63 0 10953 0
vsize: 44064
[startup+300.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 8345 0 0 0 29975 29 0 0 25 0 1 0 832269003 46100480 8323 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8323 1111 63 0 11192 0
vsize: 45020
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 8608 0 0 0 30974 29 0 0 25 0 1 0 832269003 47226880 8586 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11530 8586 1111 63 0 11467 0
vsize: 46120
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 8864 0 0 0 31974 30 0 0 25 0 1 0 832269003 48214016 8842 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 8842 1111 63 0 11708 0
vsize: 47084
[startup+330.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 9126 0 0 0 32973 31 0 0 25 0 1 0 832269003 49340416 9104 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9104 1111 63 0 11983 0
vsize: 48184
[startup+340.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 9388 0 0 0 33973 31 0 0 25 0 1 0 832269003 50327552 9366 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12287 9366 1111 63 0 12224 0
vsize: 49148
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 9649 0 0 0 34973 32 0 0 25 0 1 0 832269003 51453952 9627 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9627 1111 63 0 12499 0
vsize: 50248
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 9911 0 0 0 35971 33 0 0 25 0 1 0 832269003 52580352 9889 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12837 9889 1111 63 0 12774 0
vsize: 51348
[startup+370.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 10167 0 0 0 36971 33 0 0 25 0 1 0 832269003 53567488 10145 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13078 10145 1111 63 0 13015 0
vsize: 52312
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 10430 0 0 0 37970 34 0 0 25 0 1 0 832269003 54693888 10408 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13353 10408 1111 63 0 13290 0
vsize: 53412
[startup+390.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 10689 0 0 0 38970 35 0 0 25 0 1 0 832269003 55676928 10667 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13593 10667 1111 63 0 13530 0
vsize: 54372
[startup+400.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 10946 0 0 0 39969 36 0 0 25 0 1 0 832269003 56803328 10924 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 10924 1111 63 0 13805 0
vsize: 55472
[startup+410.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 11207 0 0 0 40969 36 0 0 25 0 1 0 832269003 57790464 11185 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14109 11185 1111 63 0 14046 0
vsize: 56436
[startup+420.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 11468 0 0 0 41969 36 0 0 25 0 1 0 832269003 58916864 11446 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14384 11446 1111 63 0 14321 0
vsize: 57536
[startup+430.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 11730 0 0 0 42968 37 0 0 25 0 1 0 832269003 59904000 11708 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14625 11708 1111 63 0 14562 0
vsize: 58500
[startup+440.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 12015 0 0 0 43968 38 0 0 25 0 1 0 832269003 61276160 11993 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14960 11993 1111 63 0 14897 0
vsize: 59840
[startup+450.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 12278 0 0 0 44967 38 0 0 25 0 1 0 832269003 62263296 12256 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15201 12256 1111 63 0 15138 0
vsize: 60804
[startup+460.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 12547 0 0 0 45967 39 0 0 25 0 1 0 832269003 63389696 12525 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15476 12525 1111 63 0 15413 0
vsize: 61904
[startup+470.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 12808 0 0 0 46966 40 0 0 25 0 1 0 832269003 64520192 12786 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15752 12786 1111 63 0 15689 0
vsize: 63008
[startup+480.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 13070 0 0 0 47966 40 0 0 25 0 1 0 832269003 65499136 13048 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15991 13048 1111 63 0 15928 0
vsize: 63964
[startup+490.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 13339 0 0 0 48966 40 0 0 25 0 1 0 832269003 66625536 13317 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16266 13317 1111 63 0 16203 0
vsize: 65064
[startup+500.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 13600 0 0 0 49965 41 0 0 25 0 1 0 832269003 67751936 13578 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16541 13578 1111 63 0 16478 0
vsize: 66164
[startup+510.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 13869 0 0 0 50965 41 0 0 25 0 1 0 832269003 68878336 13847 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16816 13847 1111 63 0 16753 0
vsize: 67264
[startup+520.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 14138 0 0 0 51965 42 0 0 25 0 1 0 832269003 69865472 14116 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17057 14116 1111 63 0 16994 0
vsize: 68228
[startup+530.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 14408 0 0 0 52965 42 0 0 25 0 1 0 832269003 70991872 14386 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17332 14386 1111 63 0 17269 0
vsize: 69328
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 14671 0 0 0 53965 43 0 0 25 0 1 0 832269003 72118272 14649 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17607 14649 1111 63 0 17544 0
vsize: 70428
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 14945 0 0 0 54965 43 0 0 25 0 1 0 832269003 73244672 14923 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17882 14923 1111 63 0 17819 0
vsize: 71528
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 15208 0 0 0 55964 44 0 0 25 0 1 0 832269003 74231808 15186 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18123 15186 1111 63 0 18060 0
vsize: 72492
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 15484 0 0 0 56964 44 0 0 25 0 1 0 832269003 75358208 15462 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15462 1111 63 0 18335 0
vsize: 73592
[startup+580.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 15753 0 0 0 57963 45 0 0 25 0 1 0 832269003 76484608 15731 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18673 15731 1111 63 0 18610 0
vsize: 74692
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 16023 0 0 0 58963 46 0 0 25 0 1 0 832269003 77606912 16001 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18947 16001 1111 63 0 18884 0
vsize: 75788
[startup+600.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 16296 0 0 0 59963 46 0 0 25 0 1 0 832269003 78733312 16274 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19222 16274 1111 63 0 19159 0
vsize: 76888
[startup+610.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 16566 0 0 0 60962 47 0 0 25 0 1 0 832269003 79859712 16544 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19497 16544 1111 63 0 19434 0
vsize: 77988
[startup+620.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 16841 0 0 0 61962 47 0 0 25 0 1 0 832269003 80986112 16819 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19772 16819 1111 63 0 19709 0
vsize: 79088
[startup+630.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 17110 0 0 0 62962 48 0 0 25 0 1 0 832269003 82112512 17088 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 17088 1111 63 0 19984 0
vsize: 80188
[startup+640.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 17387 0 0 0 63961 48 0 0 25 0 1 0 832269003 83238912 17365 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 17365 1111 63 0 20259 0
vsize: 81288
[startup+650.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 17662 0 0 0 64961 49 0 0 25 0 1 0 832269003 84365312 17640 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20597 17640 1111 63 0 20534 0
vsize: 82388
[startup+660.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 17938 0 0 0 65960 49 0 0 25 0 1 0 832269003 85491712 17916 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20872 17916 1111 63 0 20809 0
vsize: 83488
[startup+670.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 18214 0 0 0 66960 50 0 0 25 0 1 0 832269003 86622208 18192 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21148 18192 1111 63 0 21085 0
vsize: 84592
[startup+680.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 18489 0 0 0 67960 50 0 0 25 0 1 0 832269003 87748608 18467 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21423 18467 1111 63 0 21360 0
vsize: 85692
[startup+690.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 18767 0 0 0 68960 51 0 0 25 0 1 0 832269003 88875008 18745 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21698 18745 1111 63 0 21635 0
vsize: 86792
[startup+700.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 19042 0 0 0 69960 51 0 0 25 0 1 0 832269003 90001408 19020 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21973 19020 1111 63 0 21910 0
vsize: 87892
[startup+710.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 19324 0 0 0 70959 51 0 0 25 0 1 0 832269003 91127808 19302 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22248 19302 1111 63 0 22185 0
vsize: 88992
[startup+720.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 19607 0 0 0 71959 52 0 0 25 0 1 0 832269003 92254208 19585 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22523 19585 1111 63 0 22460 0
vsize: 90092
[startup+730.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 19882 0 0 0 72959 52 0 0 25 0 1 0 832269003 93380608 19860 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22798 19860 1111 63 0 22735 0
vsize: 91192
[startup+740.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 20160 0 0 0 73958 53 0 0 25 0 1 0 832269003 94507008 20138 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 20138 1111 63 0 23010 0
vsize: 92292
[startup+750.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 20442 0 0 0 74958 54 0 0 25 0 1 0 832269003 95629312 20420 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23347 20420 1111 63 0 23284 0
vsize: 93388
[startup+760.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 20723 0 0 0 75958 54 0 0 25 0 1 0 832269003 96755712 20701 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23622 20701 1111 63 0 23559 0
vsize: 94488
[startup+770.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 21006 0 0 0 76957 55 0 0 25 0 1 0 832269003 98021376 20984 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 20984 1111 63 0 23868 0
vsize: 95724
[startup+780.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 21287 0 0 0 77957 55 0 0 25 0 1 0 832269003 99151872 21265 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24207 21265 1111 63 0 24144 0
vsize: 96828
[startup+790.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 21565 0 0 0 78957 55 0 0 25 0 1 0 832269003 100278272 21543 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24482 21543 1111 63 0 24419 0
vsize: 97928
[startup+800.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 21853 0 0 0 79957 56 0 0 25 0 1 0 832269003 101404672 21831 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24757 21831 1111 63 0 24694 0
vsize: 99028
[startup+810.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 22136 0 0 0 80956 57 0 0 25 0 1 0 832269003 102531072 22114 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25032 22114 1111 63 0 24969 0
vsize: 100128
[startup+820.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 22418 0 0 0 81956 57 0 0 25 0 1 0 832269003 103796736 22396 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25341 22396 1111 63 0 25278 0
vsize: 101364
[startup+830.011 s]
Raw data (loadavg): 0.99 0.98 0.99 3/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 22707 0 0 0 82956 57 0 0 25 0 1 0 832269003 104923136 22685 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25616 22685 1111 63 0 25553 0
vsize: 102464
[startup+840.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 23023 0 0 0 83955 58 0 0 25 0 1 0 832269003 106409984 23001 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25979 23001 1111 63 0 25916 0
vsize: 103916
[startup+850.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 23305 0 0 0 84955 58 0 0 25 0 1 0 832269003 107675648 23283 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 23283 1111 63 0 26225 0
vsize: 105152
[startup+860.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 23595 0 0 0 85954 59 0 0 25 0 1 0 832269003 108802048 23573 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26563 23573 1111 63 0 26500 0
vsize: 106252
[startup+870.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 23884 0 0 0 86954 60 0 0 25 0 1 0 832269003 109928448 23862 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26838 23862 1111 63 0 26775 0
vsize: 107352
[startup+880.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 24167 0 0 0 87954 60 0 0 25 0 1 0 832269003 111198208 24145 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27148 24145 1111 63 0 27085 0
vsize: 108592
[startup+890.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 24457 0 0 0 88953 61 0 0 25 0 1 0 832269003 112324608 24435 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27423 24435 1111 63 0 27360 0
vsize: 109692
[startup+900.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 24746 0 0 0 89953 61 0 0 25 0 1 0 832269003 113451008 24724 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27698 24724 1111 63 0 27635 0
vsize: 110792
[startup+910.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 25036 0 0 0 90953 62 0 0 25 0 1 0 832269003 114716672 25014 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28007 25014 1111 63 0 27944 0
vsize: 112028
[startup+920.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 25325 0 0 0 91952 62 0 0 25 0 1 0 832269003 115843072 25303 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28282 25303 1111 63 0 28219 0
vsize: 113128
[startup+930.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 25615 0 0 0 92952 63 0 0 25 0 1 0 832269003 117112832 25593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28592 25593 1111 63 0 28529 0
vsize: 114368
[startup+940.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 25905 0 0 0 93951 64 0 0 25 0 1 0 832269003 118239232 25883 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28867 25883 1111 63 0 28804 0
vsize: 115468
[startup+950.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 26194 0 0 0 94951 64 0 0 25 0 1 0 832269003 119365632 26172 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29142 26172 1111 63 0 29079 0
vsize: 116568
[startup+960.012 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 26491 0 0 0 95950 65 0 0 25 0 1 0 832269003 120631296 26469 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29451 26469 1111 63 0 29388 0
vsize: 117804
[startup+970.013 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 26780 0 0 0 96950 65 0 0 25 0 1 0 832269003 121757696 26758 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29726 26758 1111 63 0 29663 0
vsize: 118904
[startup+980.012 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 27071 0 0 0 97950 66 0 0 25 0 1 0 832269003 123027456 27049 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30036 27049 1111 63 0 29973 0
vsize: 120144
[startup+990.013 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 27366 0 0 0 98950 66 0 0 25 0 1 0 832269003 124153856 27344 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30311 27344 1111 63 0 30248 0
vsize: 121244
[startup+1000.01 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 27663 0 0 0 99950 67 0 0 25 0 1 0 832269003 125419520 27641 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30620 27641 1111 63 0 30557 0
vsize: 122480
[startup+1010.01 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 27953 0 0 0 100949 67 0 0 25 0 1 0 832269003 126545920 27931 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30895 27931 1111 63 0 30832 0
vsize: 123580
[startup+1020.01 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 28249 0 0 0 101949 68 0 0 25 0 1 0 832269003 127815680 28227 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31205 28227 1111 63 0 31142 0
vsize: 124820
[startup+1030.01 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 28546 0 0 0 102948 68 0 0 25 0 1 0 832269003 129081344 28524 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31514 28524 1111 63 0 31451 0
vsize: 126056
[startup+1040.01 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 28842 0 0 0 103948 69 0 0 25 0 1 0 832269003 130207744 28820 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31789 28820 1111 63 0 31726 0
vsize: 127156
[startup+1050.01 s]
Raw data (loadavg): 1.17 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 29140 0 0 0 104948 69 0 0 25 0 1 0 832269003 131473408 29118 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32098 29118 1111 63 0 32035 0
vsize: 128392
[startup+1060.01 s]
Raw data (loadavg): 1.14 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 29442 0 0 0 105947 70 0 0 25 0 1 0 832269003 132739072 29420 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32407 29420 1111 63 0 32344 0
vsize: 129628
[startup+1070.01 s]
Raw data (loadavg): 1.12 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 29737 0 0 0 106947 71 0 0 25 0 1 0 832269003 133865472 29715 4294967295 134512640 134714540 3221224592 3221221308 1077199804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32682 29715 1111 63 0 32619 0
vsize: 130728
[startup+1080.02 s]
Raw data (loadavg): 1.18 1.04 1.01 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 30034 0 0 0 107947 71 0 0 25 0 1 0 832269003 135135232 30012 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32992 30012 1111 63 0 32929 0
vsize: 131968
[startup+1090.02 s]
Raw data (loadavg): 1.15 1.04 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 30336 0 0 0 108947 72 0 0 25 0 1 0 832269003 136400896 30314 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33301 30314 1111 63 0 33238 0
vsize: 133204
[startup+1100.02 s]
Raw data (loadavg): 1.13 1.04 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 30641 0 0 0 109946 73 0 0 25 0 1 0 832269003 137527296 30619 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33576 30619 1111 63 0 33513 0
vsize: 134304
[startup+1110.02 s]
Raw data (loadavg): 1.11 1.04 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 30937 0 0 0 110946 73 0 0 25 0 1 0 832269003 138797056 30915 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33886 30915 1111 63 0 33823 0
vsize: 135544
[startup+1120.02 s]
Raw data (loadavg): 1.09 1.04 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 31241 0 0 0 111945 74 0 0 25 0 1 0 832269003 140062720 31219 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34195 31219 1111 63 0 34132 0
vsize: 136780
[startup+1130.02 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 31544 0 0 0 112944 75 0 0 25 0 1 0 832269003 141328384 31522 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34504 31522 1111 63 0 34441 0
vsize: 138016
[startup+1140.02 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 31847 0 0 0 113944 75 0 0 25 0 1 0 832269003 142454784 31825 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34779 31825 1111 63 0 34716 0
vsize: 139116
[startup+1150.02 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 32150 0 0 0 114944 76 0 0 25 0 1 0 832269003 143720448 32128 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35088 32128 1111 63 0 35025 0
vsize: 140352
[startup+1160.02 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 32453 0 0 0 115943 77 0 0 25 0 1 0 832269003 144990208 32431 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35398 32431 1111 63 0 35335 0
vsize: 141592
[startup+1170.02 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 32758 0 0 0 116943 77 0 0 25 0 1 0 832269003 146255872 32736 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35707 32736 1111 63 0 35644 0
vsize: 142828
[startup+1180.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 33066 0 0 0 117942 78 0 0 25 0 1 0 832269003 147521536 33044 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36016 33044 1111 63 0 35953 0
vsize: 144064
[startup+1190.02 s]
Raw data (loadavg): 1.03 1.03 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 33371 0 0 0 118942 79 0 0 25 0 1 0 832269003 148791296 33349 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36326 33349 1111 63 0 36263 0
vsize: 145304
[startup+1200.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6880
Raw data (stat): 6880 (bsolo_mis) R 6879 4613 4612 0 -1 0 33674 0 0 0 119941 79 0 0 25 0 1 0 832269003 149917696 33652 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36601 33652 1111 63 0 36538 0
vsize: 146404
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.02 1.02 1.00 1/54 6880
Raw data (stat): 6880 (bsolo_mis) Z 6879 4613 4612 0 -1 1036 33674 0 0 0 119941 85 0 0 25 0 1 0 832269003 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.09
CPU time (s): 1200.28
CPU user time (s): 1199.42
CPU system time (s): 0.857869
CPU usage (%): 100.016
Max. virtual memory (Kb): 146404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####