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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	39088316758
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	39088316758
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	0.98385
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 27022

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 18:47:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19048 boxname=wulflinc24 idbench=1466 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 19048
/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:        795240 kB
Buffers:         36396 kB
Cached:         179220 kB
SwapCached:        624 kB
Active:          68320 kB
Inactive:       149740 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        794988 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15776 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:07:38 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 19048 7 1200.26 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.79 0.95 0.98 2/54 7157
Raw data (stat): 7157 (runsolver) R 7156 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832512311 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.0002 s]
Raw data (loadavg): 0.82 0.95 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 1002 0 0 0 996 2 0 0 25 0 1 0 832512311 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+19.9998 s]
Raw data (loadavg): 0.85 0.95 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 1248 0 0 0 1996 2 0 0 25 0 1 0 832512311 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414424 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.0005 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 1499 0 0 0 2996 2 0 0 25 0 1 0 832512311 18026496 1477 4294967295 134512640 134714540 3221224592 3221222820 1077414395 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.0012 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 1747 0 0 0 3996 3 0 0 25 0 1 0 832512311 19013632 1725 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.0009 s]
Raw data (loadavg): 0.91 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 1994 0 0 0 4996 3 0 0 25 0 1 0 832512311 20140032 1972 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.92 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 2247 0 0 0 5996 3 0 0 25 0 1 0 832512311 21123072 2225 4294967295 134512640 134714540 3221224592 3221222820 1077414382 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 2495 0 0 0 6995 4 0 0 25 0 1 0 832512311 22110208 2473 4294967295 134512640 134714540 3221224592 3221222820 1077414383 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.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 2742 0 0 0 7995 5 0 0 25 0 1 0 832512311 23089152 2720 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2720 1111 63 0 5574 0
vsize: 22548
[startup+90.0008 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 2990 0 0 0 8995 5 0 0 25 0 1 0 832512311 24215552 2968 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 2968 1111 63 0 5849 0
vsize: 23648
[startup+100 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 3238 0 0 0 9994 6 0 0 25 0 1 0 832512311 25206784 3216 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.001 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 3492 0 0 0 10994 6 0 0 25 0 1 0 832512311 26189824 3470 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.97 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 3748 0 0 0 11994 7 0 0 25 0 1 0 832512311 27336704 3726 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.002 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 4002 0 0 0 12993 7 0 0 25 0 1 0 832512311 28323840 3980 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.98 0.96 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 4251 0 0 0 13993 8 0 0 25 0 1 0 832512311 29306880 4229 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.98 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 4505 0 0 0 14992 9 0 0 25 0 1 0 832512311 30433280 4483 4294967295 134512640 134714540 3221224592 3221222820 1077414370 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.001 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 4759 0 0 0 15992 9 0 0 25 0 1 0 832512311 31416320 4737 4294967295 134512640 134714540 3221224592 3221222820 1077414408 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 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 5009 0 0 0 16992 9 0 0 25 0 1 0 832512311 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.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 5264 0 0 0 17991 10 0 0 25 0 1 0 832512311 33533952 5242 4294967295 134512640 134714540 3221224592 3221222820 1077414347 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.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 5518 0 0 0 18991 11 0 0 25 0 1 0 832512311 34516992 5496 4294967295 134512640 134714540 3221224592 3221222820 1077414338 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.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 5773 0 0 0 19991 11 0 0 25 0 1 0 832512311 35508224 5751 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 5751 1111 63 0 8606 0
vsize: 34676
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 6028 0 0 0 20990 12 0 0 25 0 1 0 832512311 36634624 6006 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8944 6006 1111 63 0 8881 0
vsize: 35776
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 6293 0 0 0 21990 12 0 0 25 0 1 0 832512311 37801984 6271 4294967295 134512640 134714540 3221224592 3221222820 1077414433 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.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 6547 0 0 0 22990 12 0 0 25 0 1 0 832512311 38780928 6525 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 6802 0 0 0 23990 13 0 0 25 0 1 0 832512311 39768064 6780 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9709 6780 1111 63 0 9646 0
vsize: 38836
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 7057 0 0 0 24990 13 0 0 25 0 1 0 832512311 40894464 7035 4294967295 134512640 134714540 3221224592 3221222820 1077414351 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.002 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 7319 0 0 0 25990 13 0 0 25 0 1 0 832512311 41877504 7297 4294967295 134512640 134714540 3221224592 3221222820 1077414420 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.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 7574 0 0 0 26989 14 0 0 25 0 1 0 832512311 43008000 7552 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 7830 0 0 0 27989 14 0 0 25 0 1 0 832512311 43995136 7808 4294967295 134512640 134714540 3221224592 3221222820 1077414385 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.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 8092 0 0 0 28988 15 0 0 25 0 1 0 832512311 45121536 8070 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 8352 0 0 0 29988 16 0 0 25 0 1 0 832512311 46100480 8330 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8330 1111 63 0 11192 0
vsize: 45020
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 8609 0 0 0 30988 16 0 0 25 0 1 0 832512311 47226880 8587 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11530 8587 1111 63 0 11467 0
vsize: 46120
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 8870 0 0 0 31987 17 0 0 25 0 1 0 832512311 48214016 8848 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11771 8848 1111 63 0 11708 0
vsize: 47084
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 9132 0 0 0 32987 17 0 0 25 0 1 0 832512311 49340416 9110 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9110 1111 63 0 11983 0
vsize: 48184
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 9394 0 0 0 33987 18 0 0 25 0 1 0 832512311 50466816 9372 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12321 9372 1111 63 0 12258 0
vsize: 49284
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 9656 0 0 0 34986 18 0 0 25 0 1 0 832512311 51453952 9634 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12562 9634 1111 63 0 12499 0
vsize: 50248
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 9918 0 0 0 35986 18 0 0 25 0 1 0 832512311 52580352 9896 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12837 9896 1111 63 0 12774 0
vsize: 51348
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 10181 0 0 0 36986 19 0 0 25 0 1 0 832512311 53567488 10159 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13078 10159 1111 63 0 13015 0
vsize: 52312
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 10443 0 0 0 37986 20 0 0 25 0 1 0 832512311 54693888 10421 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13353 10421 1111 63 0 13290 0
vsize: 53412
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 10704 0 0 0 38985 20 0 0 25 0 1 0 832512311 55816192 10682 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13627 10682 1111 63 0 13564 0
vsize: 54508
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 10972 0 0 0 39985 21 0 0 25 0 1 0 832512311 56803328 10950 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 10950 1111 63 0 13805 0
vsize: 55472
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 11234 0 0 0 40985 21 0 0 25 0 1 0 832512311 57929728 11212 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14143 11212 1111 63 0 14080 0
vsize: 56572
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 11496 0 0 0 41984 22 0 0 25 0 1 0 832512311 59056128 11474 4294967295 134512640 134714540 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11474 1111 63 0 14355 0
vsize: 57672
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 11757 0 0 0 42984 22 0 0 25 0 1 0 832512311 60043264 11735 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14659 11735 1111 63 0 14596 0
vsize: 58636
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 12043 0 0 0 43983 23 0 0 25 0 1 0 832512311 61419520 12021 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14995 12021 1111 63 0 14932 0
vsize: 59980
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 12312 0 0 0 44983 24 0 0 25 0 1 0 832512311 62402560 12290 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15235 12290 1111 63 0 15172 0
vsize: 60940
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 12575 0 0 0 45983 24 0 0 25 0 1 0 832512311 63528960 12553 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15510 12553 1111 63 0 15447 0
vsize: 62040
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 12843 0 0 0 46982 25 0 0 25 0 1 0 832512311 64655360 12821 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15785 12821 1111 63 0 15722 0
vsize: 63140
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 13112 0 0 0 47982 25 0 0 25 0 1 0 832512311 65785856 13090 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16061 13090 1111 63 0 15998 0
vsize: 64244
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 13381 0 0 0 48981 26 0 0 25 0 1 0 832512311 66764800 13359 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16300 13359 1111 63 0 16237 0
vsize: 65200
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 13649 0 0 0 49981 27 0 0 25 0 1 0 832512311 67891200 13627 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16575 13627 1111 63 0 16512 0
vsize: 66300
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 13918 0 0 0 50981 27 0 0 25 0 1 0 832512311 69017600 13896 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16850 13896 1111 63 0 16787 0
vsize: 67400
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 14187 0 0 0 51980 28 0 0 25 0 1 0 832512311 70144000 14165 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17125 14165 1111 63 0 17062 0
vsize: 68500
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 14456 0 0 0 52980 29 0 0 25 0 1 0 832512311 71274496 14434 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17401 14434 1111 63 0 17338 0
vsize: 69604
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 14725 0 0 0 53979 29 0 0 25 0 1 0 832512311 72257536 14703 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17641 14703 1111 63 0 17578 0
vsize: 70564
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 15000 0 0 0 54979 30 0 0 25 0 1 0 832512311 73383936 14978 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17916 14978 1111 63 0 17853 0
vsize: 71664
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 15271 0 0 0 55979 30 0 0 25 0 1 0 832512311 74510336 15249 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18191 15249 1111 63 0 18128 0
vsize: 72764
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 15539 0 0 0 56979 31 0 0 25 0 1 0 832512311 75640832 15517 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18467 15517 1111 63 0 18404 0
vsize: 73868
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 15815 0 0 0 57978 31 0 0 25 0 1 0 832512311 76767232 15793 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18742 15793 1111 63 0 18679 0
vsize: 74968
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 16091 0 0 0 58978 32 0 0 25 0 1 0 832512311 77893632 16069 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19017 16069 1111 63 0 18954 0
vsize: 76068
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 16366 0 0 0 59977 33 0 0 25 0 1 0 832512311 79020032 16344 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19292 16344 1111 63 0 19229 0
vsize: 77168
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 16636 0 0 0 60977 33 0 0 25 0 1 0 832512311 80146432 16614 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19567 16614 1111 63 0 19504 0
vsize: 78268
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 16912 0 0 0 61976 34 0 0 25 0 1 0 832512311 81264640 16890 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19840 16890 1111 63 0 19777 0
vsize: 79360
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 17186 0 0 0 62976 34 0 0 25 0 1 0 832512311 82395136 17164 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20116 17164 1111 63 0 20053 0
vsize: 80464
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 17462 0 0 0 63976 35 0 0 25 0 1 0 832512311 83521536 17440 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20391 17440 1111 63 0 20328 0
vsize: 81564
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 17743 0 0 0 64975 35 0 0 25 0 1 0 832512311 84647936 17721 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20666 17721 1111 63 0 20603 0
vsize: 82664
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 18020 0 0 0 65975 36 0 0 25 0 1 0 832512311 85774336 17998 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20941 17998 1111 63 0 20878 0
vsize: 83764
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 18296 0 0 0 66975 36 0 0 25 0 1 0 832512311 86900736 18274 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21216 18274 1111 63 0 21153 0
vsize: 84864
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 18572 0 0 0 67974 37 0 0 25 0 1 0 832512311 88027136 18550 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21491 18550 1111 63 0 21428 0
vsize: 85964
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 18855 0 0 0 68973 38 0 0 25 0 1 0 832512311 89153536 18833 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21766 18833 1111 63 0 21703 0
vsize: 87064
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 19137 0 0 0 69973 39 0 0 25 0 1 0 832512311 90279936 19115 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22041 19115 1111 63 0 21978 0
vsize: 88164
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 19414 0 0 0 70973 39 0 0 25 0 1 0 832512311 91406336 19392 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22316 19392 1111 63 0 22253 0
vsize: 89264
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 19690 0 0 0 71972 40 0 0 25 0 1 0 832512311 92532736 19668 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22591 19668 1111 63 0 22528 0
vsize: 90364
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 19978 0 0 0 72972 41 0 0 25 0 1 0 832512311 93802496 19956 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22901 19956 1111 63 0 22838 0
vsize: 91604
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7157
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 20255 0 0 0 73971 41 0 0 25 0 1 0 832512311 94928896 20233 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23176 20233 1111 63 0 23113 0
vsize: 92704
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/56 7197
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 20537 0 0 0 74969 42 0 0 25 0 1 0 832512311 96055296 20515 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23451 20515 1111 63 0 23388 0
vsize: 93804
[startup+760.016 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 20821 0 0 0 75968 43 0 0 25 0 1 0 832512311 97181696 20799 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23726 20799 1111 63 0 23663 0
vsize: 94904
[startup+770.017 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 21096 0 0 0 76967 44 0 0 25 0 1 0 832512311 98308096 21074 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24001 21074 1111 63 0 23938 0
vsize: 96004
[startup+780.016 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 21378 0 0 0 77966 45 0 0 25 0 1 0 832512311 99434496 21356 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24276 21356 1111 63 0 24213 0
vsize: 97104
[startup+790.017 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 21662 0 0 0 78966 45 0 0 25 0 1 0 832512311 100704256 21640 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24586 21640 1111 63 0 24523 0
vsize: 98344
[startup+800.017 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 21950 0 0 0 79965 46 0 0 25 0 1 0 832512311 101830656 21928 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24861 21928 1111 63 0 24798 0
vsize: 99444
[startup+810.017 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7210
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 22234 0 0 0 80965 46 0 0 25 0 1 0 832512311 102957056 22212 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25136 22212 1111 63 0 25073 0
vsize: 100544
[startup+820.017 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 22516 0 0 0 81965 47 0 0 25 0 1 0 832512311 104075264 22494 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25409 22494 1111 63 0 25346 0
vsize: 101636
[startup+830.017 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 22804 0 0 0 82964 48 0 0 25 0 1 0 832512311 105349120 22782 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25720 22782 1111 63 0 25657 0
vsize: 102880
[startup+840.018 s]
Raw data (loadavg): 1.09 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 23120 0 0 0 83964 48 0 0 25 0 1 0 832512311 106831872 23098 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26082 23098 1111 63 0 26019 0
vsize: 104328
[startup+850.017 s]
Raw data (loadavg): 1.08 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 23409 0 0 0 84964 49 0 0 25 0 1 0 832512311 108105728 23387 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26393 23387 1111 63 0 26330 0
vsize: 105572
[startup+860.017 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 23692 0 0 0 85963 50 0 0 25 0 1 0 832512311 109223936 23670 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26666 23670 1111 63 0 26603 0
vsize: 106664
[startup+870.017 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 23981 0 0 0 86962 50 0 0 25 0 1 0 832512311 110350336 23959 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26941 23959 1111 63 0 26878 0
vsize: 107764
[startup+880.017 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 24271 0 0 0 87961 51 0 0 25 0 1 0 832512311 111616000 24249 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27250 24249 1111 63 0 27187 0
vsize: 109000
[startup+890.017 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 24560 0 0 0 88961 52 0 0 25 0 1 0 832512311 112742400 24538 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27525 24538 1111 63 0 27462 0
vsize: 110100
[startup+900.017 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 24856 0 0 0 89960 53 0 0 25 0 1 0 832512311 114012160 24834 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27835 24834 1111 63 0 27772 0
vsize: 111340
[startup+910.016 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 25146 0 0 0 90960 53 0 0 25 0 1 0 832512311 115138560 25124 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28110 25124 1111 63 0 28047 0
vsize: 112440
[startup+920.016 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 25441 0 0 0 91960 54 0 0 25 0 1 0 832512311 116404224 25419 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28419 25419 1111 63 0 28356 0
vsize: 113676
[startup+930.016 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 25732 0 0 0 92959 54 0 0 25 0 1 0 832512311 117530624 25710 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28694 25710 1111 63 0 28631 0
vsize: 114776
[startup+940.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 26022 0 0 0 93959 55 0 0 25 0 1 0 832512311 118657024 26000 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28969 26000 1111 63 0 28906 0
vsize: 115876
[startup+950.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 26324 0 0 0 94958 55 0 0 25 0 1 0 832512311 119926784 26302 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29279 26302 1111 63 0 29216 0
vsize: 117116
[startup+960.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 26614 0 0 0 95958 56 0 0 25 0 1 0 832512311 121192448 26592 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26592 1111 63 0 29525 0
vsize: 118352
[startup+970.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 26910 0 0 0 96958 56 0 0 25 0 1 0 832512311 122318848 26888 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29863 26888 1111 63 0 29800 0
vsize: 119452
[startup+980.016 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 27208 0 0 0 97958 57 0 0 25 0 1 0 832512311 123588608 27186 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30173 27186 1111 63 0 30110 0
vsize: 120692
[startup+990.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 27503 0 0 0 98956 58 0 0 25 0 1 0 832512311 124715008 27481 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30448 27481 1111 63 0 30385 0
vsize: 121792
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 27801 0 0 0 99956 59 0 0 25 0 1 0 832512311 125980672 27779 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30757 27779 1111 63 0 30694 0
vsize: 123028
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 28097 0 0 0 100956 59 0 0 25 0 1 0 832512311 127246336 28075 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31066 28075 1111 63 0 31003 0
vsize: 124264
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 28394 0 0 0 101956 60 0 0 25 0 1 0 832512311 128372736 28372 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31341 28372 1111 63 0 31278 0
vsize: 125364
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 28697 0 0 0 102955 60 0 0 25 0 1 0 832512311 129638400 28675 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31650 28675 1111 63 0 31587 0
vsize: 126600
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 29000 0 0 0 103955 61 0 0 25 0 1 0 832512311 130908160 28978 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31960 28978 1111 63 0 31897 0
vsize: 127840
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 29298 0 0 0 104955 61 0 0 25 0 1 0 832512311 132034560 29276 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32235 29276 1111 63 0 32172 0
vsize: 128940
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 29594 0 0 0 105955 61 0 0 25 0 1 0 832512311 133300224 29572 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32544 29572 1111 63 0 32481 0
vsize: 130176
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 29898 0 0 0 106954 62 0 0 25 0 1 0 832512311 134574080 29876 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32855 29876 1111 63 0 32792 0
vsize: 131420
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7212
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 30200 0 0 0 107954 62 0 0 25 0 1 0 832512311 135839744 30178 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33164 30178 1111 63 0 33101 0
vsize: 132656
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 30504 0 0 0 108954 63 0 0 25 0 1 0 832512311 136966144 30482 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33439 30482 1111 63 0 33376 0
vsize: 133756
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 30807 0 0 0 109953 63 0 0 25 0 1 0 832512311 138235904 30785 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33749 30785 1111 63 0 33686 0
vsize: 134996
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 31109 0 0 0 110953 64 0 0 25 0 1 0 832512311 139501568 31087 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34058 31087 1111 63 0 33995 0
vsize: 136232
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 31414 0 0 0 111952 65 0 0 25 0 1 0 832512311 140767232 31392 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34367 31392 1111 63 0 34304 0
vsize: 137468
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 31723 0 0 0 112952 65 0 0 25 0 1 0 832512311 142032896 31701 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34676 31701 1111 63 0 34613 0
vsize: 138704
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 32028 0 0 0 113952 66 0 0 25 0 1 0 832512311 143302656 32006 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34986 32006 1111 63 0 34923 0
vsize: 139944
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 32337 0 0 0 114951 67 0 0 25 0 1 0 832512311 144568320 32315 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35295 32315 1111 63 0 35232 0
vsize: 141180
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 32648 0 0 0 115950 67 0 0 25 0 1 0 832512311 145838080 32626 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35605 32626 1111 63 0 35542 0
vsize: 142420
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 32957 0 0 0 116950 68 0 0 25 0 1 0 832512311 147103744 32935 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35914 32935 1111 63 0 35851 0
vsize: 143656
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 33261 0 0 0 117950 68 0 0 25 0 1 0 832512311 148230144 33239 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36189 33239 1111 63 0 36126 0
vsize: 144756
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 33577 0 0 0 118949 69 0 0 25 0 1 0 832512311 149635072 33555 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36532 33555 1111 63 0 36469 0
vsize: 146128
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7214
Raw data (stat): 7157 (bsolo_mis) R 7156 4613 4612 0 -1 0 33880 0 0 0 119949 70 0 0 25 0 1 0 832512311 150761472 33858 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36807 33858 1111 63 0 36744 0
vsize: 147228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 7214
Raw data (stat): 7157 (bsolo_mis) Z 7156 4613 4612 0 -1 1036 33880 0 0 0 119949 76 0 0 25 0 1 0 832512311 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.08
CPU time (s): 1200.26
CPU user time (s): 1199.49
CPU system time (s): 0.763883
CPU usage (%): 100.015
Max. virtual memory (Kb): 147228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####