PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45178
Number of variables	155000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 28128

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-05-25 00:40:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14160 boxname=wulflinc2 idbench=1090 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  400cadbec334a2c0625c23ea02111b7f  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n370c.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-n370c.opb
IDLAUNCH: 14160
/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:        490240 kB
Buffers:         26564 kB
Cached:         496372 kB
SwapCached:        868 kB
Active:          79332 kB
Inactive:       446164 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        489988 kB
SwapTotal:     2097136 kB
SwapFree:      2095788 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5616 kB
Slab:            13128 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 01:00:06 (client local time) WITH STATUS 0 IN 1200.33 SECONDS
stats: 14160 7 1200.33 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.83 0.97 0.93 2/54 6458
Raw data (stat): 6458 (runsolver) R 6457 31399 31398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776411527 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0012 s]
Raw data (loadavg): 0.86 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1140 0 0 0 994 4 0 0 25 0 1 0 776411527 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0018 s]
Raw data (loadavg): 0.88 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1250 0 0 0 1993 4 0 0 25 0 1 0 776411527 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0046 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1359 0 0 0 2993 5 0 0 25 0 1 0 776411527 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.0124 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1469 0 0 0 3994 5 0 0 25 0 1 0 776411527 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.0129 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1574 0 0 0 4994 5 0 0 25 0 1 0 776411527 17256448 1552 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1552 1111 63 0 4150 0
vsize: 16852
[startup+60.02 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1685 0 0 0 5995 5 0 0 25 0 1 0 776411527 17711104 1663 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1663 1111 63 0 4261 0
vsize: 17296
[startup+70.0202 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1793 0 0 0 6995 5 0 0 25 0 1 0 776411527 18157568 1771 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1771 1111 63 0 4370 0
vsize: 17732
[startup+80.0196 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 1898 0 0 0 7995 6 0 0 25 0 1 0 776411527 18608128 1876 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1876 1111 63 0 4480 0
vsize: 18172
[startup+90.0193 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2006 0 0 0 8995 6 0 0 25 0 1 0 776411527 19058688 1984 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1984 1111 63 0 4590 0
vsize: 18612
[startup+100.019 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2121 0 0 0 9995 6 0 0 25 0 1 0 776411527 19480576 2099 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2099 1111 63 0 4693 0
vsize: 19024
[startup+110.023 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2231 0 0 0 10995 6 0 0 25 0 1 0 776411527 19922944 2209 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2209 1111 63 0 4801 0
vsize: 19456
[startup+120.023 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2342 0 0 0 11995 6 0 0 25 0 1 0 776411527 20373504 2320 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2320 1111 63 0 4911 0
vsize: 19896
[startup+130.023 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2444 0 0 0 12995 6 0 0 25 0 1 0 776411527 20819968 2422 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2422 1111 63 0 5020 0
vsize: 20332
[startup+140.023 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2561 0 0 0 13995 6 0 0 25 0 1 0 776411527 21270528 2539 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2539 1111 63 0 5130 0
vsize: 20772
[startup+150.026 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2664 0 0 0 14996 7 0 0 25 0 1 0 776411527 21721088 2642 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2642 1111 63 0 5240 0
vsize: 21212
[startup+160.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2774 0 0 0 15996 7 0 0 25 0 1 0 776411527 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2883 0 0 0 16996 7 0 0 25 0 1 0 776411527 22618112 2861 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2861 1111 63 0 5459 0
vsize: 22088
[startup+180.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 2993 0 0 0 17996 7 0 0 25 0 1 0 776411527 23068672 2971 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2971 1111 63 0 5569 0
vsize: 22528
[startup+190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3109 0 0 0 18996 7 0 0 25 0 1 0 776411527 23506944 3087 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5739 3087 1111 63 0 5676 0
vsize: 22956
[startup+200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3213 0 0 0 19996 8 0 0 25 0 1 0 776411527 23953408 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 3191 1111 63 0 5785 0
vsize: 23392
[startup+210.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3328 0 0 0 20996 8 0 0 25 0 1 0 776411527 24408064 3306 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5959 3306 1111 63 0 5896 0
vsize: 23836
[startup+220.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3434 0 0 0 21996 8 0 0 25 0 1 0 776411527 24850432 3412 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6067 3412 1111 63 0 6004 0
vsize: 24268
[startup+230.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3550 0 0 0 22996 9 0 0 25 0 1 0 776411527 25276416 3528 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 3528 1111 63 0 6108 0
vsize: 24684
[startup+240.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3654 0 0 0 23996 9 0 0 25 0 1 0 776411527 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3769 0 0 0 24996 9 0 0 25 0 1 0 776411527 26173440 3747 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 3747 1111 63 0 6327 0
vsize: 25560
[startup+260.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3875 0 0 0 25996 10 0 0 25 0 1 0 776411527 26624000 3853 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3853 1111 63 0 6437 0
vsize: 26000
[startup+270.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 3985 0 0 0 26996 10 0 0 25 0 1 0 776411527 27074560 3963 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 3963 1111 63 0 6547 0
vsize: 26440
[startup+280.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4095 0 0 0 27997 10 0 0 25 0 1 0 776411527 27521024 4073 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4073 1111 63 0 6656 0
vsize: 26876
[startup+290.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4210 0 0 0 28997 10 0 0 25 0 1 0 776411527 27971584 4188 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4188 1111 63 0 6766 0
vsize: 27316
[startup+300.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4315 0 0 0 29997 11 0 0 25 0 1 0 776411527 28422144 4293 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4293 1111 63 0 6876 0
vsize: 27756
[startup+310.051 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4431 0 0 0 30997 11 0 0 25 0 1 0 776411527 28872704 4409 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4409 1111 63 0 6986 0
vsize: 28196
[startup+320.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4536 0 0 0 31997 11 0 0 25 0 1 0 776411527 29319168 4514 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7158 4514 1111 63 0 7095 0
vsize: 28632
[startup+330.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4651 0 0 0 32997 11 0 0 25 0 1 0 776411527 29769728 4629 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 4629 1111 63 0 7205 0
vsize: 29072
[startup+340.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4762 0 0 0 33997 11 0 0 25 0 1 0 776411527 30220288 4740 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7378 4740 1111 63 0 7315 0
vsize: 29512
[startup+350.058 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4871 0 0 0 34997 12 0 0 25 0 1 0 776411527 30670848 4849 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7488 4849 1111 63 0 7425 0
vsize: 29952
[startup+360.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 4993 0 0 0 35997 12 0 0 25 0 1 0 776411527 31277056 4971 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4971 1111 63 0 7573 0
vsize: 30544
[startup+370.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5102 0 0 0 36997 12 0 0 25 0 1 0 776411527 31727616 5080 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5080 1111 63 0 7683 0
vsize: 30984
[startup+380.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5213 0 0 0 37997 12 0 0 25 0 1 0 776411527 32174080 5191 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5191 1111 63 0 7792 0
vsize: 31420
[startup+390.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5323 0 0 0 38997 13 0 0 25 0 1 0 776411527 32624640 5301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5301 1111 63 0 7902 0
vsize: 31860
[startup+400.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5440 0 0 0 39997 13 0 0 25 0 1 0 776411527 33075200 5418 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8075 5418 1111 63 0 8012 0
vsize: 32300
[startup+410.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5544 0 0 0 40997 13 0 0 25 0 1 0 776411527 33525760 5522 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8185 5522 1111 63 0 8122 0
vsize: 32740
[startup+420.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5661 0 0 0 41997 14 0 0 25 0 1 0 776411527 33972224 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8294 5639 1111 63 0 8231 0
vsize: 33176
[startup+430.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5771 0 0 0 42997 14 0 0 25 0 1 0 776411527 34422784 5749 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8404 5749 1111 63 0 8341 0
vsize: 33616
[startup+440.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5882 0 0 0 43997 14 0 0 25 0 1 0 776411527 34873344 5860 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8514 5860 1111 63 0 8451 0
vsize: 34056
[startup+450.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 5998 0 0 0 44997 14 0 0 25 0 1 0 776411527 35323904 5976 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8624 5976 1111 63 0 8561 0
vsize: 34496
[startup+460.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6103 0 0 0 45997 14 0 0 25 0 1 0 776411527 35770368 6081 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8733 6081 1111 63 0 8670 0
vsize: 34932
[startup+470.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6218 0 0 0 46997 14 0 0 25 0 1 0 776411527 36225024 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8844 6196 1111 63 0 8781 0
vsize: 35376
[startup+480.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6330 0 0 0 47997 15 0 0 25 0 1 0 776411527 36671488 6308 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8953 6308 1111 63 0 8890 0
vsize: 35812
[startup+490.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6439 0 0 0 48997 15 0 0 25 0 1 0 776411527 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9063 6417 1111 63 0 9000 0
vsize: 36252
[startup+500.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6556 0 0 0 49996 15 0 0 25 0 1 0 776411527 37724160 6534 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6534 1111 63 0 9147 0
vsize: 36840
[startup+510.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6666 0 0 0 50996 15 0 0 25 0 1 0 776411527 38174720 6644 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 6644 1111 63 0 9257 0
vsize: 37280
[startup+520.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6778 0 0 0 51996 16 0 0 25 0 1 0 776411527 38625280 6756 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6756 1111 63 0 9367 0
vsize: 37720
[startup+530.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 6893 0 0 0 52996 16 0 0 25 0 1 0 776411527 39071744 6871 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9539 6871 1111 63 0 9476 0
vsize: 38156
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7005 0 0 0 53996 16 0 0 25 0 1 0 776411527 39522304 6983 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9649 6983 1111 63 0 9586 0
vsize: 38596
[startup+550.063 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7115 0 0 0 54996 16 0 0 25 0 1 0 776411527 39972864 7093 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9759 7093 1111 63 0 9696 0
vsize: 39036
[startup+560.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7232 0 0 0 55996 17 0 0 25 0 1 0 776411527 40423424 7210 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9869 7210 1111 63 0 9806 0
vsize: 39476
[startup+570.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7342 0 0 0 56996 17 0 0 25 0 1 0 776411527 40869888 7320 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9978 7320 1111 63 0 9915 0
vsize: 39912
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7454 0 0 0 57996 17 0 0 25 0 1 0 776411527 41320448 7432 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10088 7432 1111 63 0 10025 0
vsize: 40352
[startup+590.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7570 0 0 0 58996 17 0 0 25 0 1 0 776411527 41771008 7548 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10198 7548 1111 63 0 10135 0
vsize: 40792
[startup+600.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7681 0 0 0 59996 18 0 0 25 0 1 0 776411527 42221568 7659 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10308 7659 1111 63 0 10245 0
vsize: 41232
[startup+610.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7791 0 0 0 60996 18 0 0 25 0 1 0 776411527 42668032 7769 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10417 7769 1111 63 0 10354 0
vsize: 41668
[startup+620.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 7908 0 0 0 61996 18 0 0 25 0 1 0 776411527 43122688 7886 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10528 7886 1111 63 0 10465 0
vsize: 42112
[startup+630.065 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8025 0 0 0 62996 18 0 0 25 0 1 0 776411527 43716608 8003 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10673 8003 1111 63 0 10610 0
vsize: 42692
[startup+640.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8136 0 0 0 63996 19 0 0 25 0 1 0 776411527 44171264 8114 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10784 8114 1111 63 0 10721 0
vsize: 43136
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8246 0 0 0 64996 19 0 0 25 0 1 0 776411527 44617728 8224 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10893 8224 1111 63 0 10830 0
vsize: 43572
[startup+660.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8364 0 0 0 65996 19 0 0 25 0 1 0 776411527 45072384 8342 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8342 1111 63 0 10941 0
vsize: 44016
[startup+670.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8474 0 0 0 66996 19 0 0 25 0 1 0 776411527 45514752 8452 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11112 8452 1111 63 0 11049 0
vsize: 44448
[startup+680.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8591 0 0 0 67996 19 0 0 25 0 1 0 776411527 45969408 8569 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11223 8569 1111 63 0 11160 0
vsize: 44892
[startup+690.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8701 0 0 0 68995 20 0 0 25 0 1 0 776411527 46415872 8679 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11332 8679 1111 63 0 11269 0
vsize: 45328
[startup+700.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8818 0 0 0 69995 20 0 0 25 0 1 0 776411527 46870528 8796 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11443 8796 1111 63 0 11380 0
vsize: 45772
[startup+710.067 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 8952 0 0 0 70995 20 0 0 25 0 1 0 776411527 47509504 8930 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 8930 1111 63 0 11536 0
vsize: 46396
[startup+720.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9065 0 0 0 71995 21 0 0 25 0 1 0 776411527 47960064 9043 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11709 9043 1111 63 0 11646 0
vsize: 46836
[startup+730.066 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9174 0 0 0 72995 21 0 0 25 0 1 0 776411527 48406528 9152 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11818 9152 1111 63 0 11755 0
vsize: 47272
[startup+740.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9292 0 0 0 73997 21 0 0 25 0 1 0 776411527 49008640 9270 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11965 9270 1111 63 0 11902 0
vsize: 47860
[startup+750.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9408 0 0 0 74997 21 0 0 25 0 1 0 776411527 49455104 9386 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12074 9386 1111 63 0 12011 0
vsize: 48296
[startup+760.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9521 0 0 0 75997 21 0 0 25 0 1 0 776411527 49905664 9499 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12184 9499 1111 63 0 12121 0
vsize: 48736
[startup+770.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9637 0 0 0 76997 22 0 0 25 0 1 0 776411527 50356224 9615 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 9615 1111 63 0 12231 0
vsize: 49176
[startup+780.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9748 0 0 0 77996 22 0 0 25 0 1 0 776411527 50806784 9726 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 9726 1111 63 0 12341 0
vsize: 49616
[startup+790.081 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9864 0 0 0 78996 22 0 0 25 0 1 0 776411527 51253248 9842 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12513 9842 1111 63 0 12450 0
vsize: 50052
[startup+800.081 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 9982 0 0 0 79996 23 0 0 25 0 1 0 776411527 51703808 9960 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12623 9960 1111 63 0 12560 0
vsize: 50492
[startup+810.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10101 0 0 0 80996 23 0 0 25 0 1 0 776411527 52305920 10079 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12770 10079 1111 63 0 12707 0
vsize: 51080
[startup+820.082 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10211 0 0 0 81996 23 0 0 25 0 1 0 776411527 52756480 10189 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12880 10189 1111 63 0 12817 0
vsize: 51520
[startup+830.081 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10328 0 0 0 82996 24 0 0 25 0 1 0 776411527 53207040 10306 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10306 1111 63 0 12927 0
vsize: 51960
[startup+840.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10438 0 0 0 83996 24 0 0 25 0 1 0 776411527 53653504 10416 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13099 10416 1111 63 0 13036 0
vsize: 52396
[startup+850.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10556 0 0 0 84996 24 0 0 25 0 1 0 776411527 54108160 10534 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13210 10534 1111 63 0 13147 0
vsize: 52840
[startup+860.087 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10672 0 0 0 85996 24 0 0 25 0 1 0 776411527 54554624 10650 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13319 10650 1111 63 0 13256 0
vsize: 53276
[startup+870.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10790 0 0 0 86996 25 0 0 25 0 1 0 776411527 55005184 10768 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13429 10768 1111 63 0 13366 0
vsize: 53716
[startup+880.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 10907 0 0 0 87996 25 0 0 25 0 1 0 776411527 55599104 10885 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13574 10885 1111 63 0 13511 0
vsize: 54296
[startup+890.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11025 0 0 0 88996 25 0 0 25 0 1 0 776411527 56053760 11003 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13685 11003 1111 63 0 13622 0
vsize: 54740
[startup+900.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11136 0 0 0 89996 25 0 0 25 0 1 0 776411527 56500224 11114 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13794 11114 1111 63 0 13731 0
vsize: 55176
[startup+910.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11253 0 0 0 90996 25 0 0 25 0 1 0 776411527 56954880 11231 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13905 11231 1111 63 0 13842 0
vsize: 55620
[startup+920.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11370 0 0 0 91997 26 0 0 25 0 1 0 776411527 57401344 11348 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14014 11348 1111 63 0 13951 0
vsize: 56056
[startup+930.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11488 0 0 0 92996 26 0 0 25 0 1 0 776411527 57974784 11466 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14154 11466 1111 63 0 14091 0
vsize: 56616
[startup+940.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11599 0 0 0 93996 26 0 0 25 0 1 0 776411527 58417152 11577 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14262 11577 1111 63 0 14199 0
vsize: 57048
[startup+950.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11717 0 0 0 94996 26 0 0 25 0 1 0 776411527 58871808 11695 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14373 11695 1111 63 0 14310 0
vsize: 57492
[startup+960.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11833 0 0 0 95996 27 0 0 25 0 1 0 776411527 59318272 11811 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11811 1111 63 0 14419 0
vsize: 57928
[startup+970.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 11951 0 0 0 96996 27 0 0 25 0 1 0 776411527 59772928 11929 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14593 11929 1111 63 0 14530 0
vsize: 58372
[startup+980.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12069 0 0 0 97996 27 0 0 25 0 1 0 776411527 60215296 12047 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14701 12047 1111 63 0 14638 0
vsize: 58804
[startup+990.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12186 0 0 0 98996 27 0 0 25 0 1 0 776411527 60817408 12164 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14848 12164 1111 63 0 14785 0
vsize: 59392
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12304 0 0 0 99996 28 0 0 25 0 1 0 776411527 61267968 12282 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 12282 1111 63 0 14895 0
vsize: 59832
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12421 0 0 0 100996 28 0 0 25 0 1 0 776411527 61718528 12399 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15068 12399 1111 63 0 15005 0
vsize: 60272
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12540 0 0 0 101996 28 0 0 25 0 1 0 776411527 62164992 12518 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15177 12518 1111 63 0 15114 0
vsize: 60708
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12656 0 0 0 102996 28 0 0 25 0 1 0 776411527 62619648 12634 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 12634 1111 63 0 15225 0
vsize: 61152
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12774 0 0 0 103996 28 0 0 25 0 1 0 776411527 63217664 12752 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15434 12752 1111 63 0 15371 0
vsize: 61736
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 12892 0 0 0 104996 29 0 0 25 0 1 0 776411527 63668224 12870 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15544 12870 1111 63 0 15481 0
vsize: 62176
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13010 0 0 0 105996 29 0 0 25 0 1 0 776411527 64118784 12988 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15654 12988 1111 63 0 15591 0
vsize: 62616
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13127 0 0 0 106996 29 0 0 25 0 1 0 776411527 64569344 13105 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13105 1111 63 0 15701 0
vsize: 63056
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13245 0 0 0 107996 29 0 0 25 0 1 0 776411527 65019904 13223 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 13223 1111 63 0 15811 0
vsize: 63496
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13362 0 0 0 108996 30 0 0 25 0 1 0 776411527 65613824 13340 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13340 1111 63 0 15956 0
vsize: 64076
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13480 0 0 0 109995 30 0 0 25 0 1 0 776411527 66068480 13458 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16130 13458 1111 63 0 16067 0
vsize: 64520
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13597 0 0 0 110997 30 0 0 25 0 1 0 776411527 66514944 13575 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16239 13575 1111 63 0 16176 0
vsize: 64956
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13715 0 0 0 111997 30 0 0 25 0 1 0 776411527 66969600 13693 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 13693 1111 63 0 16287 0
vsize: 65400
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13833 0 0 0 112997 31 0 0 25 0 1 0 776411527 67411968 13811 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16458 13811 1111 63 0 16395 0
vsize: 65832
[startup+1140.11 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 13957 0 0 0 113997 31 0 0 25 0 1 0 776411527 68014080 13935 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13935 1111 63 0 16542 0
vsize: 66420
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14076 0 0 0 114997 31 0 0 25 0 1 0 776411527 68464640 14054 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14054 1111 63 0 16652 0
vsize: 66860
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14192 0 0 0 115997 32 0 0 25 0 1 0 776411527 68915200 14170 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14170 1111 63 0 16762 0
vsize: 67300
[startup+1170.11 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14311 0 0 0 116997 32 0 0 25 0 1 0 776411527 69361664 14289 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16934 14289 1111 63 0 16871 0
vsize: 67736
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14434 0 0 0 117997 32 0 0 25 0 1 0 776411527 69963776 14412 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14412 1111 63 0 17018 0
vsize: 68324
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 6458
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14553 0 0 0 118997 32 0 0 25 0 1 0 776411527 70414336 14531 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 14531 1111 63 0 17128 0
vsize: 68764
[startup+1200.12 s]
Raw data (loadavg): 1.07 0.99 0.93 2/57 6461
Raw data (stat): 6458 (bsolo_mis) R 6457 31399 31398 0 -1 0 14670 0 0 0 119993 36 0 0 25 0 1 0 776411527 70864896 14648 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17301 14648 1111 63 0 17238 0
vsize: 69204
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.07 0.99 0.93 1/57 6461
Raw data (stat): 6458 (bsolo_mis) Z 6457 31399 31398 0 -1 1036 14670 0 0 0 119993 39 0 0 25 0 1 0 776411527 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.15
CPU time (s): 1200.33
CPU user time (s): 1199.94
CPU system time (s): 0.39394
CPU usage (%): 100.015
Max. virtual memory (Kb): 69204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####