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/MIPLIB/miplib2003/normalized-mps-v2-20-10-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 26551

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-24 16:08:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12717 boxname=wulflinc2 idbench=979 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 12717
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        793332 kB
Buffers:         33540 kB
Cached:         186924 kB
SwapCached:        876 kB
Active:          87836 kB
Inactive:       135196 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        793080 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            12608 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:28:59 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 12717 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.99 0.99 2/54 32599
Raw data (stat): 32599 (runsolver) R 32598 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773344396 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.006 s]
Raw data (loadavg): 0.94 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 1836 0 0 0 992 7 0 0 25 0 1 0 773344396 15810560 1814 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3860 1814 1111 63 0 3797 0
vsize: 15440
[startup+20.0062 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2061 0 0 0 1992 7 0 0 25 0 1 0 773344396 16703488 2039 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4078 2039 1111 63 0 4015 0
vsize: 16312
[startup+30.0063 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2239 0 0 0 2992 7 0 0 25 0 1 0 773344396 17448960 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4260 2217 1111 63 0 4197 0
vsize: 17040
[startup+40.0118 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2320 0 0 0 3993 7 0 0 25 0 1 0 773344396 17866752 2298 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4362 2298 1111 63 0 4299 0
vsize: 17448
[startup+50.0173 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2394 0 0 0 4993 8 0 0 25 0 1 0 773344396 18137088 2372 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4428 2372 1111 63 0 4365 0
vsize: 17712
[startup+60.0254 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2455 0 0 0 5994 8 0 0 25 0 1 0 773344396 18411520 2433 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4495 2433 1111 63 0 4432 0
vsize: 17980
[startup+70.026 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2516 0 0 0 6994 8 0 0 25 0 1 0 773344396 18694144 2494 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4564 2494 1111 63 0 4501 0
vsize: 18256
[startup+80.0264 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2583 0 0 0 7994 8 0 0 25 0 1 0 773344396 18968576 2561 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4631 2561 1111 63 0 4568 0
vsize: 18524
[startup+90.0265 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2659 0 0 0 8994 8 0 0 25 0 1 0 773344396 19251200 2637 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 2637 1111 63 0 4637 0
vsize: 18800
[startup+100.027 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2733 0 0 0 9995 8 0 0 25 0 1 0 773344396 19525632 2711 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4767 2711 1111 63 0 4704 0
vsize: 19068
[startup+110.027 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2806 0 0 0 10995 8 0 0 25 0 1 0 773344396 19795968 2784 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2784 1111 63 0 4770 0
vsize: 19332
[startup+120.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2874 0 0 0 11994 9 0 0 25 0 1 0 773344396 20074496 2852 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 2852 1111 63 0 4838 0
vsize: 19604
[startup+130.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 2952 0 0 0 12995 9 0 0 25 0 1 0 773344396 20348928 2930 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4968 2930 1111 63 0 4905 0
vsize: 19872
[startup+140.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3019 0 0 0 13995 9 0 0 25 0 1 0 773344396 20639744 2997 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5039 2997 1111 63 0 4976 0
vsize: 20156
[startup+150.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3105 0 0 0 14995 9 0 0 25 0 1 0 773344396 21053440 3083 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5140 3083 1111 63 0 5077 0
vsize: 20560
[startup+160.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3178 0 0 0 15995 9 0 0 25 0 1 0 773344396 21323776 3156 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5206 3156 1111 63 0 5143 0
vsize: 20824
[startup+170.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3239 0 0 0 16995 9 0 0 25 0 1 0 773344396 21598208 3217 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5273 3217 1111 63 0 5210 0
vsize: 21092
[startup+180.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3309 0 0 0 17995 9 0 0 25 0 1 0 773344396 21884928 3287 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5343 3287 1111 63 0 5280 0
vsize: 21372
[startup+190.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3376 0 0 0 18995 9 0 0 25 0 1 0 773344396 22159360 3354 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 3354 1111 63 0 5347 0
vsize: 21640
[startup+200.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3443 0 0 0 19995 9 0 0 25 0 1 0 773344396 22433792 3421 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 3421 1111 63 0 5414 0
vsize: 21908
[startup+210.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3511 0 0 0 20995 9 0 0 25 0 1 0 773344396 22712320 3489 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5545 3489 1111 63 0 5482 0
vsize: 22180
[startup+220.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3578 0 0 0 21996 9 0 0 25 0 1 0 773344396 22990848 3556 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5613 3556 1111 63 0 5550 0
vsize: 22452
[startup+230.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3641 0 0 0 22996 9 0 0 25 0 1 0 773344396 23273472 3619 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5682 3619 1111 63 0 5619 0
vsize: 22728
[startup+240.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3721 0 0 0 23996 10 0 0 25 0 1 0 773344396 23547904 3699 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5749 3699 1111 63 0 5686 0
vsize: 22996
[startup+250.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3782 0 0 0 24996 10 0 0 25 0 1 0 773344396 23822336 3760 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5816 3760 1111 63 0 5753 0
vsize: 23264
[startup+260.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3849 0 0 0 25996 10 0 0 25 0 1 0 773344396 24100864 3827 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5884 3827 1111 63 0 5821 0
vsize: 23536
[startup+270.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3918 0 0 0 26996 10 0 0 25 0 1 0 773344396 24379392 3896 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5952 3896 1111 63 0 5889 0
vsize: 23808
[startup+280.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 3980 0 0 0 27996 10 0 0 25 0 1 0 773344396 24662016 3958 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6021 3958 1111 63 0 5958 0
vsize: 24084
[startup+290.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4048 0 0 0 28997 10 0 0 25 0 1 0 773344396 24940544 4026 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 4026 1111 63 0 6026 0
vsize: 24356
[startup+300.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4116 0 0 0 29997 10 0 0 25 0 1 0 773344396 25214976 4094 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 4094 1111 63 0 6093 0
vsize: 24624
[startup+310.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4196 0 0 0 30997 10 0 0 25 0 1 0 773344396 25493504 4174 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 4174 1111 63 0 6161 0
vsize: 24896
[startup+320.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4271 0 0 0 31997 10 0 0 25 0 1 0 773344396 25772032 4249 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 4249 1111 63 0 6229 0
vsize: 25168
[startup+330.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4339 0 0 0 32997 10 0 0 25 0 1 0 773344396 26046464 4317 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6359 4317 1111 63 0 6296 0
vsize: 25436
[startup+340.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4406 0 0 0 33997 10 0 0 25 0 1 0 773344396 26320896 4384 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6426 4384 1111 63 0 6363 0
vsize: 25704
[startup+350.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4486 0 0 0 34997 11 0 0 25 0 1 0 773344396 26734592 4464 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6527 4464 1111 63 0 6464 0
vsize: 26108
[startup+360.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4549 0 0 0 35997 11 0 0 25 0 1 0 773344396 27013120 4527 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6595 4527 1111 63 0 6532 0
vsize: 26380
[startup+370.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4623 0 0 0 36997 11 0 0 25 0 1 0 773344396 27295744 4601 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6664 4601 1111 63 0 6601 0
vsize: 26656
[startup+380.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4691 0 0 0 37997 11 0 0 25 0 1 0 773344396 27570176 4669 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6731 4669 1111 63 0 6668 0
vsize: 26924
[startup+390.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4752 0 0 0 38997 11 0 0 25 0 1 0 773344396 27852800 4730 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6800 4730 1111 63 0 6737 0
vsize: 27200
[startup+400.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4826 0 0 0 39997 11 0 0 25 0 1 0 773344396 28127232 4804 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6867 4804 1111 63 0 6804 0
vsize: 27468
[startup+410.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4901 0 0 0 40997 12 0 0 25 0 1 0 773344396 28405760 4879 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6935 4879 1111 63 0 6872 0
vsize: 27740
[startup+420.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 4987 0 0 0 41997 12 0 0 25 0 1 0 773344396 28815360 4965 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7035 4965 1111 63 0 6972 0
vsize: 28140
[startup+430.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5067 0 0 0 42997 12 0 0 25 0 1 0 773344396 29085696 5045 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7101 5045 1111 63 0 7038 0
vsize: 28404
[startup+440.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5140 0 0 0 43997 12 0 0 25 0 1 0 773344396 29360128 5118 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7168 5118 1111 63 0 7105 0
vsize: 28672
[startup+450.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5203 0 0 0 44997 12 0 0 25 0 1 0 773344396 29634560 5181 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7235 5181 1111 63 0 7172 0
vsize: 28940
[startup+460.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5279 0 0 0 45997 12 0 0 25 0 1 0 773344396 29921280 5257 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 5257 1111 63 0 7242 0
vsize: 29220
[startup+470.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5351 0 0 0 46997 12 0 0 25 0 1 0 773344396 30326784 5329 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7404 5329 1111 63 0 7341 0
vsize: 29616
[startup+480.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5425 0 0 0 47997 13 0 0 25 0 1 0 773344396 30601216 5403 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7471 5403 1111 63 0 7408 0
vsize: 29884
[startup+490.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5492 0 0 0 48997 13 0 0 25 0 1 0 773344396 30875648 5470 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7538 5470 1111 63 0 7475 0
vsize: 30152
[startup+500.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5568 0 0 0 49997 13 0 0 25 0 1 0 773344396 31158272 5546 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7607 5546 1111 63 0 7544 0
vsize: 30428
[startup+510.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5641 0 0 0 50998 13 0 0 25 0 1 0 773344396 31432704 5619 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7674 5619 1111 63 0 7611 0
vsize: 30696
[startup+520.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5708 0 0 0 51998 13 0 0 25 0 1 0 773344396 31707136 5686 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7741 5686 1111 63 0 7678 0
vsize: 30964
[startup+530.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5775 0 0 0 52998 13 0 0 25 0 1 0 773344396 31981568 5753 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7808 5753 1111 63 0 7745 0
vsize: 31232
[startup+540.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5837 0 0 0 53998 13 0 0 25 0 1 0 773344396 32256000 5815 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 5815 1111 63 0 7812 0
vsize: 31500
[startup+550.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5905 0 0 0 54998 13 0 0 25 0 1 0 773344396 32538624 5883 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7944 5883 1111 63 0 7881 0
vsize: 31776
[startup+560.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 5967 0 0 0 55998 13 0 0 25 0 1 0 773344396 32813056 5945 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5945 1111 63 0 7948 0
vsize: 32044
[startup+570.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6040 0 0 0 56998 13 0 0 25 0 1 0 773344396 33087488 6018 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8078 6018 1111 63 0 8015 0
vsize: 32312
[startup+580.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6108 0 0 0 57998 13 0 0 25 0 1 0 773344396 33366016 6086 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 6086 1111 63 0 8083 0
vsize: 32584
[startup+590.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6170 0 0 0 58998 13 0 0 25 0 1 0 773344396 33640448 6148 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8213 6148 1111 63 0 8150 0
vsize: 32852
[startup+600.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6244 0 0 0 59998 13 0 0 25 0 1 0 773344396 33923072 6222 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8282 6222 1111 63 0 8219 0
vsize: 33128
[startup+610.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6318 0 0 0 60999 13 0 0 25 0 1 0 773344396 34197504 6296 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8349 6296 1111 63 0 8286 0
vsize: 33396
[startup+620.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6385 0 0 0 61999 14 0 0 25 0 1 0 773344396 34471936 6363 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8416 6363 1111 63 0 8353 0
vsize: 33664
[startup+630.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6447 0 0 0 62999 14 0 0 25 0 1 0 773344396 34746368 6425 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8483 6425 1111 63 0 8420 0
vsize: 33932
[startup+640.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6522 0 0 0 63999 14 0 0 25 0 1 0 773344396 35024896 6500 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 6500 1111 63 0 8488 0
vsize: 34204
[startup+650.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6591 0 0 0 64999 14 0 0 25 0 1 0 773344396 35307520 6569 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8620 6569 1111 63 0 8557 0
vsize: 34480
[startup+660.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6677 0 0 0 65998 14 0 0 25 0 1 0 773344396 35717120 6655 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8720 6655 1111 63 0 8657 0
vsize: 34880
[startup+670.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6750 0 0 0 66999 14 0 0 25 0 1 0 773344396 35991552 6728 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8787 6728 1111 63 0 8724 0
vsize: 35148
[startup+680.028 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6817 0 0 0 67999 14 0 0 25 0 1 0 773344396 36261888 6795 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 6795 1111 63 0 8790 0
vsize: 35412
[startup+690.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6887 0 0 0 68999 14 0 0 25 0 1 0 773344396 36544512 6865 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8922 6865 1111 63 0 8859 0
vsize: 35688
[startup+700.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 6961 0 0 0 69999 15 0 0 25 0 1 0 773344396 36818944 6939 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8989 6939 1111 63 0 8926 0
vsize: 35956
[startup+710.029 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7035 0 0 0 70999 15 0 0 25 0 1 0 773344396 37093376 7013 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9056 7013 1111 63 0 8993 0
vsize: 36224
[startup+720.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7108 0 0 0 71999 15 0 0 25 0 1 0 773344396 37502976 7086 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9156 7086 1111 63 0 9093 0
vsize: 36624
[startup+730.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7181 0 0 0 72999 15 0 0 25 0 1 0 773344396 37777408 7159 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 7159 1111 63 0 9160 0
vsize: 36892
[startup+740.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7244 0 0 0 73999 15 0 0 25 0 1 0 773344396 38060032 7222 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9292 7222 1111 63 0 9229 0
vsize: 37168
[startup+750.031 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7317 0 0 0 74999 15 0 0 25 0 1 0 773344396 38334464 7295 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9359 7295 1111 63 0 9296 0
vsize: 37436
[startup+760.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7378 0 0 0 76000 15 0 0 25 0 1 0 773344396 38612992 7356 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9427 7356 1111 63 0 9364 0
vsize: 37708
[startup+770.03 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7453 0 0 0 77000 15 0 0 25 0 1 0 773344396 38887424 7431 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9494 7431 1111 63 0 9431 0
vsize: 37976
[startup+780.052 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7535 0 0 0 78002 16 0 0 25 0 1 0 773344396 39165952 7513 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9562 7513 1111 63 0 9499 0
vsize: 38248
[startup+790.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7615 0 0 0 79002 16 0 0 25 0 1 0 773344396 39575552 7593 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9662 7593 1111 63 0 9599 0
vsize: 38648
[startup+800.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7688 0 0 0 80002 16 0 0 25 0 1 0 773344396 39849984 7666 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9729 7666 1111 63 0 9666 0
vsize: 38916
[startup+810.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7768 0 0 0 81001 16 0 0 25 0 1 0 773344396 40124416 7746 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9796 7746 1111 63 0 9733 0
vsize: 39184
[startup+820.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7829 0 0 0 82002 16 0 0 25 0 1 0 773344396 40402944 7807 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9864 7807 1111 63 0 9801 0
vsize: 39456
[startup+830.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7904 0 0 0 83002 16 0 0 25 0 1 0 773344396 40681472 7882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9932 7882 1111 63 0 9869 0
vsize: 39728
[startup+840.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 7978 0 0 0 84002 17 0 0 25 0 1 0 773344396 40955904 7956 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9999 7956 1111 63 0 9936 0
vsize: 39996
[startup+850.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8058 0 0 0 85002 17 0 0 25 0 1 0 773344396 41365504 8036 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10099 8036 1111 63 0 10036 0
vsize: 40396
[startup+860.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8126 0 0 0 86002 17 0 0 25 0 1 0 773344396 41639936 8104 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10166 8104 1111 63 0 10103 0
vsize: 40664
[startup+870.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8201 0 0 0 87002 17 0 0 25 0 1 0 773344396 41922560 8179 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10235 8179 1111 63 0 10172 0
vsize: 40940
[startup+880.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8274 0 0 0 88002 17 0 0 25 0 1 0 773344396 42196992 8252 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10302 8252 1111 63 0 10239 0
vsize: 41208
[startup+890.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8348 0 0 0 89002 17 0 0 25 0 1 0 773344396 42471424 8326 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10369 8326 1111 63 0 10306 0
vsize: 41476
[startup+900.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8428 0 0 0 90002 18 0 0 25 0 1 0 773344396 42885120 8406 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10470 8406 1111 63 0 10407 0
vsize: 41880
[startup+910.052 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8507 0 0 0 91002 18 0 0 25 0 1 0 773344396 43200512 8485 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10547 8485 1111 63 0 10484 0
vsize: 42188
[startup+920.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8583 0 0 0 92002 18 0 0 25 0 1 0 773344396 43483136 8561 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10616 8561 1111 63 0 10553 0
vsize: 42464
[startup+930.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8651 0 0 0 93002 18 0 0 25 0 1 0 773344396 43757568 8629 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10683 8629 1111 63 0 10620 0
vsize: 42732
[startup+940.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8712 0 0 0 94002 18 0 0 25 0 1 0 773344396 44036096 8690 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10751 8690 1111 63 0 10688 0
vsize: 43004
[startup+950.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8786 0 0 0 95002 18 0 0 25 0 1 0 773344396 44310528 8764 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10818 8764 1111 63 0 10755 0
vsize: 43272
[startup+960.051 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8867 0 0 0 96002 18 0 0 25 0 1 0 773344396 44732416 8845 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10921 8845 1111 63 0 10858 0
vsize: 43684
[startup+970.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 8935 0 0 0 97002 18 0 0 25 0 1 0 773344396 45006848 8913 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10988 8913 1111 63 0 10925 0
vsize: 43952
[startup+980.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9008 0 0 0 98002 19 0 0 25 0 1 0 773344396 45281280 8986 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11055 8986 1111 63 0 10992 0
vsize: 44220
[startup+990.049 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9082 0 0 0 99002 19 0 0 25 0 1 0 773344396 45555712 9060 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11122 9060 1111 63 0 11059 0
vsize: 44488
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9156 0 0 0 100002 19 0 0 25 0 1 0 773344396 45830144 9134 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11189 9134 1111 63 0 11126 0
vsize: 44756
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9237 0 0 0 101002 19 0 0 25 0 1 0 773344396 46243840 9215 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11290 9215 1111 63 0 11227 0
vsize: 45160
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9307 0 0 0 102002 19 0 0 25 0 1 0 773344396 46522368 9285 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11358 9285 1111 63 0 11295 0
vsize: 45432
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9381 0 0 0 103002 19 0 0 25 0 1 0 773344396 46796800 9359 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11425 9359 1111 63 0 11362 0
vsize: 45700
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9461 0 0 0 104002 19 0 0 25 0 1 0 773344396 47071232 9439 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 9439 1111 63 0 11429 0
vsize: 45968
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9542 0 0 0 105003 19 0 0 25 0 1 0 773344396 47489024 9520 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 9520 1111 63 0 11531 0
vsize: 46376
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9610 0 0 0 106002 20 0 0 25 0 1 0 773344396 47759360 9588 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11660 9588 1111 63 0 11597 0
vsize: 46640
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9684 0 0 0 107002 20 0 0 25 0 1 0 773344396 48037888 9662 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11728 9662 1111 63 0 11665 0
vsize: 46912
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9758 0 0 0 108002 20 0 0 25 0 1 0 773344396 48312320 9736 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11795 9736 1111 63 0 11732 0
vsize: 47180
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9831 0 0 0 109002 20 0 0 25 0 1 0 773344396 48586752 9809 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11862 9809 1111 63 0 11799 0
vsize: 47448
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9907 0 0 0 110003 20 0 0 25 0 1 0 773344396 49004544 9885 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11964 9885 1111 63 0 11901 0
vsize: 47856
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 9974 0 0 0 111003 20 0 0 25 0 1 0 773344396 49283072 9952 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12032 9952 1111 63 0 11969 0
vsize: 48128
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10049 0 0 0 112002 21 0 0 25 0 1 0 773344396 49557504 10027 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12099 10027 1111 63 0 12036 0
vsize: 48396
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10117 0 0 0 113003 21 0 0 25 0 1 0 773344396 49831936 10095 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12166 10095 1111 63 0 12103 0
vsize: 48664
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10193 0 0 0 114003 21 0 0 25 0 1 0 773344396 50114560 10171 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12235 10171 1111 63 0 12172 0
vsize: 48940
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10273 0 0 0 115003 21 0 0 25 0 1 0 773344396 50384896 10251 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12301 10251 1111 63 0 12238 0
vsize: 49204
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10346 0 0 0 116003 21 0 0 25 0 1 0 773344396 50798592 10324 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12402 10324 1111 63 0 12339 0
vsize: 49608
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10414 0 0 0 117003 21 0 0 25 0 1 0 773344396 51073024 10392 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12469 10392 1111 63 0 12406 0
vsize: 49876
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10475 0 0 0 118003 22 0 0 25 0 1 0 773344396 51212288 10453 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12503 10453 1111 63 0 12440 0
vsize: 50012
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10544 0 0 0 119003 22 0 0 25 0 1 0 773344396 51494912 10522 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12572 10522 1111 63 0 12509 0
vsize: 50288
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 32599
Raw data (stat): 32599 (bsolo_mis) R 32598 31399 31398 0 -1 0 10617 0 0 0 120003 22 0 0 25 0 1 0 773344396 51908608 10595 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12673 10595 1111 63 0 12610 0
vsize: 50692
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.99 0.99 1/54 32599
Raw data (stat): 32599 (bsolo_mis) Z 32598 31399 31398 0 -1 1036 10617 0 0 0 120003 24 0 0 25 0 1 0 773344396 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.07
CPU time (s): 1200.28
CPU user time (s): 1200.04
CPU system time (s): 0.241963
CPU usage (%): 100.017
Max. virtual memory (Kb): 50692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####