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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 28973

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-25 04:15:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11456 boxname=wulflinc9 idbench=882 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 11456
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        578428 kB
Buffers:         18532 kB
Cached:         415676 kB
SwapCached:        584 kB
Active:          40240 kB
Inactive:       396132 kB
HighTotal:      131008 kB
HighFree:        14812 kB
LowTotal:       903652 kB
LowFree:        563616 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:            1348 kB
Writeback:           0 kB
Mapped:           5412 kB
Slab:            14168 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:36:00 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 11456 7 1200.19 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.98 1/54 15944
Raw data (stat): 15944 (runsolver) D 15943 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 777702736 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99978 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1410 0 0 0 967 5 0 0 25 0 1 0 777702736 15208448 1388 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3713 1388 1111 63 0 3650 0
vsize: 14852
[startup+20.0085 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1455 0 0 0 1968 5 0 0 25 0 1 0 777702736 15355904 1433 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 1433 1111 63 0 3686 0
vsize: 14996
[startup+30.0086 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1505 0 0 0 2968 5 0 0 25 0 1 0 777702736 15654912 1483 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3822 1483 1111 63 0 3759 0
vsize: 15288
[startup+40.0084 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1558 0 0 0 3967 6 0 0 25 0 1 0 777702736 15790080 1536 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3855 1536 1111 63 0 3792 0
vsize: 15420
[startup+50.0088 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1602 0 0 0 4967 6 0 0 25 0 1 0 777702736 16080896 1580 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 1580 1111 63 0 3863 0
vsize: 15704
[startup+60.0089 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1653 0 0 0 5967 6 0 0 25 0 1 0 777702736 16232448 1631 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1631 1111 63 0 3900 0
vsize: 15852
[startup+70.0084 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1704 0 0 0 6968 6 0 0 25 0 1 0 777702736 16379904 1682 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3999 1682 1111 63 0 3936 0
vsize: 15996
[startup+80.0091 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1763 0 0 0 7968 6 0 0 25 0 1 0 777702736 16678912 1741 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1741 1111 63 0 4009 0
vsize: 16288
[startup+90.0093 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1822 0 0 0 8968 6 0 0 25 0 1 0 777702736 16957440 1800 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 1800 1111 63 0 4077 0
vsize: 16560
[startup+100.01 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1884 0 0 0 9968 6 0 0 25 0 1 0 777702736 17235968 1862 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 1862 1111 63 0 4145 0
vsize: 16832
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 1949 0 0 0 10968 7 0 0 25 0 1 0 777702736 17387520 1927 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 1927 1111 63 0 4182 0
vsize: 16980
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2010 0 0 0 11968 7 0 0 25 0 1 0 777702736 17690624 1988 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4319 1988 1111 63 0 4256 0
vsize: 17276
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2075 0 0 0 12968 7 0 0 25 0 1 0 777702736 17989632 2053 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 2053 1111 63 0 4329 0
vsize: 17568
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2134 0 0 0 13968 7 0 0 25 0 1 0 777702736 18137088 2112 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 2112 1111 63 0 4365 0
vsize: 17712
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2194 0 0 0 14968 7 0 0 25 0 1 0 777702736 18436096 2172 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 2172 1111 63 0 4438 0
vsize: 18004
[startup+160.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2265 0 0 0 15969 7 0 0 25 0 1 0 777702736 18714624 2243 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 2243 1111 63 0 4506 0
vsize: 18276
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2324 0 0 0 16969 8 0 0 25 0 1 0 777702736 19013632 2302 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 2302 1111 63 0 4579 0
vsize: 18568
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2388 0 0 0 17968 8 0 0 25 0 1 0 777702736 19304448 2366 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4713 2366 1111 63 0 4650 0
vsize: 18852
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2449 0 0 0 18969 8 0 0 25 0 1 0 777702736 19439616 2427 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4746 2427 1111 63 0 4683 0
vsize: 18984
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2514 0 0 0 19969 8 0 0 25 0 1 0 777702736 19730432 2492 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4817 2492 1111 63 0 4754 0
vsize: 19268
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2579 0 0 0 20969 8 0 0 25 0 1 0 777702736 20029440 2557 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4890 2557 1111 63 0 4827 0
vsize: 19560
[startup+220.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2639 0 0 0 21969 8 0 0 25 0 1 0 777702736 20328448 2617 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4963 2617 1111 63 0 4900 0
vsize: 19852
[startup+230.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2705 0 0 0 22970 8 0 0 25 0 1 0 777702736 20484096 2683 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5001 2683 1111 63 0 4938 0
vsize: 20004
[startup+240.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2771 0 0 0 23970 9 0 0 25 0 1 0 777702736 20783104 2749 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5074 2749 1111 63 0 5011 0
vsize: 20296
[startup+250.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2830 0 0 0 24970 9 0 0 25 0 1 0 777702736 21082112 2808 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5147 2808 1111 63 0 5084 0
vsize: 20588
[startup+260.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2890 0 0 0 25970 9 0 0 25 0 1 0 777702736 21229568 2868 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 2868 1111 63 0 5120 0
vsize: 20732
[startup+270.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 2956 0 0 0 26970 9 0 0 25 0 1 0 777702736 21508096 2934 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 2934 1111 63 0 5188 0
vsize: 21004
[startup+280.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3021 0 0 0 27970 9 0 0 25 0 1 0 777702736 21807104 2999 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5324 2999 1111 63 0 5261 0
vsize: 21296
[startup+290.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3080 0 0 0 28971 10 0 0 25 0 1 0 777702736 22106112 3058 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 3058 1111 63 0 5334 0
vsize: 21588
[startup+300.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3146 0 0 0 29972 10 0 0 25 0 1 0 777702736 22409216 3124 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5471 3124 1111 63 0 5408 0
vsize: 21884
[startup+310.047 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3212 0 0 0 30972 10 0 0 25 0 1 0 777702736 22556672 3190 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 3190 1111 63 0 5444 0
vsize: 22028
[startup+320.066 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3271 0 0 0 31974 10 0 0 25 0 1 0 777702736 22855680 3249 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5580 3249 1111 63 0 5517 0
vsize: 22320
[startup+330.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3340 0 0 0 32976 10 0 0 25 0 1 0 777702736 23171072 3318 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5657 3318 1111 63 0 5594 0
vsize: 22628
[startup+340.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3403 0 0 0 33977 10 0 0 25 0 1 0 777702736 23449600 3381 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5725 3381 1111 63 0 5662 0
vsize: 22900
[startup+350.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3469 0 0 0 34977 10 0 0 25 0 1 0 777702736 23748608 3447 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5798 3447 1111 63 0 5735 0
vsize: 23192
[startup+360.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3527 0 0 0 35977 10 0 0 25 0 1 0 777702736 23900160 3505 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 3505 1111 63 0 5772 0
vsize: 23340
[startup+370.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3588 0 0 0 36977 10 0 0 25 0 1 0 777702736 24203264 3566 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5909 3566 1111 63 0 5846 0
vsize: 23636
[startup+380.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3659 0 0 0 37977 11 0 0 25 0 1 0 777702736 24502272 3637 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5982 3637 1111 63 0 5919 0
vsize: 23928
[startup+390.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3718 0 0 0 38977 11 0 0 25 0 1 0 777702736 24649728 3696 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 3696 1111 63 0 5955 0
vsize: 24072
[startup+400.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3780 0 0 0 39977 11 0 0 25 0 1 0 777702736 24956928 3758 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6093 3758 1111 63 0 6030 0
vsize: 24372
[startup+410.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3846 0 0 0 40977 11 0 0 25 0 1 0 777702736 25255936 3824 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 3824 1111 63 0 6103 0
vsize: 24664
[startup+420.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3911 0 0 0 41977 11 0 0 25 0 1 0 777702736 25554944 3889 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6239 3889 1111 63 0 6176 0
vsize: 24956
[startup+430.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 3970 0 0 0 42977 11 0 0 25 0 1 0 777702736 25706496 3948 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6276 3948 1111 63 0 6213 0
vsize: 25104
[startup+440.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4037 0 0 0 43977 11 0 0 25 0 1 0 777702736 26009600 4015 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6350 4015 1111 63 0 6287 0
vsize: 25400
[startup+450.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4102 0 0 0 44977 11 0 0 25 0 1 0 777702736 26308608 4080 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6423 4080 1111 63 0 6360 0
vsize: 25692
[startup+460.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4161 0 0 0 45977 12 0 0 25 0 1 0 777702736 26456064 4139 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 4139 1111 63 0 6396 0
vsize: 25836
[startup+470.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4222 0 0 0 46977 12 0 0 25 0 1 0 777702736 26755072 4200 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6532 4200 1111 63 0 6469 0
vsize: 26128
[startup+480.094 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4288 0 0 0 47977 12 0 0 25 0 1 0 777702736 27033600 4266 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6600 4266 1111 63 0 6537 0
vsize: 26400
[startup+490.093 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4354 0 0 0 48977 13 0 0 25 0 1 0 777702736 27332608 4332 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6673 4332 1111 63 0 6610 0
vsize: 26692
[startup+500.095 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4413 0 0 0 49976 13 0 0 25 0 1 0 777702736 27480064 4391 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6709 4391 1111 63 0 6646 0
vsize: 26836
[startup+510.096 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4480 0 0 0 50977 13 0 0 25 0 1 0 777702736 27783168 4458 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6783 4458 1111 63 0 6720 0
vsize: 27132
[startup+520.103 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4546 0 0 0 51977 14 0 0 25 0 1 0 777702736 28082176 4524 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 4524 1111 63 0 6793 0
vsize: 27424
[startup+530.104 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4605 0 0 0 52977 14 0 0 25 0 1 0 777702736 28381184 4583 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6929 4583 1111 63 0 6866 0
vsize: 27716
[startup+540.119 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4671 0 0 0 53978 14 0 0 25 0 1 0 777702736 28532736 4649 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6966 4649 1111 63 0 6903 0
vsize: 27864
[startup+550.119 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4737 0 0 0 54979 14 0 0 25 0 1 0 777702736 28839936 4715 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7041 4715 1111 63 0 6978 0
vsize: 28164
[startup+560.173 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4797 0 0 0 55984 14 0 0 25 0 1 0 777702736 29138944 4775 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7114 4775 1111 63 0 7051 0
vsize: 28456
[startup+570.213 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4862 0 0 0 56988 14 0 0 25 0 1 0 777702736 29437952 4840 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 4840 1111 63 0 7124 0
vsize: 28748
[startup+580.214 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4929 0 0 0 57988 15 0 0 25 0 1 0 777702736 29589504 4907 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7224 4907 1111 63 0 7161 0
vsize: 28896
[startup+590.213 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 4995 0 0 0 58988 15 0 0 25 0 1 0 777702736 29888512 4973 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7297 4973 1111 63 0 7234 0
vsize: 29188
[startup+600.214 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5061 0 0 0 59988 15 0 0 25 0 1 0 777702736 30187520 5039 4294967295 134512640 134714540 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7370 5039 1111 63 0 7307 0
vsize: 29480
[startup+610.214 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5121 0 0 0 60988 15 0 0 25 0 1 0 777702736 30494720 5099 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7445 5099 1111 63 0 7382 0
vsize: 29780
[startup+620.214 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5186 0 0 0 61988 15 0 0 25 0 1 0 777702736 30646272 5164 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7482 5164 1111 63 0 7419 0
vsize: 29928
[startup+630.214 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5252 0 0 0 62989 15 0 0 25 0 1 0 777702736 30945280 5230 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 5230 1111 63 0 7492 0
vsize: 30220
[startup+640.224 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5324 0 0 0 63990 15 0 0 25 0 1 0 777702736 31277056 5302 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7636 5302 1111 63 0 7573 0
vsize: 30544
[startup+650.225 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5396 0 0 0 64990 15 0 0 25 0 1 0 777702736 31584256 5374 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7711 5374 1111 63 0 7648 0
vsize: 30844
[startup+660.224 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5455 0 0 0 65990 16 0 0 25 0 1 0 777702736 31883264 5433 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7784 5433 1111 63 0 7721 0
vsize: 31136
[startup+670.224 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5520 0 0 0 66990 16 0 0 25 0 1 0 777702736 32182272 5498 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7857 5498 1111 63 0 7794 0
vsize: 31428
[startup+680.224 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5587 0 0 0 67990 16 0 0 25 0 1 0 777702736 32337920 5565 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 5565 1111 63 0 7832 0
vsize: 31580
[startup+690.224 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5647 0 0 0 68990 16 0 0 25 0 1 0 777702736 32636928 5625 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7968 5625 1111 63 0 7905 0
vsize: 31872
[startup+700.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5712 0 0 0 69990 16 0 0 25 0 1 0 777702736 32935936 5690 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8041 5690 1111 63 0 7978 0
vsize: 32164
[startup+710.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5780 0 0 0 70990 16 0 0 25 0 1 0 777702736 33239040 5758 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8115 5758 1111 63 0 8052 0
vsize: 32460
[startup+720.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5847 0 0 0 71990 16 0 0 25 0 1 0 777702736 33390592 5825 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8152 5825 1111 63 0 8089 0
vsize: 32608
[startup+730.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5912 0 0 0 72990 17 0 0 25 0 1 0 777702736 33689600 5890 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8225 5890 1111 63 0 8162 0
vsize: 32900
[startup+740.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 5971 0 0 0 73990 17 0 0 25 0 1 0 777702736 33988608 5949 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8298 5949 1111 63 0 8235 0
vsize: 33192
[startup+750.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6044 0 0 0 74990 17 0 0 25 0 1 0 777702736 34291712 6022 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8372 6022 1111 63 0 8309 0
vsize: 33488
[startup+760.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6104 0 0 0 75990 17 0 0 25 0 1 0 777702736 34443264 6082 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8409 6082 1111 63 0 8346 0
vsize: 33636
[startup+770.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6163 0 0 0 76990 17 0 0 25 0 1 0 777702736 34742272 6141 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8482 6141 1111 63 0 8419 0
vsize: 33928
[startup+780.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6236 0 0 0 77990 18 0 0 25 0 1 0 777702736 35045376 6214 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8556 6214 1111 63 0 8493 0
vsize: 34224
[startup+790.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6297 0 0 0 78990 18 0 0 25 0 1 0 777702736 35344384 6275 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8629 6275 1111 63 0 8566 0
vsize: 34516
[startup+800.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6363 0 0 0 79990 18 0 0 25 0 1 0 777702736 35495936 6341 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8666 6341 1111 63 0 8603 0
vsize: 34664
[startup+810.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6428 0 0 0 80990 18 0 0 25 0 1 0 777702736 35794944 6406 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 6406 1111 63 0 8676 0
vsize: 34956
[startup+820.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6495 0 0 0 81990 18 0 0 25 0 1 0 777702736 36098048 6473 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8813 6473 1111 63 0 8750 0
vsize: 35252
[startup+830.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6561 0 0 0 82990 18 0 0 25 0 1 0 777702736 36397056 6539 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8886 6539 1111 63 0 8823 0
vsize: 35544
[startup+840.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6620 0 0 0 83990 18 0 0 25 0 1 0 777702736 36544512 6598 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8922 6598 1111 63 0 8859 0
vsize: 35688
[startup+850.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6693 0 0 0 84990 18 0 0 25 0 1 0 777702736 36851712 6671 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8997 6671 1111 63 0 8934 0
vsize: 35988
[startup+860.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6753 0 0 0 85990 19 0 0 25 0 1 0 777702736 37150720 6731 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 6731 1111 63 0 9007 0
vsize: 36280
[startup+870.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6820 0 0 0 86990 19 0 0 25 0 1 0 777702736 37449728 6798 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9143 6798 1111 63 0 9080 0
vsize: 36572
[startup+880.227 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6887 0 0 0 87990 19 0 0 25 0 1 0 777702736 37752832 6865 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9217 6865 1111 63 0 9154 0
vsize: 36868
[startup+890.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 6953 0 0 0 88990 19 0 0 25 0 1 0 777702736 37904384 6931 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9254 6931 1111 63 0 9191 0
vsize: 37016
[startup+900.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7019 0 0 0 89990 19 0 0 25 0 1 0 777702736 38203392 6997 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9327 6997 1111 63 0 9264 0
vsize: 37308
[startup+910.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7078 0 0 0 90990 19 0 0 25 0 1 0 777702736 38502400 7056 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 7056 1111 63 0 9337 0
vsize: 37600
[startup+920.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7151 0 0 0 91990 20 0 0 25 0 1 0 777702736 38809600 7129 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9475 7129 1111 63 0 9412 0
vsize: 37900
[startup+930.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7211 0 0 0 92990 20 0 0 25 0 1 0 777702736 38957056 7189 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9511 7189 1111 63 0 9448 0
vsize: 38044
[startup+940.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7284 0 0 0 93990 20 0 0 25 0 1 0 777702736 39256064 7262 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9584 7262 1111 63 0 9521 0
vsize: 38336
[startup+950.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7345 0 0 0 94991 20 0 0 25 0 1 0 777702736 39559168 7323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7323 1111 63 0 9595 0
vsize: 38632
[startup+960.226 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7411 0 0 0 95991 20 0 0 25 0 1 0 777702736 39858176 7389 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 7389 1111 63 0 9668 0
vsize: 38924
[startup+970.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7476 0 0 0 96991 20 0 0 25 0 1 0 777702736 40157184 7454 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9804 7454 1111 63 0 9741 0
vsize: 39216
[startup+980.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7541 0 0 0 97991 20 0 0 25 0 1 0 777702736 40308736 7519 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9841 7519 1111 63 0 9778 0
vsize: 39364
[startup+990.225 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7609 0 0 0 98991 20 0 0 25 0 1 0 777702736 40615936 7587 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9916 7587 1111 63 0 9853 0
vsize: 39664
[startup+1000.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7668 0 0 0 99991 20 0 0 25 0 1 0 777702736 40914944 7646 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9989 7646 1111 63 0 9926 0
vsize: 39956
[startup+1010.23 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7733 0 0 0 100992 20 0 0 25 0 1 0 777702736 41213952 7711 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10062 7711 1111 63 0 9999 0
vsize: 40248
[startup+1020.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7802 0 0 0 101993 21 0 0 25 0 1 0 777702736 41365504 7780 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10099 7780 1111 63 0 10036 0
vsize: 40396
[startup+1030.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7861 0 0 0 102993 21 0 0 25 0 1 0 777702736 41664512 7839 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10172 7839 1111 63 0 10109 0
vsize: 40688
[startup+1040.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7933 0 0 0 103993 21 0 0 25 0 1 0 777702736 41963520 7911 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10245 7911 1111 63 0 10182 0
vsize: 40980
[startup+1050.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 7994 0 0 0 104993 21 0 0 25 0 1 0 777702736 42262528 7972 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10318 7972 1111 63 0 10255 0
vsize: 41272
[startup+1060.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8059 0 0 0 105993 21 0 0 25 0 1 0 777702736 42541056 8037 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 8037 1111 63 0 10323 0
vsize: 41544
[startup+1070.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8125 0 0 0 106993 21 0 0 25 0 1 0 777702736 42688512 8103 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10422 8103 1111 63 0 10359 0
vsize: 41688
[startup+1080.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8190 0 0 0 107993 21 0 0 25 0 1 0 777702736 42987520 8168 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 8168 1111 63 0 10432 0
vsize: 41980
[startup+1090.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8258 0 0 0 108993 22 0 0 25 0 1 0 777702736 43290624 8236 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10569 8236 1111 63 0 10506 0
vsize: 42276
[startup+1100.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8319 0 0 0 109992 22 0 0 25 0 1 0 777702736 43589632 8297 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10642 8297 1111 63 0 10579 0
vsize: 42568
[startup+1110.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8391 0 0 0 110992 23 0 0 25 0 1 0 777702736 43888640 8369 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10715 8369 1111 63 0 10652 0
vsize: 42860
[startup+1120.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8458 0 0 0 111992 23 0 0 25 0 1 0 777702736 44040192 8436 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10752 8436 1111 63 0 10689 0
vsize: 43008
[startup+1130.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8524 0 0 0 112992 23 0 0 25 0 1 0 777702736 44347392 8502 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10827 8502 1111 63 0 10764 0
vsize: 43308
[startup+1140.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8590 0 0 0 113992 23 0 0 25 0 1 0 777702736 44646400 8568 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10900 8568 1111 63 0 10837 0
vsize: 43600
[startup+1150.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8657 0 0 0 114992 24 0 0 25 0 1 0 777702736 44945408 8635 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10973 8635 1111 63 0 10910 0
vsize: 43892
[startup+1160.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8722 0 0 0 115992 24 0 0 25 0 1 0 777702736 45248512 8700 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11047 8700 1111 63 0 10984 0
vsize: 44188
[startup+1170.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8789 0 0 0 116992 24 0 0 25 0 1 0 777702736 45395968 8767 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11083 8767 1111 63 0 11020 0
vsize: 44332
[startup+1180.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8854 0 0 0 117992 24 0 0 25 0 1 0 777702736 45694976 8832 4294967295 134512640 134714540 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11156 8832 1111 63 0 11093 0
vsize: 44624
[startup+1190.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8921 0 0 0 118992 24 0 0 25 0 1 0 777702736 46002176 8899 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11231 8899 1111 63 0 11168 0
vsize: 44924
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.99 2/54 15944
Raw data (stat): 15944 (bsolo_mis) R 15943 3944 3943 0 -1 0 8987 0 0 0 119992 24 0 0 25 0 1 0 777702736 46301184 8965 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11304 8965 1111 63 0 11241 0
vsize: 45216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.26 s]
Raw data (loadavg): 1.00 0.99 0.99 1/54 15944
Raw data (stat): 15944 (bsolo_mis) Z 15943 3944 3943 0 -1 1036 8987 0 0 0 119992 26 0 0 25 0 1 0 777702736 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.26
CPU time (s): 1200.19
CPU user time (s): 1199.93
CPU system time (s): 0.264959
CPU usage (%): 99.9943
Max. virtual memory (Kb): 45216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####