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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship08l.opb
MD5SUM	0a05016ca1456223450d9ec498a510c4
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	85660
Biggest coefficient in the objective function	425249996800
Number of bits for the biggest coefficient in the objective function	39
Sum of the numbers in the objective function	200022778005600
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	425249996800
Number of bits of the biggest number in a constraint	39
Biggest sum of numbers in a constraint	200022778005600
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	85660
Total number of constraints	712
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	712
Minimum length of a constraint	20
Maximum length of a constraint	1700
Trace number 27731

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 23:03:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16422 boxname=wulflinc20 idbench=1264 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0a05016ca1456223450d9ec498a510c4  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ship08l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-ship08l.opb
IDLAUNCH: 16422
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        793168 kB
Buffers:         24972 kB
Cached:         194972 kB
SwapCached:        716 kB
Active:          36536 kB
Inactive:       185556 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        792916 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5064 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 23:23:13 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 16422 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.97 2/54 30721
Raw data (stat): 30721 (runsolver) R 30720 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834047973 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 1003 0 0 0 995 3 0 0 25 0 1 0 834047973 15765504 981 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3849 981 1111 63 0 3786 0
vsize: 15396
[startup+19.9997 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 1183 0 0 0 1994 4 0 0 25 0 1 0 834047973 16470016 1161 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4021 1161 1111 63 0 3958 0
vsize: 16084
[startup+29.9994 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 1396 0 0 0 2994 5 0 0 25 0 1 0 834047973 17321984 1374 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4229 1374 1111 63 0 4166 0
vsize: 16916
[startup+39.9991 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 1605 0 0 0 3994 5 0 0 25 0 1 0 834047973 18173952 1583 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4437 1583 1111 63 0 4374 0
vsize: 17748
[startup+49.9992 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 1819 0 0 0 4994 6 0 0 25 0 1 0 834047973 19165184 1797 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1797 1111 63 0 4616 0
vsize: 18716
[startup+59.9996 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 2034 0 0 0 5993 6 0 0 25 0 1 0 834047973 20017152 2012 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4887 2012 1111 63 0 4824 0
vsize: 19548
[startup+69.9993 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 2253 0 0 0 6993 7 0 0 25 0 1 0 834047973 20852736 2231 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5091 2231 1111 63 0 5028 0
vsize: 20364
[startup+80 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 2465 0 0 0 7992 7 0 0 25 0 1 0 834047973 21700608 2443 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5298 2443 1111 63 0 5235 0
vsize: 21192
[startup+89.9998 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 2680 0 0 0 8992 8 0 0 25 0 1 0 834047973 22691840 2658 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5540 2658 1111 63 0 5477 0
vsize: 22160
[startup+99.9995 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 2895 0 0 0 9992 8 0 0 25 0 1 0 834047973 23543808 2873 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2873 1111 63 0 5685 0
vsize: 22992
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 3114 0 0 0 10992 9 0 0 25 0 1 0 834047973 24383488 3092 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5953 3092 1111 63 0 5890 0
vsize: 23812
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 3322 0 0 0 11992 9 0 0 25 0 1 0 834047973 25235456 3300 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6161 3300 1111 63 0 6098 0
vsize: 24644
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30721
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 3542 0 0 0 12991 10 0 0 25 0 1 0 834047973 26222592 3520 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6402 3520 1111 63 0 6339 0
vsize: 25608
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 3763 0 0 0 13991 10 0 0 25 0 1 0 834047973 27090944 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6614 3741 1111 63 0 6551 0
vsize: 26456
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 3977 0 0 0 14991 11 0 0 25 0 1 0 834047973 27934720 3955 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6820 3955 1111 63 0 6757 0
vsize: 27280
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 4198 0 0 0 15990 11 0 0 25 0 1 0 834047973 28921856 4176 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7061 4176 1111 63 0 6998 0
vsize: 28244
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 4413 0 0 0 16990 12 0 0 25 0 1 0 834047973 29773824 4391 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7269 4391 1111 63 0 7206 0
vsize: 29076
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 4634 0 0 0 17989 13 0 0 25 0 1 0 834047973 30621696 4612 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 4612 1111 63 0 7413 0
vsize: 29904
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 4855 0 0 0 18989 13 0 0 25 0 1 0 834047973 31604736 4833 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7716 4833 1111 63 0 7653 0
vsize: 30864
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 5083 0 0 0 19988 14 0 0 25 0 1 0 834047973 32456704 5061 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7924 5061 1111 63 0 7861 0
vsize: 31696
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 5304 0 0 0 20988 14 0 0 25 0 1 0 834047973 33443840 5282 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8165 5282 1111 63 0 8102 0
vsize: 32660
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 5526 0 0 0 21987 15 0 0 25 0 1 0 834047973 34291712 5504 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8372 5504 1111 63 0 8309 0
vsize: 33488
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 5746 0 0 0 22987 15 0 0 25 0 1 0 834047973 35135488 5724 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8578 5724 1111 63 0 8515 0
vsize: 34312
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 5967 0 0 0 23987 16 0 0 25 0 1 0 834047973 36126720 5945 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8820 5945 1111 63 0 8757 0
vsize: 35280
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 6188 0 0 0 24986 17 0 0 25 0 1 0 834047973 36974592 6166 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 6166 1111 63 0 8964 0
vsize: 36108
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 6421 0 0 0 25986 17 0 0 25 0 1 0 834047973 38002688 6399 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9278 6399 1111 63 0 9215 0
vsize: 37112
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 6647 0 0 0 26986 17 0 0 25 0 1 0 834047973 38985728 6625 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9518 6625 1111 63 0 9455 0
vsize: 38072
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 6876 0 0 0 27985 18 0 0 25 0 1 0 834047973 39837696 6854 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9726 6854 1111 63 0 9663 0
vsize: 38904
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 7098 0 0 0 28985 19 0 0 25 0 1 0 834047973 40824832 7076 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 7076 1111 63 0 9904 0
vsize: 39868
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 7319 0 0 0 29984 19 0 0 25 0 1 0 834047973 41672704 7297 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10174 7297 1111 63 0 10111 0
vsize: 40696
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 7540 0 0 0 30984 20 0 0 25 0 1 0 834047973 42516480 7518 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10380 7518 1111 63 0 10317 0
vsize: 41520
[startup+320 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 7767 0 0 0 31984 20 0 0 25 0 1 0 834047973 43507712 7745 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10622 7745 1111 63 0 10559 0
vsize: 42488
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 7988 0 0 0 32983 21 0 0 25 0 1 0 834047973 44355584 7966 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10829 7966 1111 63 0 10766 0
vsize: 43316
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 8210 0 0 0 33983 22 0 0 25 0 1 0 834047973 45346816 8188 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11071 8188 1111 63 0 11008 0
vsize: 44284
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 8437 0 0 0 34982 22 0 0 25 0 1 0 834047973 46186496 8415 4294967295 134512640 134714540 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11276 8415 1111 63 0 11213 0
vsize: 45104
[startup+360 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 8665 0 0 0 35982 23 0 0 25 0 1 0 834047973 47177728 8643 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11518 8643 1111 63 0 11455 0
vsize: 46072
[startup+370 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 8894 0 0 0 36981 24 0 0 25 0 1 0 834047973 48168960 8872 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11760 8872 1111 63 0 11697 0
vsize: 47040
[startup+380.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 9130 0 0 0 37980 25 0 0 25 0 1 0 834047973 49016832 9108 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11967 9108 1111 63 0 11904 0
vsize: 47868
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 9365 0 0 0 38979 26 0 0 25 0 1 0 834047973 50008064 9343 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12209 9343 1111 63 0 12146 0
vsize: 48836
[startup+400.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 9598 0 0 0 39978 26 0 0 25 0 1 0 834047973 50987008 9576 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12448 9576 1111 63 0 12385 0
vsize: 49792
[startup+410.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 9834 0 0 0 40978 26 0 0 25 0 1 0 834047973 51978240 9812 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12690 9812 1111 63 0 12627 0
vsize: 50760
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 10069 0 0 0 41977 27 0 0 25 0 1 0 834047973 52969472 10047 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12932 10047 1111 63 0 12869 0
vsize: 51728
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 10304 0 0 0 42977 28 0 0 25 0 1 0 834047973 53817344 10282 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13139 10282 1111 63 0 13076 0
vsize: 52556
[startup+440.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 10540 0 0 0 43977 28 0 0 25 0 1 0 834047973 54808576 10518 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13381 10518 1111 63 0 13318 0
vsize: 53524
[startup+450.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 10767 0 0 0 44977 29 0 0 25 0 1 0 834047973 55791616 10745 4294967295 134512640 134714540 3221224592 3221222820 1077414397 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13621 10745 1111 63 0 13558 0
vsize: 54484
[startup+460.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 11002 0 0 0 45976 29 0 0 25 0 1 0 834047973 56778752 10980 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13862 10980 1111 63 0 13799 0
vsize: 55448
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 11244 0 0 0 46977 30 0 0 25 0 1 0 834047973 57769984 11222 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14104 11222 1111 63 0 14041 0
vsize: 56416
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 11472 0 0 0 47976 30 0 0 25 0 1 0 834047973 58617856 11450 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14311 11450 1111 63 0 14248 0
vsize: 57244
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 11714 0 0 0 48976 31 0 0 25 0 1 0 834047973 59609088 11692 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14553 11692 1111 63 0 14490 0
vsize: 58212
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 11965 0 0 0 49976 31 0 0 25 0 1 0 834047973 60841984 11943 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14854 11943 1111 63 0 14791 0
vsize: 59416
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 12214 0 0 0 50976 32 0 0 25 0 1 0 834047973 61829120 12192 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15095 12192 1111 63 0 15032 0
vsize: 60380
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 12449 0 0 0 51975 32 0 0 25 0 1 0 834047973 62816256 12427 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15336 12427 1111 63 0 15273 0
vsize: 61344
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 12692 0 0 0 52976 32 0 0 25 0 1 0 834047973 63807488 12670 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15578 12670 1111 63 0 15515 0
vsize: 62312
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 12934 0 0 0 53975 33 0 0 25 0 1 0 834047973 64798720 12912 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 12912 1111 63 0 15757 0
vsize: 63280
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 13176 0 0 0 54975 33 0 0 25 0 1 0 834047973 65781760 13154 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16060 13154 1111 63 0 15997 0
vsize: 64240
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 13417 0 0 0 55975 34 0 0 25 0 1 0 834047973 66768896 13395 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16301 13395 1111 63 0 16238 0
vsize: 65204
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 13666 0 0 0 56975 34 0 0 25 0 1 0 834047973 67760128 13644 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16543 13644 1111 63 0 16480 0
vsize: 66172
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 13908 0 0 0 57974 35 0 0 25 0 1 0 834047973 68747264 13886 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16784 13886 1111 63 0 16721 0
vsize: 67136
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 14151 0 0 0 58975 36 0 0 25 0 1 0 834047973 69738496 14129 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17026 14129 1111 63 0 16963 0
vsize: 68104
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 14400 0 0 0 59973 37 0 0 25 0 1 0 834047973 70729728 14378 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17268 14378 1111 63 0 17205 0
vsize: 69072
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 14640 0 0 0 60972 38 0 0 25 0 1 0 834047973 71712768 14618 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17508 14618 1111 63 0 17445 0
vsize: 70032
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 14883 0 0 0 61972 38 0 0 25 0 1 0 834047973 72699904 14861 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17749 14861 1111 63 0 17686 0
vsize: 70996
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 15131 0 0 0 62972 38 0 0 25 0 1 0 834047973 73691136 15109 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17991 15109 1111 63 0 17928 0
vsize: 71964
[startup+640.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 15367 0 0 0 63971 39 0 0 25 0 1 0 834047973 74678272 15345 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18232 15345 1111 63 0 18169 0
vsize: 72928
[startup+650.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 15616 0 0 0 64971 39 0 0 25 0 1 0 834047973 75669504 15594 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18474 15594 1111 63 0 18411 0
vsize: 73896
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 15866 0 0 0 65971 40 0 0 25 0 1 0 834047973 76660736 15844 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18716 15844 1111 63 0 18653 0
vsize: 74864
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 16114 0 0 0 66970 40 0 0 25 0 1 0 834047973 77783040 16092 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18990 16092 1111 63 0 18927 0
vsize: 75960
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 16370 0 0 0 67970 41 0 0 25 0 1 0 834047973 78774272 16348 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19232 16348 1111 63 0 19169 0
vsize: 76928
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 16625 0 0 0 68969 42 0 0 25 0 1 0 834047973 79761408 16603 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19473 16603 1111 63 0 19410 0
vsize: 77892
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 16881 0 0 0 69969 42 0 0 25 0 1 0 834047973 80891904 16859 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19749 16859 1111 63 0 19686 0
vsize: 78996
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 17137 0 0 0 70969 43 0 0 25 0 1 0 834047973 81883136 17115 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19991 17115 1111 63 0 19928 0
vsize: 79964
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 17387 0 0 0 71968 43 0 0 25 0 1 0 834047973 82870272 17365 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20232 17365 1111 63 0 20169 0
vsize: 80928
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 17649 0 0 0 72968 44 0 0 25 0 1 0 834047973 84000768 17627 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20508 17627 1111 63 0 20445 0
vsize: 82032
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 17899 0 0 0 73967 45 0 0 25 0 1 0 834047973 84983808 17877 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20748 17877 1111 63 0 20685 0
vsize: 82992
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 18160 0 0 0 74967 45 0 0 25 0 1 0 834047973 86114304 18138 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21024 18138 1111 63 0 20961 0
vsize: 84096
[startup+760.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 18416 0 0 0 75967 46 0 0 25 0 1 0 834047973 87105536 18394 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21266 18394 1111 63 0 21203 0
vsize: 85064
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 18672 0 0 0 76967 46 0 0 25 0 1 0 834047973 88231936 18650 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21541 18650 1111 63 0 21478 0
vsize: 86164
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 18935 0 0 0 77967 46 0 0 25 0 1 0 834047973 89223168 18913 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21783 18913 1111 63 0 21720 0
vsize: 87132
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 19197 0 0 0 78966 47 0 0 25 0 1 0 834047973 90353664 19175 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22059 19175 1111 63 0 21996 0
vsize: 88236
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 19460 0 0 0 79965 48 0 0 25 0 1 0 834047973 91340800 19438 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22300 19438 1111 63 0 22237 0
vsize: 89200
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 19724 0 0 0 80965 48 0 0 25 0 1 0 834047973 92471296 19702 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22576 19702 1111 63 0 22513 0
vsize: 90304
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 19987 0 0 0 81965 49 0 0 25 0 1 0 834047973 93601792 19965 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22852 19965 1111 63 0 22789 0
vsize: 91408
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 20249 0 0 0 82964 49 0 0 25 0 1 0 834047973 94588928 20227 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23093 20227 1111 63 0 23030 0
vsize: 92372
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 20511 0 0 0 83964 50 0 0 25 0 1 0 834047973 95715328 20489 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23368 20489 1111 63 0 23305 0
vsize: 93472
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 20780 0 0 0 84964 50 0 0 25 0 1 0 834047973 96845824 20758 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23644 20758 1111 63 0 23581 0
vsize: 94576
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 21050 0 0 0 85964 51 0 0 25 0 1 0 834047973 97837056 21028 4294967295 134512640 134714540 3221224592 3221222860 1077360305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23886 21028 1111 63 0 23823 0
vsize: 95544
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 21313 0 0 0 86963 51 0 0 25 0 1 0 834047973 98967552 21291 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24162 21291 1111 63 0 24099 0
vsize: 96648
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 21583 0 0 0 87963 52 0 0 25 0 1 0 834047973 100093952 21561 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24437 21561 1111 63 0 24374 0
vsize: 97748
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 21846 0 0 0 88962 53 0 0 25 0 1 0 834047973 101085184 21824 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24679 21824 1111 63 0 24616 0
vsize: 98716
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 22109 0 0 0 89962 53 0 0 25 0 1 0 834047973 102215680 22087 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24955 22087 1111 63 0 24892 0
vsize: 99820
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 22378 0 0 0 90961 54 0 0 25 0 1 0 834047973 103346176 22356 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25231 22356 1111 63 0 25168 0
vsize: 100924
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 22647 0 0 0 91961 55 0 0 25 0 1 0 834047973 104476672 22625 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25507 22625 1111 63 0 25444 0
vsize: 102028
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 22917 0 0 0 92960 56 0 0 25 0 1 0 834047973 105459712 22895 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25747 22895 1111 63 0 25684 0
vsize: 102988
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 23225 0 0 0 93960 56 0 0 25 0 1 0 834047973 106975232 23203 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26117 23203 1111 63 0 26054 0
vsize: 104468
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 23507 0 0 0 94959 57 0 0 25 0 1 0 834047973 108249088 23485 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26428 23485 1111 63 0 26365 0
vsize: 105712
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 23792 0 0 0 95959 57 0 0 25 0 1 0 834047973 109379584 23770 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26704 23770 1111 63 0 26641 0
vsize: 106816
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 24068 0 0 0 96959 57 0 0 25 0 1 0 834047973 110505984 24046 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26979 24046 1111 63 0 26916 0
vsize: 107916
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 24358 0 0 0 97959 58 0 0 25 0 1 0 834047973 111636480 24336 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27255 24336 1111 63 0 27192 0
vsize: 109020
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 24642 0 0 0 98958 59 0 0 25 0 1 0 834047973 112766976 24620 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27531 24620 1111 63 0 27468 0
vsize: 110124
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 24925 0 0 0 99958 59 0 0 25 0 1 0 834047973 114036736 24903 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27841 24903 1111 63 0 27778 0
vsize: 111364
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 25209 0 0 0 100957 60 0 0 25 0 1 0 834047973 115167232 25187 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28117 25187 1111 63 0 28054 0
vsize: 112468
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 25492 0 0 0 101957 61 0 0 25 0 1 0 834047973 116297728 25470 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28393 25470 1111 63 0 28330 0
vsize: 113572
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 25784 0 0 0 102957 61 0 0 25 0 1 0 834047973 117428224 25762 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28669 25762 1111 63 0 28606 0
vsize: 114676
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 26066 0 0 0 103956 62 0 0 25 0 1 0 834047973 118697984 26044 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28979 26044 1111 63 0 28916 0
vsize: 115916
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 26356 0 0 0 104956 62 0 0 25 0 1 0 834047973 119828480 26334 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29255 26334 1111 63 0 29192 0
vsize: 117020
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 26648 0 0 0 105955 63 0 0 25 0 1 0 834047973 120958976 26626 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29531 26626 1111 63 0 29468 0
vsize: 118124
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 26944 0 0 0 106955 64 0 0 25 0 1 0 834047973 122228736 26922 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29841 26922 1111 63 0 29778 0
vsize: 119364
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 27236 0 0 0 107954 65 0 0 25 0 1 0 834047973 123359232 27214 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30117 27214 1111 63 0 30054 0
vsize: 120468
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 27526 0 0 0 108954 65 0 0 25 0 1 0 834047973 124628992 27504 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30427 27504 1111 63 0 30364 0
vsize: 121708
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 27823 0 0 0 109953 66 0 0 25 0 1 0 834047973 125759488 27801 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30703 27801 1111 63 0 30640 0
vsize: 122812
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 28120 0 0 0 110952 67 0 0 25 0 1 0 834047973 127029248 28098 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31013 28098 1111 63 0 30950 0
vsize: 124052
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 28410 0 0 0 111952 67 0 0 25 0 1 0 834047973 128159744 28388 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31289 28388 1111 63 0 31226 0
vsize: 125156
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 28708 0 0 0 112952 68 0 0 25 0 1 0 834047973 129429504 28686 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31599 28686 1111 63 0 31536 0
vsize: 126396
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 29005 0 0 0 113951 68 0 0 25 0 1 0 834047973 130699264 28983 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31909 28983 1111 63 0 31846 0
vsize: 127636
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 29297 0 0 0 114951 69 0 0 25 0 1 0 834047973 131829760 29275 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32185 29275 1111 63 0 32122 0
vsize: 128740
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 29593 0 0 0 115951 69 0 0 25 0 1 0 834047973 133103616 29571 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32496 29571 1111 63 0 32433 0
vsize: 129984
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 29889 0 0 0 116950 70 0 0 25 0 1 0 834047973 134230016 29867 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32771 29867 1111 63 0 32708 0
vsize: 131084
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 30193 0 0 0 117950 70 0 0 25 0 1 0 834047973 135499776 30171 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33081 30171 1111 63 0 33018 0
vsize: 132324
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 30490 0 0 0 118950 71 0 0 25 0 1 0 834047973 136773632 30468 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33392 30468 1111 63 0 33329 0
vsize: 133568
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30723
Raw data (stat): 30721 (bsolo_mis) R 30720 25399 25398 0 -1 0 30789 0 0 0 119949 72 0 0 25 0 1 0 834047973 137904128 30767 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33668 30767 1111 63 0 33605 0
vsize: 134672
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 30723
Raw data (stat): 30721 (bsolo_mis) Z 30720 25399 25398 0 -1 1036 30789 0 0 0 119949 78 0 0 25 0 1 0 834047973 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.1
CPU time (s): 1200.28
CPU user time (s): 1199.5
CPU system time (s): 0.780881
CPU usage (%): 100.015
Max. virtual memory (Kb): 134672
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####