PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3709.opb
MD5SUM	bd3b7059f5a46c39741d1666410238f7
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29610373267604
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29610373267604
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42678
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 28150

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        694860 kB
Buffers:         34844 kB
Cached:         283844 kB
SwapCached:        504 kB
Active:          71232 kB
Inactive:       250016 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694608 kB
SwapTotal:     2097136 kB
SwapFree:      2096156 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5944 kB
Slab:            12932 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:10:29 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 14121 7 1200.38 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.91 2/54 25876
Raw data (stat): 25876 (runsolver) R 25875 21152 21151 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776462372 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.0007 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 776462372 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 776462372 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0046 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 776462372 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.0071 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 776462372 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.0077 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1581 0 0 0 4995 5 0 0 25 0 1 0 776462372 17256448 1559 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1559 1111 63 0 4150 0
vsize: 16852
[startup+60.0079 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1692 0 0 0 5995 5 0 0 25 0 1 0 776462372 17711104 1670 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1670 1111 63 0 4261 0
vsize: 17296
[startup+70.0078 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1795 0 0 0 6995 5 0 0 25 0 1 0 776462372 18157568 1773 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1773 1111 63 0 4370 0
vsize: 17732
[startup+80.0083 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 1911 0 0 0 7995 5 0 0 25 0 1 0 776462372 18608128 1889 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1889 1111 63 0 4480 0
vsize: 18172
[startup+90.0085 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2020 0 0 0 8995 5 0 0 25 0 1 0 776462372 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2135 0 0 0 9995 6 0 0 25 0 1 0 776462372 19480576 2113 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2113 1111 63 0 4693 0
vsize: 19024
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2239 0 0 0 10995 6 0 0 25 0 1 0 776462372 19922944 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2217 1111 63 0 4801 0
vsize: 19456
[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2356 0 0 0 11995 6 0 0 25 0 1 0 776462372 20373504 2334 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2334 1111 63 0 4911 0
vsize: 19896
[startup+130.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2459 0 0 0 12996 6 0 0 25 0 1 0 776462372 20819968 2437 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2437 1111 63 0 5020 0
vsize: 20332
[startup+140.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2576 0 0 0 14006 6 0 0 25 0 1 0 776462372 21270528 2554 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2554 1111 63 0 5130 0
vsize: 20772
[startup+150.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2679 0 0 0 15006 6 0 0 25 0 1 0 776462372 21721088 2657 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2657 1111 63 0 5240 0
vsize: 21212
[startup+160.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2795 0 0 0 16006 7 0 0 25 0 1 0 776462372 22171648 2773 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2773 1111 63 0 5350 0
vsize: 21652
[startup+170.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 2904 0 0 0 17006 7 0 0 25 0 1 0 776462372 22618112 2882 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2882 1111 63 0 5459 0
vsize: 22088
[startup+180.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3022 0 0 0 18006 7 0 0 25 0 1 0 776462372 23216128 3000 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 3000 1111 63 0 5605 0
vsize: 22672
[startup+190.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3131 0 0 0 19006 7 0 0 25 0 1 0 776462372 23654400 3109 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 3109 1111 63 0 5712 0
vsize: 23100
[startup+200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3242 0 0 0 20006 7 0 0 25 0 1 0 776462372 24109056 3220 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 3220 1111 63 0 5823 0
vsize: 23544
[startup+210.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3351 0 0 0 21006 8 0 0 25 0 1 0 776462372 24555520 3329 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5995 3329 1111 63 0 5932 0
vsize: 23980
[startup+220.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3462 0 0 0 22007 8 0 0 25 0 1 0 776462372 24985600 3440 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 3440 1111 63 0 6037 0
vsize: 24400
[startup+230.143 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3572 0 0 0 23007 8 0 0 25 0 1 0 776462372 25423872 3550 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6207 3550 1111 63 0 6144 0
vsize: 24828
[startup+240.144 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3683 0 0 0 24006 9 0 0 25 0 1 0 776462372 25874432 3661 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 3661 1111 63 0 6254 0
vsize: 25268
[startup+250.143 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3792 0 0 0 25005 9 0 0 25 0 1 0 776462372 26324992 3770 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 3770 1111 63 0 6364 0
vsize: 25708
[startup+260.144 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 3904 0 0 0 26005 10 0 0 25 0 1 0 776462372 26775552 3882 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 3882 1111 63 0 6474 0
vsize: 26148
[startup+270.144 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4014 0 0 0 27004 10 0 0 25 0 1 0 776462372 27222016 3992 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6646 3992 1111 63 0 6583 0
vsize: 26584
[startup+280.145 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4125 0 0 0 28005 10 0 0 25 0 1 0 776462372 27676672 4103 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4103 1111 63 0 6694 0
vsize: 27028
[startup+290.146 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4240 0 0 0 29005 10 0 0 25 0 1 0 776462372 28123136 4218 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4218 1111 63 0 6803 0
vsize: 27464
[startup+300.146 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4351 0 0 0 30005 10 0 0 25 0 1 0 776462372 28573696 4329 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6976 4329 1111 63 0 6913 0
vsize: 27904
[startup+310.147 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4461 0 0 0 31005 11 0 0 25 0 1 0 776462372 29024256 4439 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7086 4439 1111 63 0 7023 0
vsize: 28344
[startup+320.146 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4572 0 0 0 32005 11 0 0 25 0 1 0 776462372 29474816 4550 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4550 1111 63 0 7133 0
vsize: 28784
[startup+330.147 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4681 0 0 0 33005 11 0 0 25 0 1 0 776462372 29921280 4659 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4659 1111 63 0 7242 0
vsize: 29220
[startup+340.147 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4798 0 0 0 34005 12 0 0 25 0 1 0 776462372 30371840 4776 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4776 1111 63 0 7352 0
vsize: 29660
[startup+350.147 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 4907 0 0 0 35004 12 0 0 25 0 1 0 776462372 30822400 4885 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 4885 1111 63 0 7462 0
vsize: 30100
[startup+360.148 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5030 0 0 0 36004 12 0 0 25 0 1 0 776462372 31428608 5008 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 5008 1111 63 0 7610 0
vsize: 30692
[startup+370.149 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5145 0 0 0 37005 12 0 0 25 0 1 0 776462372 31875072 5123 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 5123 1111 63 0 7719 0
vsize: 31128
[startup+380.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5257 0 0 0 38005 12 0 0 25 0 1 0 776462372 32329728 5235 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 5235 1111 63 0 7830 0
vsize: 31572
[startup+390.149 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5367 0 0 0 39004 13 0 0 25 0 1 0 776462372 32776192 5345 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 5345 1111 63 0 7939 0
vsize: 32008
[startup+400.149 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5484 0 0 0 40004 13 0 0 25 0 1 0 776462372 33226752 5462 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5462 1111 63 0 8049 0
vsize: 32448
[startup+410.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5594 0 0 0 41005 13 0 0 25 0 1 0 776462372 33677312 5572 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8222 5572 1111 63 0 8159 0
vsize: 32888
[startup+420.15 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5705 0 0 0 42004 13 0 0 25 0 1 0 776462372 34127872 5683 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5683 1111 63 0 8269 0
vsize: 33328
[startup+430.151 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5821 0 0 0 43004 14 0 0 25 0 1 0 776462372 34721792 5799 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8477 5799 1111 63 0 8414 0
vsize: 33908
[startup+440.151 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 5933 0 0 0 44004 14 0 0 25 0 1 0 776462372 35176448 5911 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8588 5911 1111 63 0 8525 0
vsize: 34352
[startup+450.151 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6043 0 0 0 45004 14 0 0 25 0 1 0 776462372 35622912 6021 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8697 6021 1111 63 0 8634 0
vsize: 34788
[startup+460.157 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6160 0 0 0 46005 14 0 0 25 0 1 0 776462372 36077568 6138 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8808 6138 1111 63 0 8745 0
vsize: 35232
[startup+470.159 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6271 0 0 0 47005 14 0 0 25 0 1 0 776462372 36519936 6249 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8916 6249 1111 63 0 8853 0
vsize: 35664
[startup+480.161 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6388 0 0 0 48005 14 0 0 25 0 1 0 776462372 36974592 6366 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9027 6366 1111 63 0 8964 0
vsize: 36108
[startup+490.161 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6497 0 0 0 49005 15 0 0 25 0 1 0 776462372 37421056 6475 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9136 6475 1111 63 0 9073 0
vsize: 36544
[startup+500.161 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6615 0 0 0 50005 15 0 0 25 0 1 0 776462372 37875712 6593 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9247 6593 1111 63 0 9184 0
vsize: 36988
[startup+510.162 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6724 0 0 0 51006 15 0 0 25 0 1 0 776462372 38318080 6702 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 6702 1111 63 0 9292 0
vsize: 37420
[startup+520.162 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6836 0 0 0 52006 15 0 0 25 0 1 0 776462372 38772736 6814 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 6814 1111 63 0 9403 0
vsize: 37864
[startup+530.163 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 6953 0 0 0 53006 15 0 0 25 0 1 0 776462372 39219200 6931 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6931 1111 63 0 9512 0
vsize: 38300
[startup+540.163 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7070 0 0 0 54006 15 0 0 25 0 1 0 776462372 39821312 7048 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9722 7048 1111 63 0 9659 0
vsize: 38888
[startup+550.163 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7180 0 0 0 55006 16 0 0 25 0 1 0 776462372 40267776 7158 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9831 7158 1111 63 0 9768 0
vsize: 39324
[startup+560.164 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7292 0 0 0 56006 16 0 0 25 0 1 0 776462372 40722432 7270 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9942 7270 1111 63 0 9879 0
vsize: 39768
[startup+570.165 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 25876
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7408 0 0 0 57006 16 0 0 25 0 1 0 776462372 41168896 7386 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10051 7386 1111 63 0 9988 0
vsize: 40204
[startup+580.17 s]
Raw data (loadavg): 1.08 1.01 0.93 2/56 25913
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7526 0 0 0 58006 16 0 0 25 0 1 0 776462372 41619456 7504 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 7504 1111 63 0 10098 0
vsize: 40644
[startup+590.17 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7644 0 0 0 59006 16 0 0 25 0 1 0 776462372 42070016 7622 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10271 7622 1111 63 0 10208 0
vsize: 41084
[startup+600.171 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7754 0 0 0 60005 17 0 0 25 0 1 0 776462372 42520576 7732 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10381 7732 1111 63 0 10318 0
vsize: 41524
[startup+610.172 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7866 0 0 0 61005 17 0 0 25 0 1 0 776462372 42967040 7844 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10490 7844 1111 63 0 10427 0
vsize: 41960
[startup+620.171 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 7982 0 0 0 62005 17 0 0 25 0 1 0 776462372 43417600 7960 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10600 7960 1111 63 0 10537 0
vsize: 42400
[startup+630.171 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8100 0 0 0 63005 17 0 0 25 0 1 0 776462372 44019712 8078 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10747 8078 1111 63 0 10684 0
vsize: 42988
[startup+640.172 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8216 0 0 0 64005 18 0 0 25 0 1 0 776462372 44470272 8194 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8194 1111 63 0 10794 0
vsize: 43428
[startup+650.172 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 25929
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8328 0 0 0 65005 18 0 0 25 0 1 0 776462372 44920832 8306 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8306 1111 63 0 10904 0
vsize: 43868
[startup+660.172 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8444 0 0 0 66005 19 0 0 25 0 1 0 776462372 45367296 8422 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11076 8422 1111 63 0 11013 0
vsize: 44304
[startup+670.173 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8555 0 0 0 67005 19 0 0 25 0 1 0 776462372 45817856 8533 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11186 8533 1111 63 0 11123 0
vsize: 44744
[startup+680.173 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8671 0 0 0 68005 19 0 0 25 0 1 0 776462372 46268416 8649 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11296 8649 1111 63 0 11233 0
vsize: 45184
[startup+690.173 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8789 0 0 0 69005 19 0 0 25 0 1 0 776462372 46718976 8767 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11406 8767 1111 63 0 11343 0
vsize: 45624
[startup+700.173 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 8924 0 0 0 70005 19 0 0 25 0 1 0 776462372 47509504 8902 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8902 1111 63 0 11536 0
vsize: 46396
[startup+710.174 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9042 0 0 0 71005 20 0 0 25 0 1 0 776462372 47960064 9020 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 9020 1111 63 0 11646 0
vsize: 46836
[startup+720.174 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9152 0 0 0 72004 20 0 0 25 0 1 0 776462372 48406528 9130 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 9130 1111 63 0 11755 0
vsize: 47272
[startup+730.175 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9269 0 0 0 73004 20 0 0 25 0 1 0 776462372 48861184 9247 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11929 9247 1111 63 0 11866 0
vsize: 47716
[startup+740.174 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9380 0 0 0 74004 20 0 0 25 0 1 0 776462372 49303552 9358 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12037 9358 1111 63 0 11974 0
vsize: 48148
[startup+750.175 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9499 0 0 0 75004 21 0 0 25 0 1 0 776462372 49758208 9477 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12148 9477 1111 63 0 12085 0
vsize: 48592
[startup+760.175 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9615 0 0 0 76004 21 0 0 25 0 1 0 776462372 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 9593 1111 63 0 12194 0
vsize: 49028
[startup+770.175 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9733 0 0 0 77004 21 0 0 25 0 1 0 776462372 50806784 9711 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 9711 1111 63 0 12341 0
vsize: 49616
[startup+780.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9849 0 0 0 78004 21 0 0 25 0 1 0 776462372 51253248 9827 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9827 1111 63 0 12450 0
vsize: 50052
[startup+790.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 9967 0 0 0 79004 21 0 0 25 0 1 0 776462372 51703808 9945 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12623 9945 1111 63 0 12560 0
vsize: 50492
[startup+800.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10085 0 0 0 80004 22 0 0 25 0 1 0 776462372 52154368 10063 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 10063 1111 63 0 12670 0
vsize: 50932
[startup+810.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10202 0 0 0 81004 22 0 0 25 0 1 0 776462372 52604928 10180 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12843 10180 1111 63 0 12780 0
vsize: 51372
[startup+820.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10320 0 0 0 82004 22 0 0 25 0 1 0 776462372 53207040 10298 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10298 1111 63 0 12927 0
vsize: 51960
[startup+830.177 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10430 0 0 0 83004 22 0 0 25 0 1 0 776462372 53653504 10408 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10408 1111 63 0 13036 0
vsize: 52396
[startup+840.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10549 0 0 0 84004 23 0 0 25 0 1 0 776462372 54108160 10527 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10527 1111 63 0 13147 0
vsize: 52840
[startup+850.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10665 0 0 0 85004 23 0 0 25 0 1 0 776462372 54554624 10643 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 10643 1111 63 0 13256 0
vsize: 53276
[startup+860.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10783 0 0 0 86004 23 0 0 25 0 1 0 776462372 55005184 10761 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10761 1111 63 0 13366 0
vsize: 53716
[startup+870.178 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 10900 0 0 0 87004 23 0 0 25 0 1 0 776462372 55455744 10878 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13539 10878 1111 63 0 13476 0
vsize: 54156
[startup+880.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11019 0 0 0 88004 23 0 0 25 0 1 0 776462372 56053760 10997 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 10997 1111 63 0 13622 0
vsize: 54740
[startup+890.179 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11135 0 0 0 89004 24 0 0 25 0 1 0 776462372 56500224 11113 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 11113 1111 63 0 13731 0
vsize: 55176
[startup+900.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25931
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11253 0 0 0 90004 24 0 0 25 0 1 0 776462372 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11231 1111 63 0 13842 0
vsize: 55620
[startup+910.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11370 0 0 0 91004 24 0 0 25 0 1 0 776462372 57401344 11348 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11348 1111 63 0 13951 0
vsize: 56056
[startup+920.18 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11488 0 0 0 92004 24 0 0 25 0 1 0 776462372 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14154 11466 1111 63 0 14091 0
vsize: 56616
[startup+930.18 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11605 0 0 0 93004 25 0 0 25 0 1 0 776462372 58417152 11583 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11583 1111 63 0 14199 0
vsize: 57048
[startup+940.18 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11723 0 0 0 94004 25 0 0 25 0 1 0 776462372 58871808 11701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14373 11701 1111 63 0 14310 0
vsize: 57492
[startup+950.18 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11840 0 0 0 95004 25 0 0 25 0 1 0 776462372 59318272 11818 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11818 1111 63 0 14419 0
vsize: 57928
[startup+960.18 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 11959 0 0 0 96004 25 0 0 25 0 1 0 776462372 59772928 11937 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11937 1111 63 0 14530 0
vsize: 58372
[startup+970.18 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12082 0 0 0 97004 25 0 0 25 0 1 0 776462372 60366848 12060 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14738 12060 1111 63 0 14675 0
vsize: 58952
[startup+980.18 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12200 0 0 0 98004 25 0 0 25 0 1 0 776462372 60817408 12178 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12178 1111 63 0 14785 0
vsize: 59392
[startup+990.181 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12318 0 0 0 99004 26 0 0 25 0 1 0 776462372 61267968 12296 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12296 1111 63 0 14895 0
vsize: 59832
[startup+1000.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12436 0 0 0 100004 26 0 0 25 0 1 0 776462372 61718528 12414 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 12414 1111 63 0 15005 0
vsize: 60272
[startup+1010.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12555 0 0 0 101004 26 0 0 25 0 1 0 776462372 62320640 12533 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15215 12533 1111 63 0 15152 0
vsize: 60860
[startup+1020.18 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12671 0 0 0 102004 26 0 0 25 0 1 0 776462372 62767104 12649 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15324 12649 1111 63 0 15261 0
vsize: 61296
[startup+1030.18 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12789 0 0 0 103004 26 0 0 25 0 1 0 776462372 63217664 12767 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 12767 1111 63 0 15371 0
vsize: 61736
[startup+1040.18 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 12907 0 0 0 104004 27 0 0 25 0 1 0 776462372 63668224 12885 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12885 1111 63 0 15481 0
vsize: 62176
[startup+1050.18 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13032 0 0 0 105004 27 0 0 25 0 1 0 776462372 64270336 13010 4294967295 134512640 134714540 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15691 13010 1111 63 0 15628 0
vsize: 62764
[startup+1060.18 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13149 0 0 0 106003 27 0 0 25 0 1 0 776462372 64712704 13127 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15799 13127 1111 63 0 15736 0
vsize: 63196
[startup+1070.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13267 0 0 0 107004 28 0 0 25 0 1 0 776462372 65167360 13245 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15910 13245 1111 63 0 15847 0
vsize: 63640
[startup+1080.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13390 0 0 0 108003 28 0 0 25 0 1 0 776462372 65613824 13368 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13368 1111 63 0 15956 0
vsize: 64076
[startup+1090.18 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13509 0 0 0 109003 28 0 0 25 0 1 0 776462372 66215936 13487 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16166 13487 1111 63 0 16103 0
vsize: 64664
[startup+1100.18 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13626 0 0 0 110003 28 0 0 25 0 1 0 776462372 66662400 13604 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16275 13604 1111 63 0 16212 0
vsize: 65100
[startup+1110.18 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13744 0 0 0 111003 29 0 0 25 0 1 0 776462372 67117056 13722 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16386 13722 1111 63 0 16323 0
vsize: 65544
[startup+1120.18 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13870 0 0 0 112003 29 0 0 25 0 1 0 776462372 67563520 13848 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16495 13848 1111 63 0 16432 0
vsize: 65980
[startup+1130.19 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 13986 0 0 0 113003 29 0 0 25 0 1 0 776462372 68165632 13964 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16642 13964 1111 63 0 16579 0
vsize: 66568
[startup+1140.19 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14112 0 0 0 114003 29 0 0 25 0 1 0 776462372 68616192 14090 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16752 14090 1111 63 0 16689 0
vsize: 67008
[startup+1150.19 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14228 0 0 0 115003 29 0 0 25 0 1 0 776462372 69062656 14206 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16861 14206 1111 63 0 16798 0
vsize: 67444
[startup+1160.19 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14348 0 0 0 116003 30 0 0 25 0 1 0 776462372 69517312 14326 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16972 14326 1111 63 0 16909 0
vsize: 67888
[startup+1170.19 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14464 0 0 0 117003 30 0 0 25 0 1 0 776462372 70111232 14442 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17117 14442 1111 63 0 17054 0
vsize: 68468
[startup+1180.19 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14590 0 0 0 118003 30 0 0 25 0 1 0 776462372 70565888 14568 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17228 14568 1111 63 0 17165 0
vsize: 68912
[startup+1190.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14713 0 0 0 119003 30 0 0 25 0 1 0 776462372 71012352 14691 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17337 14691 1111 63 0 17274 0
vsize: 69348
[startup+1200.19 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 25933
Raw data (stat): 25876 (bsolo_mis) R 25875 21152 21151 0 -1 0 14832 0 0 0 120003 30 0 0 25 0 1 0 776462372 71610368 14810 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17483 14810 1111 63 0 17420 0
vsize: 69932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 1.01 1.01 0.94 1/54 25933
Raw data (stat): 25876 (bsolo_mis) Z 25875 21152 21151 0 -1 1036 14832 0 0 0 120003 33 0 0 25 0 1 0 776462372 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.22
CPU time (s): 1200.38
CPU user time (s): 1200.04
CPU system time (s): 0.336948
CPU usage (%): 100.013
Max. virtual memory (Kb): 69932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####