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-n3707.opb
MD5SUM	01e0877cc064d2a3c60da2ac822a983e
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	39195741828
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	39195741828
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.998847
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 26936

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-24 18:14:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19087 boxname=wulflinc18 idbench=1469 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  01e0877cc064d2a3c60da2ac822a983e  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-n3707.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-n3707.opb
IDLAUNCH: 19087
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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:        936476 kB
Buffers:         34496 kB
Cached:          41848 kB
SwapCached:        836 kB
Active:          55760 kB
Inactive:        23072 kB
HighTotal:      131008 kB
HighFree:        87696 kB
LowTotal:       903652 kB
LowFree:        848780 kB
SwapTotal:     2097892 kB
SwapFree:      2096620 kB
Dirty:            1260 kB
Writeback:           0 kB
Mapped:           5660 kB
Slab:            13760 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:34:23 (client local time) WITH STATUS 0 IN 1200.13 SECONDS
stats: 19087 7 1200.13 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 24592
Raw data (stat): 24592 (runsolver) R 24591 24172 24171 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832301045 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.0009 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 994 0 2 0 979 3 0 0 25 0 1 0 832301045 16048128 974 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3918 974 1111 63 0 3855 0
vsize: 15672
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 1240 0 2 0 1978 3 0 0 25 0 1 0 832301045 17027072 1220 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1220 1111 63 0 4094 0
vsize: 16628
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 1484 0 2 0 2978 4 0 0 25 0 1 0 832301045 18026496 1464 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1464 1111 63 0 4338 0
vsize: 17604
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 1731 0 2 0 3978 4 0 0 25 0 1 0 832301045 19013632 1711 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1711 1111 63 0 4579 0
vsize: 18568
[startup+50.0012 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 1979 0 2 0 4978 4 0 0 25 0 1 0 832301045 20000768 1959 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 2231 0 2 0 5978 5 0 0 25 0 1 0 832301045 21123072 2211 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2211 1111 63 0 5094 0
vsize: 20628
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 2479 0 2 0 6978 5 0 0 25 0 1 0 832301045 22110208 2459 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2459 1111 63 0 5335 0
vsize: 21592
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 2726 0 2 0 7978 5 0 0 25 0 1 0 832301045 23089152 2706 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2706 1111 63 0 5574 0
vsize: 22548
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 2974 0 2 0 8977 6 0 0 25 0 1 0 832301045 24076288 2954 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2954 1111 63 0 5815 0
vsize: 23512
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 3222 0 2 0 9977 6 0 0 25 0 1 0 832301045 25063424 3202 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3202 1111 63 0 6056 0
vsize: 24476
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 3469 0 2 0 10977 7 0 0 25 0 1 0 832301045 26189824 3449 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6394 3449 1111 63 0 6331 0
vsize: 25576
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 3724 0 2 0 11977 7 0 0 25 0 1 0 832301045 27197440 3704 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3704 1111 63 0 6577 0
vsize: 26560
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 3973 0 2 0 12977 8 0 0 25 0 1 0 832301045 28184576 3953 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6881 3953 1111 63 0 6818 0
vsize: 27524
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 4220 0 2 0 13976 8 0 0 25 0 1 0 832301045 29163520 4200 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7120 4200 1111 63 0 7057 0
vsize: 28480
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 4469 0 2 0 14976 9 0 0 25 0 1 0 832301045 30289920 4449 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7395 4449 1111 63 0 7332 0
vsize: 29580
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 4723 0 2 0 15976 9 0 0 25 0 1 0 832301045 31281152 4703 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7637 4703 1111 63 0 7574 0
vsize: 30548
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 4979 0 2 0 16976 10 0 0 25 0 1 0 832301045 32264192 4959 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7877 4959 1111 63 0 7814 0
vsize: 31508
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 5228 0 2 0 17976 10 0 0 25 0 1 0 832301045 33390592 5208 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 5208 1111 63 0 8089 0
vsize: 32608
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 5476 0 2 0 18975 10 0 0 25 0 1 0 832301045 34377728 5456 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5456 1111 63 0 8330 0
vsize: 33572
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 5730 0 2 0 19975 11 0 0 25 0 1 0 832301045 35364864 5710 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5710 1111 63 0 8571 0
vsize: 34536
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 5983 0 2 0 20975 11 0 0 25 0 1 0 832301045 36487168 5963 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 5963 1111 63 0 8845 0
vsize: 35632
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 6238 0 2 0 21975 11 0 0 25 0 1 0 832301045 37474304 6218 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9149 6218 1111 63 0 9086 0
vsize: 36596
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 6504 0 2 0 22975 12 0 0 25 0 1 0 832301045 38641664 6484 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9434 6484 1111 63 0 9371 0
vsize: 37736
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 6758 0 2 0 23974 13 0 0 25 0 1 0 832301045 39624704 6738 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9674 6738 1111 63 0 9611 0
vsize: 38696
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 7014 0 2 0 24974 13 0 0 25 0 1 0 832301045 40751104 6994 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 6994 1111 63 0 9886 0
vsize: 39796
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 7269 0 2 0 25973 14 0 0 25 0 1 0 832301045 41742336 7249 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10191 7249 1111 63 0 10128 0
vsize: 40764
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 7524 0 2 0 26973 14 0 0 25 0 1 0 832301045 42725376 7504 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10431 7504 1111 63 0 10368 0
vsize: 41724
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 7780 0 2 0 27972 15 0 0 25 0 1 0 832301045 43851776 7760 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10706 7760 1111 63 0 10643 0
vsize: 42824
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 8034 0 2 0 28972 15 0 0 25 0 1 0 832301045 44834816 8014 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10946 8014 1111 63 0 10883 0
vsize: 43784
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 8295 0 2 0 29972 16 0 0 25 0 1 0 832301045 45961216 8275 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11221 8275 1111 63 0 11158 0
vsize: 44884
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 8551 0 2 0 30972 16 0 0 25 0 1 0 832301045 46948352 8531 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11462 8531 1111 63 0 11399 0
vsize: 45848
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 8807 0 2 0 31971 17 0 0 25 0 1 0 832301045 48074752 8787 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11737 8787 1111 63 0 11674 0
vsize: 46948
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 9069 0 2 0 32971 17 0 0 25 0 1 0 832301045 49061888 9049 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11978 9049 1111 63 0 11915 0
vsize: 47912
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 9331 0 2 0 33971 18 0 0 25 0 1 0 832301045 50188288 9311 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12253 9311 1111 63 0 12190 0
vsize: 49012
[startup+350.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 9592 0 2 0 34970 18 0 0 25 0 1 0 832301045 51175424 9572 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12494 9572 1111 63 0 12431 0
vsize: 49976
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 9854 0 2 0 35970 18 0 0 25 0 1 0 832301045 52301824 9834 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12769 9834 1111 63 0 12706 0
vsize: 51076
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 10109 0 2 0 36970 19 0 0 25 0 1 0 832301045 53280768 10089 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13008 10089 1111 63 0 12945 0
vsize: 52032
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 10371 0 2 0 37970 19 0 0 25 0 1 0 832301045 54407168 10351 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13283 10351 1111 63 0 13220 0
vsize: 53132
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 10633 0 2 0 38970 20 0 0 25 0 1 0 832301045 55537664 10613 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13559 10613 1111 63 0 13496 0
vsize: 54236
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 10895 0 2 0 39969 20 0 0 25 0 1 0 832301045 56520704 10875 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 10875 1111 63 0 13736 0
vsize: 55196
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 11157 0 2 0 40969 21 0 0 25 0 1 0 832301045 57647104 11137 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14074 11137 1111 63 0 14011 0
vsize: 56296
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 11424 0 2 0 41968 21 0 0 25 0 1 0 832301045 58773504 11404 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14349 11404 1111 63 0 14286 0
vsize: 57396
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 11686 0 2 0 42968 22 0 0 25 0 1 0 832301045 59764736 11666 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14591 11666 1111 63 0 14528 0
vsize: 58364
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 11966 0 2 0 43968 22 0 0 25 0 1 0 832301045 60997632 11946 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14892 11946 1111 63 0 14829 0
vsize: 59568
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 12228 0 2 0 44968 23 0 0 25 0 1 0 832301045 62124032 12208 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15167 12208 1111 63 0 15104 0
vsize: 60668
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 12496 0 2 0 45967 24 0 0 25 0 1 0 832301045 63242240 12476 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15440 12476 1111 63 0 15377 0
vsize: 61760
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 12764 0 2 0 46967 24 0 0 25 0 1 0 832301045 64372736 12744 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15716 12744 1111 63 0 15653 0
vsize: 62864
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 13027 0 2 0 47966 25 0 0 25 0 1 0 832301045 65359872 13007 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15957 13007 1111 63 0 15894 0
vsize: 63828
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 13296 0 2 0 48966 25 0 0 25 0 1 0 832301045 66486272 13276 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16232 13276 1111 63 0 16169 0
vsize: 64928
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 13564 0 2 0 49966 26 0 0 25 0 1 0 832301045 67612672 13544 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16507 13544 1111 63 0 16444 0
vsize: 66028
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 13827 0 2 0 50965 26 0 0 25 0 1 0 832301045 68599808 13807 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16748 13807 1111 63 0 16685 0
vsize: 66992
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 14102 0 2 0 51966 27 0 0 25 0 1 0 832301045 69726208 14082 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17023 14082 1111 63 0 16960 0
vsize: 68092
[startup+530.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 14372 0 2 0 52966 28 0 0 25 0 1 0 832301045 70852608 14352 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17298 14352 1111 63 0 17235 0
vsize: 69192
[startup+540.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 14641 0 2 0 53965 29 0 0 25 0 1 0 832301045 71979008 14621 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17573 14621 1111 63 0 17510 0
vsize: 70292
[startup+550.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 14909 0 2 0 54964 29 0 0 25 0 1 0 832301045 73105408 14889 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17848 14889 1111 63 0 17785 0
vsize: 71392
[startup+560.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 15179 0 2 0 55963 30 0 0 25 0 1 0 832301045 74231808 15159 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18123 15159 1111 63 0 18060 0
vsize: 72492
[startup+570.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 15454 0 2 0 56963 31 0 0 25 0 1 0 832301045 75358208 15434 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 15434 1111 63 0 18335 0
vsize: 73592
[startup+580.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 15723 0 2 0 57963 31 0 0 25 0 1 0 832301045 76341248 15703 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18638 15703 1111 63 0 18575 0
vsize: 74552
[startup+590.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 15998 0 2 0 58963 32 0 0 25 0 1 0 832301045 77467648 15978 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18913 15978 1111 63 0 18850 0
vsize: 75652
[startup+600.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 16267 0 2 0 59962 33 0 0 25 0 1 0 832301045 78594048 16247 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19188 16247 1111 63 0 19125 0
vsize: 76752
[startup+610.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 16543 0 2 0 60961 33 0 0 25 0 1 0 832301045 79720448 16523 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19463 16523 1111 63 0 19400 0
vsize: 77852
[startup+620.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 16819 0 2 0 61961 34 0 0 25 0 1 0 832301045 80846848 16799 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19738 16799 1111 63 0 19675 0
vsize: 78952
[startup+630.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 17094 0 2 0 62961 34 0 0 25 0 1 0 832301045 81973248 17074 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20013 17074 1111 63 0 19950 0
vsize: 80052
[startup+640.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 17371 0 2 0 63960 35 0 0 25 0 1 0 832301045 83099648 17351 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20288 17351 1111 63 0 20225 0
vsize: 81152
[startup+650.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 17646 0 2 0 64960 35 0 0 25 0 1 0 832301045 84226048 17626 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20563 17626 1111 63 0 20500 0
vsize: 82252
[startup+660.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 17923 0 2 0 65959 36 0 0 25 0 1 0 832301045 85356544 17903 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20839 17903 1111 63 0 20776 0
vsize: 83356
[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 18199 0 2 0 66960 36 0 0 25 0 1 0 832301045 86482944 18179 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21114 18179 1111 63 0 21051 0
vsize: 84456
[startup+680.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 18480 0 2 0 67959 37 0 0 25 0 1 0 832301045 87609344 18460 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21389 18460 1111 63 0 21326 0
vsize: 85556
[startup+690.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 18758 0 2 0 68959 37 0 0 25 0 1 0 832301045 88735744 18738 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21664 18738 1111 63 0 21601 0
vsize: 86656
[startup+700.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 19039 0 2 0 69958 38 0 0 25 0 1 0 832301045 90001408 19019 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21973 19019 1111 63 0 21910 0
vsize: 87892
[startup+710.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 19322 0 2 0 70957 39 0 0 25 0 1 0 832301045 91127808 19302 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 19605 0 2 0 71957 40 0 0 25 0 1 0 832301045 92254208 19585 4294967295 134512640 134714540 3221224592 3221222820 1077414388 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.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 19881 0 2 0 72957 40 0 0 25 0 1 0 832301045 93380608 19861 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22798 19861 1111 63 0 22735 0
vsize: 91192
[startup+740.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 20165 0 2 0 73956 41 0 0 25 0 1 0 832301045 94507008 20145 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23073 20145 1111 63 0 23010 0
vsize: 92292
[startup+750.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 20446 0 2 0 74956 42 0 0 25 0 1 0 832301045 95629312 20426 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23347 20426 1111 63 0 23284 0
vsize: 93388
[startup+760.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 20736 0 2 0 75955 43 0 0 25 0 1 0 832301045 96903168 20716 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23658 20716 1111 63 0 23595 0
vsize: 94632
[startup+770.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 21017 0 2 0 76955 43 0 0 25 0 1 0 832301045 98021376 20997 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23931 20997 1111 63 0 23868 0
vsize: 95724
[startup+780.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 21299 0 2 0 77954 44 0 0 25 0 1 0 832301045 99151872 21279 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24207 21279 1111 63 0 24144 0
vsize: 96828
[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 21590 0 2 0 78954 44 0 0 25 0 1 0 832301045 100417536 21570 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24516 21570 1111 63 0 24453 0
vsize: 98064
[startup+800.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 21872 0 2 0 79954 44 0 0 25 0 1 0 832301045 101543936 21852 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24791 21852 1111 63 0 24728 0
vsize: 99164
[startup+810.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 22155 0 2 0 80953 45 0 0 25 0 1 0 832301045 102670336 22135 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25066 22135 1111 63 0 25003 0
vsize: 100264
[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 22444 0 2 0 81953 46 0 0 25 0 1 0 832301045 103796736 22424 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25341 22424 1111 63 0 25278 0
vsize: 101364
[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 22732 0 2 0 82952 46 0 0 25 0 1 0 832301045 105062400 22712 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25650 22712 1111 63 0 25587 0
vsize: 102600
[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 23055 0 2 0 83952 47 0 0 25 0 1 0 832301045 106549248 23035 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26013 23035 1111 63 0 25950 0
vsize: 104052
[startup+850.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 23344 0 2 0 84952 48 0 0 25 0 1 0 832301045 107819008 23324 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26323 23324 1111 63 0 26260 0
vsize: 105292
[startup+860.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 23634 0 2 0 85951 48 0 0 25 0 1 0 832301045 108945408 23614 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26598 23614 1111 63 0 26535 0
vsize: 106392
[startup+870.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 23923 0 2 0 86950 49 0 0 25 0 1 0 832301045 110211072 23903 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26907 23903 1111 63 0 26844 0
vsize: 107628
[startup+880.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 24213 0 2 0 87951 49 0 0 25 0 1 0 832301045 111337472 24193 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27182 24193 1111 63 0 27119 0
vsize: 108728
[startup+890.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 24503 0 2 0 88950 50 0 0 25 0 1 0 832301045 112463872 24483 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27457 24483 1111 63 0 27394 0
vsize: 109828
[startup+900.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 24792 0 2 0 89950 51 0 0 25 0 1 0 832301045 113733632 24772 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27767 24772 1111 63 0 27704 0
vsize: 111068
[startup+910.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 25089 0 2 0 90950 51 0 0 25 0 1 0 832301045 114860032 25069 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28042 25069 1111 63 0 27979 0
vsize: 112168
[startup+920.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 25385 0 2 0 91949 51 0 0 25 0 1 0 832301045 116125696 25365 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28351 25365 1111 63 0 28288 0
vsize: 113404
[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 25676 0 2 0 92949 52 0 0 25 0 1 0 832301045 117252096 25656 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 25656 1111 63 0 28563 0
vsize: 114504
[startup+940.047 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 25971 0 2 0 93949 52 0 0 25 0 1 0 832301045 118517760 25951 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28935 25951 1111 63 0 28872 0
vsize: 115740
[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 26268 0 2 0 94949 53 0 0 25 0 1 0 832301045 119783424 26248 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29244 26248 1111 63 0 29181 0
vsize: 116976
[startup+960.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 26565 0 2 0 95948 53 0 0 25 0 1 0 832301045 120913920 26545 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29520 26545 1111 63 0 29457 0
vsize: 118080
[startup+970.048 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 26860 0 2 0 96948 54 0 0 25 0 1 0 832301045 122179584 26840 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29829 26840 1111 63 0 29766 0
vsize: 119316
[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 27158 0 2 0 97947 54 0 0 25 0 1 0 832301045 123305984 27138 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30104 27138 1111 63 0 30041 0
vsize: 120416
[startup+990.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 27454 0 2 0 98947 55 0 0 25 0 1 0 832301045 124571648 27434 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30413 27434 1111 63 0 30350 0
vsize: 121652
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 27758 0 2 0 99947 56 0 0 25 0 1 0 832301045 125841408 27738 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30723 27738 1111 63 0 30660 0
vsize: 122892
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 28060 0 2 0 100946 56 0 0 25 0 1 0 832301045 127107072 28040 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31032 28040 1111 63 0 30969 0
vsize: 124128
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 28357 0 2 0 101945 57 0 0 25 0 1 0 832301045 128233472 28337 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31307 28337 1111 63 0 31244 0
vsize: 125228
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 28660 0 2 0 102945 58 0 0 25 0 1 0 832301045 129499136 28640 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31616 28640 1111 63 0 31553 0
vsize: 126464
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 28957 0 2 0 103944 59 0 0 25 0 1 0 832301045 130768896 28937 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31926 28937 1111 63 0 31863 0
vsize: 127704
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 29261 0 2 0 104943 60 0 0 25 0 1 0 832301045 131895296 29241 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32201 29241 1111 63 0 32138 0
vsize: 128804
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 29563 0 2 0 105943 60 0 0 25 0 1 0 832301045 133160960 29543 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32510 29543 1111 63 0 32447 0
vsize: 130040
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 29873 0 2 0 106942 61 0 0 25 0 1 0 832301045 134426624 29853 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32819 29853 1111 63 0 32756 0
vsize: 131276
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 30177 0 2 0 107942 61 0 0 25 0 1 0 832301045 135696384 30157 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33129 30157 1111 63 0 33066 0
vsize: 132516
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 30488 0 2 0 108942 62 0 0 25 0 1 0 832301045 136966144 30468 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33439 30468 1111 63 0 33376 0
vsize: 133756
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 30791 0 2 0 109941 62 0 0 25 0 1 0 832301045 138235904 30771 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33749 30771 1111 63 0 33686 0
vsize: 134996
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 31094 0 2 0 110941 63 0 0 25 0 1 0 832301045 139501568 31074 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34058 31074 1111 63 0 33995 0
vsize: 136232
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 31405 0 2 0 111940 64 0 0 25 0 1 0 832301045 140767232 31385 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34367 31385 1111 63 0 34304 0
vsize: 137468
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 31714 0 2 0 112940 65 0 0 25 0 1 0 832301045 142032896 31694 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34676 31694 1111 63 0 34613 0
vsize: 138704
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 32019 0 2 0 113939 65 0 0 25 0 1 0 832301045 143163392 31999 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34952 31999 1111 63 0 34889 0
vsize: 139808
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 32334 0 2 0 114939 66 0 0 25 0 1 0 832301045 144568320 32314 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35295 32314 1111 63 0 35232 0
vsize: 141180
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 32639 0 2 0 115938 67 0 0 25 0 1 0 832301045 145694720 32619 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35570 32619 1111 63 0 35507 0
vsize: 142280
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 32955 0 2 0 116938 68 0 0 25 0 1 0 832301045 147103744 32935 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35914 32935 1111 63 0 35851 0
vsize: 143656
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 33265 0 2 0 117937 68 0 0 25 0 1 0 832301045 148369408 33245 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36223 33245 1111 63 0 36160 0
vsize: 144892
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 33576 0 2 0 118937 69 0 0 25 0 1 0 832301045 149635072 33556 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36532 33556 1111 63 0 36469 0
vsize: 146128
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 24592
Raw data (stat): 24592 (bsolo_mis) R 24591 24172 24171 0 -1 0 33891 0 2 0 119937 69 0 0 25 0 1 0 832301045 150904832 33871 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36842 33871 1111 63 0 36779 0
vsize: 147368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 24592
Raw data (stat): 24592 (bsolo_mis) Z 24591 24172 24171 0 -1 1036 33891 0 2 0 119937 75 0 0 25 0 1 0 832301045 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.12
CPU time (s): 1200.13
CPU user time (s): 1199.37
CPU system time (s): 0.759884
CPU usage (%): 100.001
Max. virtual memory (Kb): 147368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####