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-n3703.opb
MD5SUM	a137a4431766bfb5dcfb15040aa6f686
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	154999
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	29657420026984
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	29657420026984
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.43978
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 26333

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 15:05:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14043 boxname=wulflinc23 idbench=1081 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  a137a4431766bfb5dcfb15040aa6f686  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n3703.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n3703.opb
IDLAUNCH: 14043
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        897112 kB
Buffers:         35024 kB
Cached:          80184 kB
SwapCached:        664 kB
Active:          83944 kB
Inactive:        33756 kB
HighTotal:      131008 kB
HighFree:        49756 kB
LowTotal:       903652 kB
LowFree:        847356 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:25:33 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 14043 7 1200.36 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.86 0.97 1.08 2/54 6412
Raw data (stat): 6412 (runsolver) R 6411 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831184051 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.0106 s]
Raw data (loadavg): 0.88 0.97 1.08 2/54 6412
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1140 0 0 0 996 4 0 0 25 0 1 0 831184051 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.1121 s]
Raw data (loadavg): 0.90 0.97 1.08 2/54 6412
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1250 0 0 0 2006 4 0 0 25 0 1 0 831184051 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.1117 s]
Raw data (loadavg): 0.91 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1359 0 0 0 3006 4 0 0 25 0 1 0 831184051 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414433 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.1116 s]
Raw data (loadavg): 0.93 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1469 0 0 0 4006 4 0 0 25 0 1 0 831184051 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414383 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.1123 s]
Raw data (loadavg): 0.94 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1581 0 0 0 5006 5 0 0 25 0 1 0 831184051 17256448 1559 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1559 1111 63 0 4150 0
vsize: 16852
[startup+60.1117 s]
Raw data (loadavg): 0.95 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1691 0 0 0 6006 5 0 0 25 0 1 0 831184051 17711104 1669 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1669 1111 63 0 4261 0
vsize: 17296
[startup+70.1129 s]
Raw data (loadavg): 0.95 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1794 0 0 0 7006 5 0 0 25 0 1 0 831184051 18157568 1772 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1772 1111 63 0 4370 0
vsize: 17732
[startup+80.113 s]
Raw data (loadavg): 0.96 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 1905 0 0 0 8006 6 0 0 25 0 1 0 831184051 18608128 1883 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1883 1111 63 0 4480 0
vsize: 18172
[startup+90.1126 s]
Raw data (loadavg): 0.97 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2020 0 0 0 9006 6 0 0 25 0 1 0 831184051 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.113 s]
Raw data (loadavg): 0.97 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2129 0 0 0 10005 6 0 0 25 0 1 0 831184051 19480576 2107 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2107 1111 63 0 4693 0
vsize: 19024
[startup+110.112 s]
Raw data (loadavg): 0.97 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2239 0 0 0 11005 6 0 0 25 0 1 0 831184051 19922944 2217 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2217 1111 63 0 4801 0
vsize: 19456
[startup+120.113 s]
Raw data (loadavg): 0.98 0.97 1.07 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2349 0 0 0 12005 7 0 0 25 0 1 0 831184051 20373504 2327 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2327 1111 63 0 4911 0
vsize: 19896
[startup+130.113 s]
Raw data (loadavg): 0.98 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2458 0 0 0 13005 7 0 0 25 0 1 0 831184051 20819968 2436 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2436 1111 63 0 5020 0
vsize: 20332
[startup+140.113 s]
Raw data (loadavg): 0.98 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2569 0 0 0 14005 7 0 0 25 0 1 0 831184051 21270528 2547 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2547 1111 63 0 5130 0
vsize: 20772
[startup+150.114 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2678 0 0 0 15005 7 0 0 25 0 1 0 831184051 21721088 2656 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2656 1111 63 0 5240 0
vsize: 21212
[startup+160.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2788 0 0 0 16005 8 0 0 25 0 1 0 831184051 22171648 2766 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2766 1111 63 0 5350 0
vsize: 21652
[startup+170.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 2897 0 0 0 17005 8 0 0 25 0 1 0 831184051 22618112 2875 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2875 1111 63 0 5459 0
vsize: 22088
[startup+180.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3016 0 0 0 18005 8 0 0 25 0 1 0 831184051 23216128 2994 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 2994 1111 63 0 5605 0
vsize: 22672
[startup+190.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3123 0 0 0 19005 9 0 0 25 0 1 0 831184051 23654400 3101 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5775 3101 1111 63 0 5712 0
vsize: 23100
[startup+200.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3234 0 0 0 20005 9 0 0 25 0 1 0 831184051 24109056 3212 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 3212 1111 63 0 5823 0
vsize: 23544
[startup+210.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3343 0 0 0 21004 9 0 0 25 0 1 0 831184051 24555520 3321 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5995 3321 1111 63 0 5932 0
vsize: 23980
[startup+220.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3455 0 0 0 22005 9 0 0 25 0 1 0 831184051 24985600 3433 4294967295 134512640 134714540 3221224592 3221222460 1077253315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6100 3433 1111 63 0 6037 0
vsize: 24400
[startup+230.113 s]
Raw data (loadavg): 0.99 0.97 1.06 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3565 0 0 0 23005 9 0 0 25 0 1 0 831184051 25423872 3543 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6207 3543 1111 63 0 6144 0
vsize: 24828
[startup+240.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3675 0 0 0 24004 10 0 0 25 0 1 0 831184051 25874432 3653 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6317 3653 1111 63 0 6254 0
vsize: 25268
[startup+250.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3785 0 0 0 25004 10 0 0 25 0 1 0 831184051 26324992 3763 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6427 3763 1111 63 0 6364 0
vsize: 25708
[startup+260.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 3896 0 0 0 26004 10 0 0 25 0 1 0 831184051 26775552 3874 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6537 3874 1111 63 0 6474 0
vsize: 26148
[startup+270.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4006 0 0 0 27004 11 0 0 25 0 1 0 831184051 27222016 3984 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6646 3984 1111 63 0 6583 0
vsize: 26584
[startup+280.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4117 0 0 0 28004 11 0 0 25 0 1 0 831184051 27676672 4095 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4095 1111 63 0 6694 0
vsize: 27028
[startup+290.114 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4226 0 0 0 29004 11 0 0 25 0 1 0 831184051 28123136 4204 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6866 4204 1111 63 0 6803 0
vsize: 27464
[startup+300.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4343 0 0 0 30004 11 0 0 25 0 1 0 831184051 28573696 4321 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6976 4321 1111 63 0 6913 0
vsize: 27904
[startup+310.113 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4447 0 0 0 31004 11 0 0 25 0 1 0 831184051 29024256 4425 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7086 4425 1111 63 0 7023 0
vsize: 28344
[startup+320.114 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4564 0 0 0 32004 12 0 0 25 0 1 0 831184051 29474816 4542 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4542 1111 63 0 7133 0
vsize: 28784
[startup+330.114 s]
Raw data (loadavg): 0.99 0.97 1.05 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4673 0 0 0 33004 12 0 0 25 0 1 0 831184051 29921280 4651 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7305 4651 1111 63 0 7242 0
vsize: 29220
[startup+340.114 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4784 0 0 0 34004 12 0 0 25 0 1 0 831184051 30371840 4762 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4762 1111 63 0 7352 0
vsize: 29660
[startup+350.114 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 4893 0 0 0 35003 13 0 0 25 0 1 0 831184051 30822400 4871 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 4871 1111 63 0 7462 0
vsize: 30100
[startup+360.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5015 0 0 0 36003 13 0 0 25 0 1 0 831184051 31428608 4993 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4993 1111 63 0 7610 0
vsize: 30692
[startup+370.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5131 0 0 0 37003 13 0 0 25 0 1 0 831184051 31875072 5109 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7782 5109 1111 63 0 7719 0
vsize: 31128
[startup+380.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5243 0 0 0 38003 14 0 0 25 0 1 0 831184051 32329728 5221 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7893 5221 1111 63 0 7830 0
vsize: 31572
[startup+390.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5352 0 0 0 39003 14 0 0 25 0 1 0 831184051 32776192 5330 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8002 5330 1111 63 0 7939 0
vsize: 32008
[startup+400.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5470 0 0 0 40003 14 0 0 25 0 1 0 831184051 33226752 5448 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5448 1111 63 0 8049 0
vsize: 32448
[startup+410.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5573 0 0 0 41003 14 0 0 25 0 1 0 831184051 33677312 5551 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8222 5551 1111 63 0 8159 0
vsize: 32888
[startup+420.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5690 0 0 0 42003 14 0 0 25 0 1 0 831184051 34127872 5668 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5668 1111 63 0 8269 0
vsize: 33328
[startup+430.113 s]
Raw data (loadavg): 0.99 0.97 1.04 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5800 0 0 0 43003 15 0 0 25 0 1 0 831184051 34574336 5778 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8441 5778 1111 63 0 8378 0
vsize: 33764
[startup+440.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 5911 0 0 0 44003 15 0 0 25 0 1 0 831184051 35024896 5889 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 5889 1111 63 0 8488 0
vsize: 34204
[startup+450.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6028 0 0 0 45003 15 0 0 25 0 1 0 831184051 35475456 6006 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8661 6006 1111 63 0 8598 0
vsize: 34644
[startup+460.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6139 0 0 0 46003 15 0 0 25 0 1 0 831184051 35926016 6117 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8771 6117 1111 63 0 8708 0
vsize: 35084
[startup+470.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6249 0 0 0 47003 15 0 0 25 0 1 0 831184051 36372480 6227 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 6227 1111 63 0 8817 0
vsize: 35520
[startup+480.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6366 0 0 0 48003 16 0 0 25 0 1 0 831184051 36823040 6344 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8990 6344 1111 63 0 8927 0
vsize: 35960
[startup+490.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6476 0 0 0 49003 16 0 0 25 0 1 0 831184051 37273600 6454 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 6454 1111 63 0 9037 0
vsize: 36400
[startup+500.114 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6587 0 0 0 50003 16 0 0 25 0 1 0 831184051 37724160 6565 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6565 1111 63 0 9147 0
vsize: 36840
[startup+510.113 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6702 0 0 0 51003 16 0 0 25 0 1 0 831184051 38318080 6680 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 6680 1111 63 0 9292 0
vsize: 37420
[startup+520.113 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6820 0 0 0 52002 17 0 0 25 0 1 0 831184051 38772736 6798 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9466 6798 1111 63 0 9403 0
vsize: 37864
[startup+530.113 s]
Raw data (loadavg): 0.99 0.97 1.03 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 6931 0 0 0 53002 17 0 0 25 0 1 0 831184051 39219200 6909 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6909 1111 63 0 9512 0
vsize: 38300
[startup+540.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7042 0 0 0 54003 17 0 0 25 0 1 0 831184051 39673856 7020 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7020 1111 63 0 9623 0
vsize: 38744
[startup+550.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7158 0 0 0 55002 17 0 0 25 0 1 0 831184051 40120320 7136 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7136 1111 63 0 9732 0
vsize: 39180
[startup+560.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7270 0 0 0 56002 18 0 0 25 0 1 0 831184051 40574976 7248 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9906 7248 1111 63 0 9843 0
vsize: 39624
[startup+570.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7379 0 0 0 57002 18 0 0 25 0 1 0 831184051 41017344 7357 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7357 1111 63 0 9951 0
vsize: 40056
[startup+580.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7497 0 0 0 58002 18 0 0 25 0 1 0 831184051 41472000 7475 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 7475 1111 63 0 10062 0
vsize: 40500
[startup+590.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7613 0 0 0 59002 19 0 0 25 0 1 0 831184051 41918464 7591 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 7591 1111 63 0 10171 0
vsize: 40936
[startup+600.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7724 0 0 0 60002 19 0 0 25 0 1 0 831184051 42373120 7702 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10345 7702 1111 63 0 10282 0
vsize: 41380
[startup+610.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7835 0 0 0 61002 19 0 0 25 0 1 0 831184051 42815488 7813 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 7813 1111 63 0 10390 0
vsize: 41812
[startup+620.114 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 7953 0 0 0 62002 19 0 0 25 0 1 0 831184051 43417600 7931 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10600 7931 1111 63 0 10537 0
vsize: 42400
[startup+630.113 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8069 0 0 0 63002 19 0 0 25 0 1 0 831184051 43868160 8047 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 8047 1111 63 0 10647 0
vsize: 42840
[startup+640.114 s]
Raw data (loadavg): 0.99 0.97 1.02 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8180 0 0 0 64001 20 0 0 25 0 1 0 831184051 44318720 8158 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8158 1111 63 0 10757 0
vsize: 43280
[startup+650.114 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8291 0 0 0 65002 20 0 0 25 0 1 0 831184051 44765184 8269 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 8269 1111 63 0 10866 0
vsize: 43716
[startup+660.113 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8408 0 0 0 66002 20 0 0 25 0 1 0 831184051 45215744 8386 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 8386 1111 63 0 10976 0
vsize: 44156
[startup+670.114 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8524 0 0 0 67002 20 0 0 25 0 1 0 831184051 45666304 8502 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11149 8502 1111 63 0 11086 0
vsize: 44596
[startup+680.114 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8641 0 0 0 68002 20 0 0 25 0 1 0 831184051 46116864 8619 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8619 1111 63 0 11196 0
vsize: 45036
[startup+690.114 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8753 0 0 0 69002 20 0 0 25 0 1 0 831184051 46567424 8731 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8731 1111 63 0 11306 0
vsize: 45476
[startup+700.115 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 8862 0 0 0 70002 21 0 0 25 0 1 0 831184051 47017984 8840 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11479 8840 1111 63 0 11416 0
vsize: 45916
[startup+710.114 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9000 0 0 0 71002 21 0 0 25 0 1 0 831184051 47808512 8978 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 8978 1111 63 0 11609 0
vsize: 46688
[startup+720.115 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9116 0 0 0 72001 22 0 0 25 0 1 0 831184051 48259072 9094 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 9094 1111 63 0 11719 0
vsize: 47128
[startup+730.115 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9233 0 0 0 73001 22 0 0 25 0 1 0 831184051 48709632 9211 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11892 9211 1111 63 0 11829 0
vsize: 47568
[startup+740.115 s]
Raw data (loadavg): 0.99 0.97 1.01 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9343 0 0 0 74001 22 0 0 25 0 1 0 831184051 49156096 9321 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12001 9321 1111 63 0 11938 0
vsize: 48004
[startup+750.115 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9461 0 0 0 75001 23 0 0 25 0 1 0 831184051 49610752 9439 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12112 9439 1111 63 0 12049 0
vsize: 48448
[startup+760.115 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9578 0 0 0 76001 23 0 0 25 0 1 0 831184051 50057216 9556 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12221 9556 1111 63 0 12158 0
vsize: 48884
[startup+770.115 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9690 0 0 0 77001 23 0 0 25 0 1 0 831184051 50507776 9668 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12331 9668 1111 63 0 12268 0
vsize: 49324
[startup+780.115 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9806 0 0 0 78001 23 0 0 25 0 1 0 831184051 51105792 9784 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12477 9784 1111 63 0 12414 0
vsize: 49908
[startup+790.116 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 9924 0 0 0 79001 23 0 0 25 0 1 0 831184051 51560448 9902 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 9902 1111 63 0 12525 0
vsize: 50352
[startup+800.116 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10041 0 0 0 80001 24 0 0 25 0 1 0 831184051 52002816 10019 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12696 10019 1111 63 0 12633 0
vsize: 50784
[startup+810.116 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10159 0 0 0 81000 24 0 0 25 0 1 0 831184051 52457472 10137 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12807 10137 1111 63 0 12744 0
vsize: 51228
[startup+820.115 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10269 0 0 0 82000 24 0 0 25 0 1 0 831184051 52903936 10247 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12916 10247 1111 63 0 12853 0
vsize: 51664
[startup+830.118 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10386 0 0 0 83000 25 0 0 25 0 1 0 831184051 53358592 10364 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10364 1111 63 0 12964 0
vsize: 52108
[startup+840.119 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10503 0 0 0 84000 25 0 0 25 0 1 0 831184051 53952512 10481 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13172 10481 1111 63 0 13109 0
vsize: 52688
[startup+850.119 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10615 0 0 0 85000 26 0 0 25 0 1 0 831184051 54403072 10593 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13282 10593 1111 63 0 13219 0
vsize: 53128
[startup+860.118 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10731 0 0 0 86000 26 0 0 25 0 1 0 831184051 54853632 10709 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13392 10709 1111 63 0 13329 0
vsize: 53568
[startup+870.122 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10849 0 0 0 87000 26 0 0 25 0 1 0 831184051 55304192 10827 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 10827 1111 63 0 13439 0
vsize: 54008
[startup+880.121 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 10966 0 0 0 88000 27 0 0 25 0 1 0 831184051 55750656 10944 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13611 10944 1111 63 0 13548 0
vsize: 54444
[startup+890.122 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11084 0 0 0 89000 27 0 0 25 0 1 0 831184051 56201216 11062 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13721 11062 1111 63 0 13658 0
vsize: 54884
[startup+900.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11202 0 0 0 90000 27 0 0 25 0 1 0 831184051 56803328 11180 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 11180 1111 63 0 13805 0
vsize: 55472
[startup+910.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11318 0 0 0 91000 27 0 0 25 0 1 0 831184051 57253888 11296 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 11296 1111 63 0 13915 0
vsize: 55912
[startup+920.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11437 0 0 0 92000 27 0 0 25 0 1 0 831184051 57696256 11415 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14086 11415 1111 63 0 14023 0
vsize: 56344
[startup+930.122 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11554 0 0 0 93000 28 0 0 25 0 1 0 831184051 58122240 11532 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14190 11532 1111 63 0 14127 0
vsize: 56760
[startup+940.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11672 0 0 0 94000 28 0 0 25 0 1 0 831184051 58724352 11650 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14337 11650 1111 63 0 14274 0
vsize: 57348
[startup+950.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11788 0 0 0 95000 28 0 0 25 0 1 0 831184051 59170816 11766 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14446 11766 1111 63 0 14383 0
vsize: 57784
[startup+960.122 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 11907 0 0 0 96000 28 0 0 25 0 1 0 831184051 59621376 11885 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 11885 1111 63 0 14493 0
vsize: 58224
[startup+970.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12024 0 0 0 97000 28 0 0 25 0 1 0 831184051 60071936 12002 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14666 12002 1111 63 0 14603 0
vsize: 58664
[startup+980.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12142 0 0 0 98000 29 0 0 25 0 1 0 831184051 60522496 12120 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14776 12120 1111 63 0 14713 0
vsize: 59104
[startup+990.123 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12258 0 0 0 99000 29 0 0 25 0 1 0 831184051 61116416 12236 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14921 12236 1111 63 0 14858 0
vsize: 59684
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12377 0 0 0 100000 29 0 0 25 0 1 0 831184051 61571072 12355 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15032 12355 1111 63 0 14969 0
vsize: 60128
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12494 0 0 0 101000 29 0 0 25 0 1 0 831184051 62017536 12472 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15141 12472 1111 63 0 15078 0
vsize: 60564
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12613 0 0 0 102000 30 0 0 25 0 1 0 831184051 62472192 12591 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15252 12591 1111 63 0 15189 0
vsize: 61008
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12729 0 0 0 103000 30 0 0 25 0 1 0 831184051 62914560 12707 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15360 12707 1111 63 0 15297 0
vsize: 61440
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12848 0 0 0 103999 30 0 0 25 0 1 0 831184051 63516672 12826 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15507 12826 1111 63 0 15444 0
vsize: 62028
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 12964 0 0 0 104999 31 0 0 25 0 1 0 831184051 63967232 12942 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15617 12942 1111 63 0 15554 0
vsize: 62468
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13083 0 0 0 105999 31 0 0 25 0 1 0 831184051 64417792 13061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15727 13061 1111 63 0 15664 0
vsize: 62908
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13201 0 0 0 106999 31 0 0 25 0 1 0 831184051 64864256 13179 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15836 13179 1111 63 0 15773 0
vsize: 63344
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13319 0 0 0 107999 31 0 0 25 0 1 0 831184051 65314816 13297 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15946 13297 1111 63 0 15883 0
vsize: 63784
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13437 0 0 0 108999 31 0 0 25 0 1 0 831184051 65916928 13415 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16093 13415 1111 63 0 16030 0
vsize: 64372
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13560 0 0 0 109999 32 0 0 25 0 1 0 831184051 66367488 13538 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16203 13538 1111 63 0 16140 0
vsize: 64812
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13679 0 0 0 110999 32 0 0 25 0 1 0 831184051 66818048 13657 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16313 13657 1111 63 0 16250 0
vsize: 65252
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13795 0 0 0 111998 33 0 0 25 0 1 0 831184051 67264512 13773 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16422 13773 1111 63 0 16359 0
vsize: 65688
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 13920 0 0 0 112998 33 0 0 25 0 1 0 831184051 67866624 13898 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16569 13898 1111 63 0 16506 0
vsize: 66276
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14038 0 0 0 113998 33 0 0 25 0 1 0 831184051 68313088 14016 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16678 14016 1111 63 0 16615 0
vsize: 66712
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14156 0 0 0 114999 33 0 0 25 0 1 0 831184051 68767744 14134 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16789 14134 1111 63 0 16726 0
vsize: 67156
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14273 0 0 0 115998 33 0 0 25 0 1 0 831184051 69210112 14251 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16897 14251 1111 63 0 16834 0
vsize: 67588
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14392 0 0 0 116999 33 0 0 25 0 1 0 831184051 69812224 14370 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17044 14370 1111 63 0 16981 0
vsize: 68176
[startup+1180.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14516 0 0 0 117998 33 0 0 25 0 1 0 831184051 70262784 14494 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17154 14494 1111 63 0 17091 0
vsize: 68616
[startup+1190.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14634 0 0 0 118998 34 0 0 25 0 1 0 831184051 70713344 14612 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17264 14612 1111 63 0 17201 0
vsize: 69056
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 1.00 2/54 6414
Raw data (stat): 6412 (bsolo_mis) R 6411 5562 5561 0 -1 0 14758 0 0 0 119998 34 0 0 25 0 1 0 831184051 71315456 14736 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17411 14736 1111 63 0 17348 0
vsize: 69644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 1.00 1/54 6414
Raw data (stat): 6412 (bsolo_mis) Z 6411 5562 5561 0 -1 1036 14758 0 0 0 119998 37 0 0 25 0 1 0 831184051 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.36
CPU user time (s): 1199.99
CPU system time (s): 0.374943
CPU usage (%): 100.018
Max. virtual memory (Kb): 69644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####