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-momentum3.opb
MD5SUM	fd20bcfe4a71405dc1e0ef3cb894b630
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	87370
Biggest coefficient in the objective function	1310720000
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	13573186735
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	10240000000000000927712935936
Number of bits of the biggest number in a constraint	94
Biggest sum of numbers in a constraint	29801266744107043904416645120
Number of bits of the biggest sum of numbers	95
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.893863
Number of variables	93400
Total number of constraints	70153
Number of constraints which are clauses	6081
Number of constraints which are cardinality constraints (but not clauses)	7185
Number of constraints which are nor clauses,nor cardinality constraints	56887
Minimum length of a constraint	1
Maximum length of a constraint	1018
Trace number 26559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 16:09:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12769 boxname=wulflinc8 idbench=983 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fd20bcfe4a71405dc1e0ef3cb894b630  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-momentum3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-momentum3.opb
IDLAUNCH: 12769
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        300288 kB
Buffers:         34448 kB
Cached:         678260 kB
SwapCached:          0 kB
Active:         361240 kB
Inactive:       354440 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        300036 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            12940 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 16:29:47 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 12769 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): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (runsolver) R 4041 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 759780118 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.0052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 1061 0 0 0 997 2 0 0 25 0 1 0 759780118 16699392 1039 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4077 1039 1111 63 0 4014 0
vsize: 16308
[startup+20.0132 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 1460 0 0 0 1998 2 0 0 25 0 1 0 759780118 18333696 1438 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4476 1438 1111 63 0 4413 0
vsize: 17904
[startup+30.0127 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 1862 0 0 0 2997 3 0 0 25 0 1 0 759780118 19980288 1840 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4878 1840 1111 63 0 4815 0
vsize: 19512
[startup+40.0138 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 2261 0 0 0 3996 4 0 0 25 0 1 0 759780118 21614592 2239 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5277 2239 1111 63 0 5214 0
vsize: 21108
[startup+50.0142 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 2665 0 0 0 4997 4 0 0 25 0 1 0 759780118 23244800 2643 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5675 2643 1111 63 0 5612 0
vsize: 22700
[startup+60.014 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 3065 0 0 0 5996 5 0 0 25 0 1 0 759780118 24879104 3043 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6074 3043 1111 63 0 6011 0
vsize: 24296
[startup+70.0142 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 3514 0 0 0 6996 5 0 0 25 0 1 0 759780118 26669056 3492 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6511 3492 1111 63 0 6448 0
vsize: 26044
[startup+80.0146 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 4045 0 0 0 7995 6 0 0 25 0 1 0 759780118 28815360 4023 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7035 4023 1111 63 0 6972 0
vsize: 28140
[startup+90.0143 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 4571 0 0 0 8995 7 0 0 25 0 1 0 759780118 30965760 4549 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7560 4549 1111 63 0 7497 0
vsize: 30240
[startup+100.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 5068 0 0 0 9994 8 0 0 25 0 1 0 759780118 33075200 5046 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8075 5046 1111 63 0 8012 0
vsize: 32300
[startup+110.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 5563 0 0 0 10993 8 0 0 25 0 1 0 759780118 35078144 5541 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8564 5541 1111 63 0 8501 0
vsize: 34256
[startup+120.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 6068 0 0 0 11992 10 0 0 25 0 1 0 759780118 37216256 6046 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9086 6046 1111 63 0 9023 0
vsize: 36344
[startup+130.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 6570 0 0 0 12992 10 0 0 25 0 1 0 759780118 39215104 6548 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9574 6548 1111 63 0 9511 0
vsize: 38296
[startup+140.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 7080 0 0 0 13991 11 0 0 25 0 1 0 759780118 41353216 7058 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10096 7058 1111 63 0 10033 0
vsize: 40384
[startup+150.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 7576 0 0 0 14991 12 0 0 25 0 1 0 759780118 43331584 7554 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10579 7554 1111 63 0 10516 0
vsize: 42316
[startup+160.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 8084 0 0 0 15990 13 0 0 25 0 1 0 759780118 45465600 8062 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11100 8062 1111 63 0 11037 0
vsize: 44400
[startup+170.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 8593 0 0 0 16989 14 0 0 25 0 1 0 759780118 47472640 8571 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11590 8571 1111 63 0 11527 0
vsize: 46360
[startup+180.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 9113 0 0 0 17989 14 0 0 25 0 1 0 759780118 49729536 9091 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12141 9091 1111 63 0 12078 0
vsize: 48564
[startup+190.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 9621 0 0 0 18988 15 0 0 25 0 1 0 759780118 51728384 9599 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12629 9599 1111 63 0 12566 0
vsize: 50516
[startup+200.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 10144 0 0 0 19988 16 0 0 25 0 1 0 759780118 53866496 10122 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13151 10122 1111 63 0 13088 0
vsize: 52604
[startup+210.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 10654 0 0 0 20987 17 0 0 25 0 1 0 759780118 56004608 10632 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13673 10632 1111 63 0 13610 0
vsize: 54692
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 11177 0 0 0 21986 18 0 0 25 0 1 0 759780118 58142720 11155 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14195 11155 1111 63 0 14132 0
vsize: 56780
[startup+230.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 11686 0 0 0 22985 19 0 0 25 0 1 0 759780118 60141568 11664 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14683 11664 1111 63 0 14620 0
vsize: 58732
[startup+240.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 12209 0 0 0 23985 19 0 0 25 0 1 0 759780118 62275584 12187 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15204 12187 1111 63 0 15141 0
vsize: 60816
[startup+250.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 12730 0 0 0 24984 20 0 0 25 0 1 0 759780118 64409600 12708 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15725 12708 1111 63 0 15662 0
vsize: 62900
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 13254 0 0 0 25983 21 0 0 25 0 1 0 759780118 66551808 13232 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16248 13232 1111 63 0 16185 0
vsize: 64992
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 13776 0 0 0 26982 22 0 0 25 0 1 0 759780118 68685824 13754 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16769 13754 1111 63 0 16706 0
vsize: 67076
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 14304 0 0 0 27982 22 0 0 25 0 1 0 759780118 70955008 14282 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17323 14282 1111 63 0 17260 0
vsize: 69292
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 14835 0 0 0 28982 23 0 0 25 0 1 0 759780118 73097216 14813 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17846 14813 1111 63 0 17783 0
vsize: 71384
[startup+300.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 15368 0 0 0 29981 24 0 0 25 0 1 0 759780118 75231232 15346 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18367 15346 1111 63 0 18304 0
vsize: 73468
[startup+310.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 15898 0 0 0 30980 25 0 0 25 0 1 0 759780118 77369344 15876 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18889 15876 1111 63 0 18826 0
vsize: 75556
[startup+320.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 16427 0 0 0 31980 26 0 0 25 0 1 0 759780118 79638528 16405 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19443 16405 1111 63 0 19380 0
vsize: 77772
[startup+330.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 16969 0 0 0 32978 28 0 0 25 0 1 0 759780118 81776640 16947 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19965 16947 1111 63 0 19902 0
vsize: 79860
[startup+340.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 17509 0 0 0 33977 29 0 0 25 0 1 0 759780118 84045824 17487 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20519 17487 1111 63 0 20456 0
vsize: 82076
[startup+350.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 18063 0 0 0 34976 30 0 0 25 0 1 0 759780118 86396928 18041 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21093 18041 1111 63 0 21030 0
vsize: 84372
[startup+360.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 18598 0 0 0 35974 32 0 0 25 0 1 0 759780118 88530944 18576 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21614 18576 1111 63 0 21551 0
vsize: 86456
[startup+370.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 19148 0 0 0 36973 33 0 0 25 0 1 0 759780118 90808320 19126 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22170 19126 1111 63 0 22107 0
vsize: 88680
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 19689 0 0 0 37973 34 0 0 25 0 1 0 759780118 93077504 19667 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22724 19667 1111 63 0 22661 0
vsize: 90896
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 20232 0 0 0 38972 35 0 0 25 0 1 0 759780118 95236096 20210 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23251 20210 1111 63 0 23188 0
vsize: 93004
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 20781 0 0 0 39972 35 0 0 25 0 1 0 759780118 97509376 20759 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23806 20759 1111 63 0 23743 0
vsize: 95224
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 21330 0 0 0 40971 36 0 0 25 0 1 0 759780118 99782656 21308 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24361 21308 1111 63 0 24298 0
vsize: 97444
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 21884 0 0 0 41970 37 0 0 25 0 1 0 759780118 102051840 21862 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24915 21862 1111 63 0 24852 0
vsize: 99660
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 22441 0 0 0 42969 38 0 0 25 0 1 0 759780118 104325120 22419 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25470 22419 1111 63 0 25407 0
vsize: 101880
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 22995 0 0 0 43969 39 0 0 25 0 1 0 759780118 106594304 22973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26024 22973 1111 63 0 25961 0
vsize: 104096
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 23551 0 0 0 44968 40 0 0 25 0 1 0 759780118 108859392 23529 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26577 23529 1111 63 0 26514 0
vsize: 106308
[startup+460.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 24113 0 0 0 45967 41 0 0 25 0 1 0 759780118 111136768 24091 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27133 24091 1111 63 0 27070 0
vsize: 108532
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 24675 0 0 0 46967 42 0 0 25 0 1 0 759780118 113426432 24653 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27692 24653 1111 63 0 27629 0
vsize: 110768
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 25235 0 0 0 47966 43 0 0 25 0 1 0 759780118 115695616 25213 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28246 25213 1111 63 0 28183 0
vsize: 112984
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 25798 0 0 0 48965 44 0 0 25 0 1 0 759780118 117972992 25776 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28802 25776 1111 63 0 28739 0
vsize: 115208
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 26371 0 0 0 49965 45 0 0 25 0 1 0 759780118 120397824 26349 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29394 26349 1111 63 0 29331 0
vsize: 117576
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 26933 0 0 0 50963 46 0 0 25 0 1 0 759780118 122691584 26911 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29954 26911 1111 63 0 29891 0
vsize: 119816
[startup+520.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 27509 0 0 0 51963 47 0 0 25 0 1 0 759780118 124964864 27487 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30509 27487 1111 63 0 30446 0
vsize: 122036
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 28083 0 0 0 52961 48 0 0 25 0 1 0 759780118 127393792 28061 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31102 28061 1111 63 0 31039 0
vsize: 124408
[startup+540.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 28658 0 0 0 53960 50 0 0 25 0 1 0 759780118 129662976 28636 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31656 28636 1111 63 0 31593 0
vsize: 126624
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 29233 0 0 0 54960 50 0 0 25 0 1 0 759780118 132071424 29211 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32244 29211 1111 63 0 32181 0
vsize: 128976
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 29807 0 0 0 55959 52 0 0 25 0 1 0 759780118 134471680 29785 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32830 29785 1111 63 0 32767 0
vsize: 131320
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 30383 0 0 0 56958 53 0 0 25 0 1 0 759780118 136720384 30361 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33379 30361 1111 63 0 33316 0
vsize: 133516
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 30964 0 0 0 57958 53 0 0 25 0 1 0 759780118 139149312 30942 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33972 30942 1111 63 0 33909 0
vsize: 135888
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 31544 0 0 0 58957 54 0 0 25 0 1 0 759780118 141574144 31522 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34564 31522 1111 63 0 34501 0
vsize: 138256
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 32133 0 0 0 59956 55 0 0 25 0 1 0 759780118 143851520 32111 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35120 32111 1111 63 0 35057 0
vsize: 140480
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 32720 0 0 0 60954 56 0 0 25 0 1 0 759780118 146276352 32698 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35712 32698 1111 63 0 35649 0
vsize: 142848
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 33310 0 0 0 61953 57 0 0 25 0 1 0 759780118 148688896 33288 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36301 33288 1111 63 0 36238 0
vsize: 145204
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 33897 0 0 0 62952 58 0 0 25 0 1 0 759780118 151113728 33875 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36893 33875 1111 63 0 36830 0
vsize: 147572
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 34483 0 0 0 63952 59 0 0 25 0 1 0 759780118 153538560 34461 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37485 34461 1111 63 0 37422 0
vsize: 149940
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 35111 0 0 0 64951 59 0 0 25 0 1 0 759780118 156344320 35089 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38170 35089 1111 63 0 38107 0
vsize: 152680
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 35704 0 0 0 65950 61 0 0 25 0 1 0 759780118 158765056 35682 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38761 35682 1111 63 0 38698 0
vsize: 155044
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 36307 0 0 0 66949 62 0 0 25 0 1 0 759780118 161198080 36285 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39355 36285 1111 63 0 39292 0
vsize: 157420
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 36912 0 0 0 67948 63 0 0 25 0 1 0 759780118 163758080 36890 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39980 36890 1111 63 0 39917 0
vsize: 159920
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 37521 0 0 0 68947 65 0 0 25 0 1 0 759780118 166170624 37499 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40569 37499 1111 63 0 40506 0
vsize: 162276
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 38122 0 0 0 69946 66 0 0 25 0 1 0 759780118 168730624 38100 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41194 38100 1111 63 0 41131 0
vsize: 164776
[startup+710.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 38736 0 0 0 70945 67 0 0 25 0 1 0 759780118 171159552 38714 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41787 38714 1111 63 0 41724 0
vsize: 167148
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 39343 0 0 0 71944 68 0 0 25 0 1 0 759780118 173694976 39321 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42406 39321 1111 63 0 42343 0
vsize: 169624
[startup+730.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 39957 0 0 0 72944 69 0 0 25 0 1 0 759780118 176234496 39935 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43026 39935 1111 63 0 42963 0
vsize: 172104
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 40572 0 0 0 73943 70 0 0 25 0 1 0 759780118 178663424 40550 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43619 40550 1111 63 0 43556 0
vsize: 174476
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 41184 0 0 0 74942 71 0 0 25 0 1 0 759780118 181223424 41162 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44244 41162 1111 63 0 44181 0
vsize: 176976
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 41806 0 0 0 75941 72 0 0 25 0 1 0 759780118 183791616 41784 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44871 41784 1111 63 0 44808 0
vsize: 179484
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 42419 0 0 0 76940 73 0 0 25 0 1 0 759780118 186195968 42397 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45458 42397 1111 63 0 45395 0
vsize: 181832
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 43047 0 0 0 77939 74 0 0 25 0 1 0 759780118 188764160 43025 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46085 43025 1111 63 0 46022 0
vsize: 184340
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 43673 0 0 0 78938 76 0 0 25 0 1 0 759780118 191324160 43651 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46710 43651 1111 63 0 46647 0
vsize: 186840
[startup+800.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 44295 0 0 0 79937 77 0 0 25 0 1 0 759780118 193892352 44273 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47337 44273 1111 63 0 47274 0
vsize: 189348
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 44926 0 0 0 80935 79 0 0 25 0 1 0 759780118 196452352 44904 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47962 44906 1111 63 0 47899 0
vsize: 191848
[startup+820.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 45555 0 0 0 81935 79 0 0 25 0 1 0 759780118 199020544 45533 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48589 45533 1111 63 0 48526 0
vsize: 194356
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 46182 0 0 0 82934 81 0 0 25 0 1 0 759780118 201580544 46160 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49214 46160 1111 63 0 49151 0
vsize: 196856
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 46821 0 0 0 83933 82 0 0 25 0 1 0 759780118 204279808 46799 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49873 46799 1111 63 0 49810 0
vsize: 199492
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 47461 0 0 0 84932 83 0 0 25 0 1 0 759780118 206864384 47439 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50504 47439 1111 63 0 50441 0
vsize: 202016
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 48102 0 0 0 85931 84 0 0 25 0 1 0 759780118 209408000 48080 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51125 48080 1111 63 0 51062 0
vsize: 204500
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 48743 0 0 0 86929 85 0 0 25 0 1 0 759780118 212131840 48721 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51790 48721 1111 63 0 51727 0
vsize: 207160
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 49383 0 0 0 87929 86 0 0 25 0 1 0 759780118 214691840 49361 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52415 49361 1111 63 0 52352 0
vsize: 209660
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 50035 0 0 0 88928 87 0 0 25 0 1 0 759780118 217395200 50013 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53075 50013 1111 63 0 53012 0
vsize: 212300
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 50682 0 0 0 89928 88 0 0 25 0 1 0 759780118 219955200 50660 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53700 50660 1111 63 0 53637 0
vsize: 214800
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 51329 0 0 0 90927 89 0 0 25 0 1 0 759780118 222679040 51307 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54365 51307 1111 63 0 54302 0
vsize: 217460
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 51982 0 0 0 91926 90 0 0 25 0 1 0 759780118 225374208 51960 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55023 51960 1111 63 0 54960 0
vsize: 220092
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 52643 0 0 0 92925 91 0 0 25 0 1 0 759780118 228077568 52621 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55683 52621 1111 63 0 55620 0
vsize: 222732
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 53301 0 0 0 93924 92 0 0 25 0 1 0 759780118 230793216 53279 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56346 53279 1111 63 0 56283 0
vsize: 225384
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 53962 0 0 0 94923 93 0 0 25 0 1 0 759780118 233472000 53940 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57000 53940 1111 63 0 56937 0
vsize: 228000
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 54635 0 0 0 95922 95 0 0 25 0 1 0 759780118 236167168 54613 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57658 54613 1111 63 0 57595 0
vsize: 230632
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 55313 0 0 0 96920 97 0 0 25 0 1 0 759780118 239022080 55291 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58355 55291 1111 63 0 58292 0
vsize: 233420
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 56000 0 0 0 97919 98 0 0 25 0 1 0 759780118 241721344 55978 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59014 55978 1111 63 0 58951 0
vsize: 236056
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 56699 0 0 0 98918 100 0 0 25 0 1 0 759780118 244576256 56677 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59711 56677 1111 63 0 59648 0
vsize: 238844
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 57404 0 0 0 99917 101 0 0 25 0 1 0 759780118 247566336 57382 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60441 57382 1111 63 0 60378 0
vsize: 241764
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 58123 0 0 0 100916 102 0 0 25 0 1 0 759780118 250404864 58101 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61134 58101 1111 63 0 61071 0
vsize: 244536
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 58854 0 0 0 101915 103 0 0 25 0 1 0 759780118 253399040 58832 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61865 58832 1111 63 0 61802 0
vsize: 247460
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 59592 0 0 0 102914 104 0 0 25 0 1 0 759780118 256385024 59570 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62594 59570 1111 63 0 62531 0
vsize: 250376
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 60343 0 0 0 103914 105 0 0 25 0 1 0 759780118 259534848 60321 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63363 60321 1111 63 0 63300 0
vsize: 253452
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 61107 0 0 0 104913 106 0 0 25 0 1 0 759780118 262660096 61085 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64126 61085 1111 63 0 64063 0
vsize: 256504
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 61885 0 0 0 105912 106 0 0 25 0 1 0 759780118 265789440 61863 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64890 61863 1111 63 0 64827 0
vsize: 259560
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 62676 0 0 0 106911 108 0 0 25 0 1 0 759780118 269070336 62654 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65691 62654 1111 63 0 65628 0
vsize: 262764
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 63467 0 0 0 107910 109 0 0 25 0 1 0 759780118 272355328 63445 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66493 63445 1111 63 0 66430 0
vsize: 265972
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 64263 0 0 0 108909 110 0 0 25 0 1 0 759780118 275484672 64241 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67257 64241 1111 63 0 67194 0
vsize: 269028
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 65061 0 0 0 109908 112 0 0 25 0 1 0 759780118 278761472 65039 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68057 65039 1111 63 0 67994 0
vsize: 272228
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 65856 0 0 0 110907 113 0 0 25 0 1 0 759780118 282046464 65834 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68859 65834 1111 63 0 68796 0
vsize: 275436
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 66667 0 0 0 111905 115 0 0 25 0 1 0 759780118 285442048 66645 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69688 66645 1111 63 0 69625 0
vsize: 278752
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 67476 0 0 0 112904 116 0 0 25 0 1 0 759780118 288727040 67454 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70490 67454 1111 63 0 70427 0
vsize: 281960
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 68287 0 0 0 113903 117 0 0 25 0 1 0 759780118 291987456 68265 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71286 68265 1111 63 0 71223 0
vsize: 285144
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 69097 0 0 0 114902 118 0 0 25 0 1 0 759780118 295374848 69075 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72113 69075 1111 63 0 72050 0
vsize: 288452
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 70052 0 0 0 115901 120 0 0 25 0 1 0 759780118 299536384 69904 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73129 69904 1111 63 0 73066 0
vsize: 292516
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 70858 0 0 0 116900 121 0 0 25 0 1 0 759780118 302804992 70710 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73927 70710 1111 63 0 73864 0
vsize: 295708
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 71682 0 0 0 117899 122 0 0 25 0 1 0 759780118 306196480 71534 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74755 71534 1111 63 0 74692 0
vsize: 299020
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 72506 0 0 0 118898 123 0 0 25 0 1 0 759780118 309452800 72358 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75550 72358 1111 63 0 75487 0
vsize: 302200
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4042
Raw data (stat): 4042 (bsolo_mis) R 4041 3132 3131 0 -1 0 73337 0 0 0 119896 125 0 0 25 0 1 0 759780118 312872960 73189 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76385 73189 1111 63 0 76322 0
vsize: 305540
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 4042
Raw data (stat): 4042 (bsolo_mis) Z 4041 3132 3131 0 -1 1036 73337 0 0 0 119896 139 0 0 25 0 1 0 759780118 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.18
CPU time (s): 1200.36
CPU user time (s): 1198.97
CPU system time (s): 1.39279
CPU usage (%): 100.015
Max. virtual memory (Kb): 305540
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####