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-ship08s.opb
MD5SUM	7f0ee4cf0d8dc7a24a6781a6419bf20e
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	71610
Biggest coefficient in the objective function	435455996723200
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	112415039381732472
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	435455996723200
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	112415039381732472
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.646901
Number of variables	71610
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	30
Maximum length of a constraint	1830
Trace number 26832

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        890360 kB
Buffers:         36112 kB
Cached:          73952 kB
SwapCached:      12200 kB
Active:          69256 kB
Inactive:        55156 kB
HighTotal:      131008 kB
HighFree:        52332 kB
LowTotal:       903652 kB
LowFree:        838028 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            14360 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 17:19:15 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 11443 7 1200.39 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.92 0.97 0.97 2/54 24918
Raw data (stat): 24918 (runsolver) R 24917 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831863241 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.93 0.97 0.97 2/54 24918
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 894 0 0 0 995 3 0 0 25 0 1 0 831863241 15507456 872 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 872 1111 63 0 3723 0
vsize: 15144
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.97 2/54 24918
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1026 0 0 0 1995 3 0 0 25 0 1 0 831863241 16080896 1004 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 1004 1111 63 0 3863 0
vsize: 15704
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.97 2/54 24918
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1157 0 0 0 2995 3 0 0 25 0 1 0 831863241 16678912 1135 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1135 1111 63 0 4009 0
vsize: 16288
[startup+40.0012 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 24918
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1307 0 0 0 3995 3 0 0 25 0 1 0 831863241 17235968 1285 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 1285 1111 63 0 4145 0
vsize: 16832
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.97 2/54 24918
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1449 0 0 0 4995 4 0 0 25 0 1 0 831863241 17838080 1427 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4355 1427 1111 63 0 4292 0
vsize: 17420
[startup+60.001 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1601 0 0 0 5995 4 0 0 25 0 1 0 831863241 18436096 1579 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 1579 1111 63 0 4438 0
vsize: 18004
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1748 0 0 0 6994 5 0 0 25 0 1 0 831863241 19013632 1726 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1726 1111 63 0 4579 0
vsize: 18568
[startup+80.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 1901 0 0 0 7994 5 0 0 25 0 1 0 831863241 19730432 1879 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4817 1879 1111 63 0 4754 0
vsize: 19268
[startup+90.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2048 0 0 0 8993 6 0 0 25 0 1 0 831863241 20328448 2026 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4963 2026 1111 63 0 4900 0
vsize: 19852
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2196 0 0 0 9993 7 0 0 25 0 1 0 831863241 20930560 2174 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 2174 1111 63 0 5047 0
vsize: 20440
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2344 0 0 0 10992 7 0 0 25 0 1 0 831863241 21508096 2322 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 2322 1111 63 0 5188 0
vsize: 21004
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2498 0 0 0 11992 8 0 0 25 0 1 0 831863241 22106112 2476 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5397 2476 1111 63 0 5334 0
vsize: 21588
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24971
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2651 0 0 0 12992 8 0 0 25 0 1 0 831863241 22708224 2629 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5544 2629 1111 63 0 5481 0
vsize: 22176
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2806 0 0 0 13991 9 0 0 25 0 1 0 831863241 23449600 2784 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5725 2784 1111 63 0 5662 0
vsize: 22900
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 2954 0 0 0 14991 10 0 0 25 0 1 0 831863241 24051712 2932 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5872 2932 1111 63 0 5809 0
vsize: 23488
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3107 0 0 0 15990 10 0 0 25 0 1 0 831863241 24649728 3085 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 3085 1111 63 0 5955 0
vsize: 24072
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3263 0 0 0 16990 11 0 0 25 0 1 0 831863241 25255936 3241 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 3241 1111 63 0 6103 0
vsize: 24664
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3412 0 0 0 17990 11 0 0 25 0 1 0 831863241 25858048 3390 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6313 3390 1111 63 0 6250 0
vsize: 25252
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3571 0 0 0 18990 11 0 0 25 0 1 0 831863241 26456064 3549 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6459 3549 1111 63 0 6396 0
vsize: 25836
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3728 0 0 0 19990 12 0 0 25 0 1 0 831863241 27181056 3706 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6636 3706 1111 63 0 6573 0
vsize: 26544
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 3883 0 0 0 20989 12 0 0 25 0 1 0 831863241 27783168 3861 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6783 3861 1111 63 0 6720 0
vsize: 27132
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4036 0 0 0 21989 13 0 0 25 0 1 0 831863241 28381184 4014 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6929 4014 1111 63 0 6866 0
vsize: 27716
[startup+230.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4191 0 0 0 22990 14 0 0 25 0 1 0 831863241 28987392 4169 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7077 4169 1111 63 0 7014 0
vsize: 28308
[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4354 0 0 0 23990 15 0 0 25 0 1 0 831863241 29741056 4332 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7261 4332 1111 63 0 7198 0
vsize: 29044
[startup+250.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4515 0 0 0 24990 15 0 0 25 0 1 0 831863241 30339072 4493 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7407 4493 1111 63 0 7344 0
vsize: 29628
[startup+260.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4663 0 0 0 25990 15 0 0 25 0 1 0 831863241 30945280 4641 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7555 4641 1111 63 0 7492 0
vsize: 30220
[startup+270.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4835 0 0 0 26990 16 0 0 25 0 1 0 831863241 31731712 4813 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7747 4813 1111 63 0 7684 0
vsize: 30988
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 4991 0 0 0 27990 16 0 0 25 0 1 0 831863241 32337920 4969 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7895 4969 1111 63 0 7832 0
vsize: 31580
[startup+290.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5144 0 0 0 28989 17 0 0 25 0 1 0 831863241 32935936 5122 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8041 5122 1111 63 0 7978 0
vsize: 32164
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5308 0 0 0 29989 17 0 0 25 0 1 0 831863241 33689600 5286 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8225 5286 1111 63 0 8162 0
vsize: 32900
[startup+310.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5469 0 0 0 30989 17 0 0 25 0 1 0 831863241 34291712 5447 4294967295 134512640 134714540 3221224592 3221221084 1077359270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8372 5447 1111 63 0 8309 0
vsize: 33488
[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5625 0 0 0 31989 18 0 0 25 0 1 0 831863241 34889728 5603 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8518 5603 1111 63 0 8455 0
vsize: 34072
[startup+330.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5787 0 0 0 32989 18 0 0 25 0 1 0 831863241 35643392 5765 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8702 5765 1111 63 0 8639 0
vsize: 34808
[startup+340.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 5949 0 0 0 33988 19 0 0 25 0 1 0 831863241 36245504 5927 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8849 5927 1111 63 0 8786 0
vsize: 35396
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6105 0 0 0 34988 19 0 0 25 0 1 0 831863241 36851712 6083 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8997 6083 1111 63 0 8934 0
vsize: 35988
[startup+360.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6267 0 0 0 35988 20 0 0 25 0 1 0 831863241 37601280 6245 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9180 6245 1111 63 0 9117 0
vsize: 36720
[startup+370.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6429 0 0 0 36987 20 0 0 25 0 1 0 831863241 38203392 6407 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9327 6407 1111 63 0 9264 0
vsize: 37308
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24973
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6592 0 0 0 37987 21 0 0 25 0 1 0 831863241 38957056 6570 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6570 1111 63 0 9448 0
vsize: 38044
[startup+390.033 s]
Raw data (loadavg): 0.99 0.97 0.97 3/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6762 0 0 0 38987 21 0 0 25 0 1 0 831863241 39559168 6740 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 6740 1111 63 0 9595 0
vsize: 38632
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 6923 0 0 0 39987 21 0 0 25 0 1 0 831863241 40308736 6901 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9841 6901 1111 63 0 9778 0
vsize: 39364
[startup+410.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7085 0 0 0 40986 22 0 0 25 0 1 0 831863241 40914944 7063 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9989 7063 1111 63 0 9926 0
vsize: 39956
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7256 0 0 0 41986 23 0 0 25 0 1 0 831863241 41664512 7234 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10172 7234 1111 63 0 10109 0
vsize: 40688
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7419 0 0 0 42985 23 0 0 25 0 1 0 831863241 42262528 7397 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10318 7397 1111 63 0 10255 0
vsize: 41272
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7586 0 0 0 43985 23 0 0 25 0 1 0 831863241 42987520 7564 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7564 1111 63 0 10432 0
vsize: 41980
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7758 0 0 0 44985 24 0 0 25 0 1 0 831863241 43589632 7736 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10642 7736 1111 63 0 10579 0
vsize: 42568
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 7927 0 0 0 45985 24 0 0 25 0 1 0 831863241 44347392 7905 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10827 7905 1111 63 0 10764 0
vsize: 43308
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8096 0 0 0 46985 25 0 0 25 0 1 0 831863241 45096960 8074 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11010 8074 1111 63 0 10947 0
vsize: 44040
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8264 0 0 0 47984 26 0 0 25 0 1 0 831863241 45694976 8242 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11156 8242 1111 63 0 11093 0
vsize: 44624
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8434 0 0 0 48984 26 0 0 25 0 1 0 831863241 46452736 8412 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11341 8412 1111 63 0 11278 0
vsize: 45364
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8610 0 0 0 49984 26 0 0 25 0 1 0 831863241 47202304 8588 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11524 8588 1111 63 0 11461 0
vsize: 46096
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8799 0 0 0 50983 27 0 0 25 0 1 0 831863241 48058368 8777 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11733 8777 1111 63 0 11670 0
vsize: 46932
[startup+520.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 8969 0 0 0 51983 27 0 0 25 0 1 0 831863241 48656384 8947 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11879 8947 1111 63 0 11816 0
vsize: 47516
[startup+530.037 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 9144 0 0 0 52983 28 0 0 25 0 1 0 831863241 49381376 9122 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12056 9122 1111 63 0 11993 0
vsize: 48224
[startup+540.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 9315 0 0 0 53983 28 0 0 25 0 1 0 831863241 50135040 9293 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12240 9293 1111 63 0 12177 0
vsize: 48960
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 9485 0 0 0 54983 29 0 0 25 0 1 0 831863241 50860032 9463 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12417 9463 1111 63 0 12354 0
vsize: 49668
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 9663 0 0 0 55982 29 0 0 25 0 1 0 831863241 51609600 9641 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12600 9641 1111 63 0 12537 0
vsize: 50400
[startup+570.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 9838 0 0 0 56982 30 0 0 25 0 1 0 831863241 52207616 9816 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12746 9816 1111 63 0 12683 0
vsize: 50984
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10015 0 0 0 57981 31 0 0 25 0 1 0 831863241 52965376 9993 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 9993 1111 63 0 12868 0
vsize: 51724
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10194 0 0 0 58981 31 0 0 25 0 1 0 831863241 53714944 10172 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13114 10172 1111 63 0 13051 0
vsize: 52456
[startup+600.046 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10371 0 0 0 59981 32 0 0 25 0 1 0 831863241 54472704 10349 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13299 10349 1111 63 0 13236 0
vsize: 53196
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10555 0 0 0 60981 32 0 0 25 0 1 0 831863241 55222272 10533 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13482 10533 1111 63 0 13419 0
vsize: 53928
[startup+620.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10738 0 0 0 61980 33 0 0 25 0 1 0 831863241 55971840 10716 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13665 10716 1111 63 0 13602 0
vsize: 54660
[startup+630.047 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 10916 0 0 0 62980 33 0 0 25 0 1 0 831863241 56725504 10894 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13849 10894 1111 63 0 13786 0
vsize: 55396
[startup+640.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 11100 0 0 0 63980 34 0 0 25 0 1 0 831863241 57479168 11078 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14033 11078 1111 63 0 13970 0
vsize: 56132
[startup+650.05 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 11285 0 0 0 64980 34 0 0 25 0 1 0 831863241 58232832 11263 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14217 11263 1111 63 0 14154 0
vsize: 56868
[startup+660.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 11469 0 0 0 65983 35 0 0 25 0 1 0 831863241 58986496 11447 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14401 11447 1111 63 0 14338 0
vsize: 57604
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 11656 0 0 0 66983 35 0 0 25 0 1 0 831863241 59740160 11634 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14585 11634 1111 63 0 14522 0
vsize: 58340
[startup+680.083 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 11838 0 0 0 67983 35 0 0 25 0 1 0 831863241 60489728 11816 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14768 11816 1111 63 0 14705 0
vsize: 59072
[startup+690.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12029 0 0 0 68982 36 0 0 25 0 1 0 831863241 61239296 12007 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14951 12007 1111 63 0 14888 0
vsize: 59804
[startup+700.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12216 0 0 0 69982 36 0 0 25 0 1 0 831863241 61997056 12194 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15136 12194 1111 63 0 15073 0
vsize: 60544
[startup+710.085 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12407 0 0 0 70982 37 0 0 25 0 1 0 831863241 62746624 12385 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15319 12385 1111 63 0 15256 0
vsize: 61276
[startup+720.085 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12598 0 0 0 71982 37 0 0 25 0 1 0 831863241 63500288 12576 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15503 12576 1111 63 0 15440 0
vsize: 62012
[startup+730.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12791 0 0 0 72981 38 0 0 25 0 1 0 831863241 64253952 12769 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15687 12769 1111 63 0 15624 0
vsize: 62748
[startup+740.084 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 12982 0 0 0 73981 38 0 0 25 0 1 0 831863241 65155072 12960 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15907 12960 1111 63 0 15844 0
vsize: 63628
[startup+750.093 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 13174 0 0 0 74981 39 0 0 25 0 1 0 831863241 65904640 13152 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16090 13152 1111 63 0 16027 0
vsize: 64360
[startup+760.093 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 13366 0 0 0 75981 39 0 0 25 0 1 0 831863241 66658304 13344 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16274 13344 1111 63 0 16211 0
vsize: 65096
[startup+770.097 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 13557 0 0 0 76981 39 0 0 25 0 1 0 831863241 67411968 13535 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16458 13535 1111 63 0 16395 0
vsize: 65832
[startup+780.097 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 13757 0 0 0 77981 40 0 0 25 0 1 0 831863241 68317184 13735 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 13735 1111 63 0 16616 0
vsize: 66716
[startup+790.098 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 13955 0 0 0 78981 40 0 0 25 0 1 0 831863241 69066752 13933 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16862 13933 1111 63 0 16799 0
vsize: 67448
[startup+800.098 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 14148 0 0 0 79981 40 0 0 25 0 1 0 831863241 69824512 14126 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17047 14126 1111 63 0 16984 0
vsize: 68188
[startup+810.1 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 14354 0 0 0 80981 41 0 0 25 0 1 0 831863241 70725632 14332 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17267 14332 1111 63 0 17204 0
vsize: 69068
[startup+820.1 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 14553 0 0 0 81981 41 0 0 25 0 1 0 831863241 71479296 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17451 14531 1111 63 0 17388 0
vsize: 69804
[startup+830.1 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 14755 0 0 0 82981 41 0 0 25 0 1 0 831863241 72380416 14733 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17671 14733 1111 63 0 17608 0
vsize: 70684
[startup+840.115 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 14959 0 0 0 83983 41 0 0 25 0 1 0 831863241 73129984 14937 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17854 14937 1111 63 0 17791 0
vsize: 71416
[startup+850.115 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 15167 0 0 0 84982 42 0 0 25 0 1 0 831863241 74002432 15145 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18067 15145 1111 63 0 18004 0
vsize: 72268
[startup+860.116 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 15372 0 0 0 85982 42 0 0 25 0 1 0 831863241 74903552 15350 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18287 15350 1111 63 0 18224 0
vsize: 73148
[startup+870.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 15578 0 0 0 86982 42 0 0 25 0 1 0 831863241 75661312 15556 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18472 15556 1111 63 0 18409 0
vsize: 73888
[startup+880.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 15786 0 0 0 87982 43 0 0 25 0 1 0 831863241 76562432 15764 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18692 15764 1111 63 0 18629 0
vsize: 74768
[startup+890.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 15998 0 0 0 88982 43 0 0 25 0 1 0 831863241 77467648 15976 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18913 15976 1111 63 0 18850 0
vsize: 75652
[startup+900.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 16211 0 0 0 89981 44 0 0 25 0 1 0 831863241 78217216 16189 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19096 16189 1111 63 0 19033 0
vsize: 76384
[startup+910.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 16424 0 0 0 90981 44 0 0 25 0 1 0 831863241 79122432 16402 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19317 16402 1111 63 0 19254 0
vsize: 77268
[startup+920.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 16671 0 0 0 91981 45 0 0 25 0 1 0 831863241 80384000 16649 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19625 16649 1111 63 0 19562 0
vsize: 78500
[startup+930.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 16885 0 0 0 92981 45 0 0 25 0 1 0 831863241 81256448 16863 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19838 16863 1111 63 0 19775 0
vsize: 79352
[startup+940.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 17101 0 0 0 93981 45 0 0 25 0 1 0 831863241 82157568 17079 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20058 17079 1111 63 0 19995 0
vsize: 80232
[startup+950.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 17321 0 0 0 94980 46 0 0 25 0 1 0 831863241 83062784 17299 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20279 17299 1111 63 0 20216 0
vsize: 81116
[startup+960.121 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 17542 0 0 0 95980 47 0 0 25 0 1 0 831863241 83963904 17520 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20499 17520 1111 63 0 20436 0
vsize: 81996
[startup+970.121 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 17763 0 0 0 96980 47 0 0 25 0 1 0 831863241 84869120 17741 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20720 17741 1111 63 0 20657 0
vsize: 82880
[startup+980.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 17984 0 0 0 97980 48 0 0 25 0 1 0 831863241 85770240 17962 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20940 17962 1111 63 0 20877 0
vsize: 83760
[startup+990.132 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 18206 0 0 0 98980 48 0 0 25 0 1 0 831863241 86675456 18184 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21161 18184 1111 63 0 21098 0
vsize: 84644
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 18427 0 0 0 99980 49 0 0 25 0 1 0 831863241 87576576 18405 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21381 18405 1111 63 0 21318 0
vsize: 85524
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 18663 0 0 0 100979 49 0 0 25 0 1 0 831863241 88477696 18641 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21601 18641 1111 63 0 21538 0
vsize: 86404
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 18884 0 0 0 101979 50 0 0 25 0 1 0 831863241 89501696 18862 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21851 18862 1111 63 0 21788 0
vsize: 87404
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 19120 0 0 0 102978 51 0 0 25 0 1 0 831863241 90406912 19098 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22072 19098 1111 63 0 22009 0
vsize: 88288
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 19349 0 0 0 103978 51 0 0 25 0 1 0 831863241 91308032 19327 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22292 19327 1111 63 0 22229 0
vsize: 89168
[startup+1050.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 19579 0 0 0 104978 52 0 0 25 0 1 0 831863241 92213248 19557 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22513 19557 1111 63 0 22450 0
vsize: 90052
[startup+1060.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 19814 0 0 0 105977 52 0 0 25 0 1 0 831863241 93265920 19792 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22770 19792 1111 63 0 22707 0
vsize: 91080
[startup+1070.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 20051 0 0 0 106977 53 0 0 25 0 1 0 831863241 94167040 20029 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22990 20029 1111 63 0 22927 0
vsize: 91960
[startup+1080.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 20293 0 0 0 107976 53 0 0 25 0 1 0 831863241 95219712 20271 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23247 20271 1111 63 0 23184 0
vsize: 92988
[startup+1090.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 20537 0 0 0 108976 54 0 0 25 0 1 0 831863241 96120832 20515 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23467 20515 1111 63 0 23404 0
vsize: 93868
[startup+1100.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 20773 0 0 0 109975 55 0 0 25 0 1 0 831863241 97177600 20751 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23725 20751 1111 63 0 23662 0
vsize: 94900
[startup+1110.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 21019 0 0 0 110975 55 0 0 25 0 1 0 831863241 98078720 20997 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23945 20997 1111 63 0 23882 0
vsize: 95780
[startup+1120.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 21268 0 0 0 111975 56 0 0 25 0 1 0 831863241 99135488 21246 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24203 21246 1111 63 0 24140 0
vsize: 96812
[startup+1130.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 21519 0 0 0 112974 56 0 0 25 0 1 0 831863241 100192256 21497 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24461 21497 1111 63 0 24398 0
vsize: 97844
[startup+1140.13 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 21768 0 0 0 113974 57 0 0 25 0 1 0 831863241 101240832 21746 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24717 21746 1111 63 0 24654 0
vsize: 98868
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 22020 0 0 0 114974 58 0 0 25 0 1 0 831863241 102297600 21998 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24975 21998 1111 63 0 24912 0
vsize: 99900
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 22277 0 0 0 115974 58 0 0 25 0 1 0 831863241 103346176 22255 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25231 22255 1111 63 0 25168 0
vsize: 100924
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 22536 0 0 0 116974 59 0 0 25 0 1 0 831863241 104402944 22514 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25489 22514 1111 63 0 25426 0
vsize: 101956
[startup+1180.15 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 22795 0 0 0 117974 60 0 0 25 0 1 0 831863241 105459712 22773 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25747 22773 1111 63 0 25684 0
vsize: 102988
[startup+1190.15 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 23061 0 0 0 118973 60 0 0 25 0 1 0 831863241 106512384 23039 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26004 23039 1111 63 0 25941 0
vsize: 104016
[startup+1200.15 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 24975
Raw data (stat): 24918 (bsolo_mis) R 24917 23310 23309 0 -1 0 23332 0 0 0 119973 61 0 0 25 0 1 0 831863241 107560960 23310 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26260 23310 1111 63 0 26197 0
vsize: 105040
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 1.05 0.99 0.97 1/54 24975
Raw data (stat): 24918 (bsolo_mis) Z 24917 23310 23309 0 -1 1036 23332 0 0 0 119973 65 0 0 25 0 1 0 831863241 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.2
CPU time (s): 1200.39
CPU user time (s): 1199.73
CPU system time (s): 0.659899
CPU usage (%): 100.016
Max. virtual memory (Kb): 105040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####