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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n370e.opb
MD5SUM	5298b427bf0fc38e6e22a1bd59273927
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39220173760
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39220173760
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.967852
Number of variables	105000
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	21
Maximum length of a constraint	2000
Trace number 26909

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 17:56:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19178 boxname=wulflinc7 idbench=1476 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5298b427bf0fc38e6e22a1bd59273927  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-n370e.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-n370e.opb
IDLAUNCH: 19178
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 2
cpu MHz		: 451.050
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:        697004 kB
Buffers:         35184 kB
Cached:         280780 kB
SwapCached:        100 kB
Active:          82780 kB
Inactive:       235928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        696752 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:             516 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13284 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:17:01 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19178 7 1200.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 29167
Raw data (stat): 29167 (runsolver) R 29166 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773997565 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.0001 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 1002 0 0 0 996 3 0 0 25 0 1 0 773997565 16048128 980 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+19.9998 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 1248 0 0 0 1995 3 0 0 25 0 1 0 773997565 17027072 1226 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 1492 0 0 0 2994 4 0 0 25 0 1 0 773997565 18026496 1470 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4401 1470 1111 63 0 4338 0
vsize: 17604
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 1740 0 0 0 3994 5 0 0 25 0 1 0 773997565 19013632 1718 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 1718 1111 63 0 4579 0
vsize: 18568
[startup+50.0074 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 1981 0 0 0 4994 5 0 0 25 0 1 0 773997565 20000768 1959 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0073 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 2234 0 0 0 5993 6 0 0 25 0 1 0 773997565 21123072 2212 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5157 2212 1111 63 0 5094 0
vsize: 20628
[startup+70.0073 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 2481 0 0 0 6992 7 0 0 25 0 1 0 773997565 22110208 2459 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2459 1111 63 0 5335 0
vsize: 21592
[startup+80.0075 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 2729 0 0 0 7992 8 0 0 25 0 1 0 773997565 23089152 2707 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2707 1111 63 0 5574 0
vsize: 22548
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 2976 0 0 0 8991 9 0 0 25 0 1 0 773997565 24076288 2954 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5878 2954 1111 63 0 5815 0
vsize: 23512
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 3224 0 0 0 9991 9 0 0 25 0 1 0 773997565 25063424 3202 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 3202 1111 63 0 6056 0
vsize: 24476
[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 3472 0 0 0 10990 10 0 0 25 0 1 0 773997565 26189824 3450 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3450 1111 63 0 6331 0
vsize: 25576
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 3727 0 0 0 11989 11 0 0 25 0 1 0 773997565 27197440 3705 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6640 3705 1111 63 0 6577 0
vsize: 26560
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 3982 0 0 0 12989 12 0 0 25 0 1 0 773997565 28184576 3960 4294967295 134512640 134714540 3221224592 3221222460 1077270041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6881 3960 1111 63 0 6818 0
vsize: 27524
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 4231 0 0 0 13989 12 0 0 25 0 1 0 773997565 29306880 4209 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7155 4209 1111 63 0 7092 0
vsize: 28620
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 4484 0 0 0 14988 12 0 0 25 0 1 0 773997565 30289920 4462 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 4462 1111 63 0 7332 0
vsize: 29580
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 4732 0 0 0 15988 13 0 0 25 0 1 0 773997565 31281152 4710 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7637 4710 1111 63 0 7574 0
vsize: 30548
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 4982 0 0 0 16987 14 0 0 25 0 1 0 773997565 32264192 4960 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7877 4960 1111 63 0 7814 0
vsize: 31508
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29167
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 5237 0 0 0 17987 14 0 0 25 0 1 0 773997565 33390592 5215 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8152 5215 1111 63 0 8089 0
vsize: 32608
[startup+190.01 s]
Raw data (loadavg): 1.07 0.99 0.91 4/59 29219
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 5491 0 0 0 18986 15 0 0 25 0 1 0 773997565 34377728 5469 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 5469 1111 63 0 8330 0
vsize: 33572
[startup+200.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 5752 0 0 0 19986 15 0 0 25 0 1 0 773997565 35508224 5730 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 5730 1111 63 0 8606 0
vsize: 34676
[startup+210.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 6001 0 0 0 20986 15 0 0 25 0 1 0 773997565 36487168 5979 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8908 5979 1111 63 0 8845 0
vsize: 35632
[startup+220.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 6260 0 0 0 21985 16 0 0 25 0 1 0 773997565 37613568 6238 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9183 6238 1111 63 0 9120 0
vsize: 36732
[startup+230.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 6526 0 0 0 22985 16 0 0 25 0 1 0 773997565 38641664 6504 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9434 6504 1111 63 0 9371 0
vsize: 37736
[startup+240.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 6787 0 0 0 23985 17 0 0 25 0 1 0 773997565 39768064 6765 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 6765 1111 63 0 9646 0
vsize: 38836
[startup+250.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 7043 0 0 0 24985 17 0 0 25 0 1 0 773997565 40751104 7021 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9949 7021 1111 63 0 9886 0
vsize: 39796
[startup+260.009 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29220
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 7306 0 0 0 25985 17 0 0 25 0 1 0 773997565 41877504 7284 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10224 7284 1111 63 0 10161 0
vsize: 40896
[startup+270.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 7567 0 0 0 26984 18 0 0 25 0 1 0 773997565 43008000 7545 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10500 7545 1111 63 0 10437 0
vsize: 42000
[startup+280.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 7823 0 0 0 27984 18 0 0 25 0 1 0 773997565 43995136 7801 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10741 7801 1111 63 0 10678 0
vsize: 42964
[startup+290.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 8085 0 0 0 28984 18 0 0 25 0 1 0 773997565 45121536 8063 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 8063 1111 63 0 10953 0
vsize: 44064
[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 8345 0 0 0 29984 19 0 0 25 0 1 0 773997565 46100480 8323 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11255 8323 1111 63 0 11192 0
vsize: 45020
[startup+310.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 8608 0 0 0 30984 19 0 0 25 0 1 0 773997565 47226880 8586 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11530 8586 1111 63 0 11467 0
vsize: 46120
[startup+320.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 8870 0 0 0 31983 19 0 0 25 0 1 0 773997565 48214016 8848 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 8848 1111 63 0 11708 0
vsize: 47084
[startup+330.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 9132 0 0 0 32983 20 0 0 25 0 1 0 773997565 49340416 9110 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9110 1111 63 0 11983 0
vsize: 48184
[startup+340.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 9395 0 0 0 33983 20 0 0 25 0 1 0 773997565 50466816 9373 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12321 9373 1111 63 0 12258 0
vsize: 49284
[startup+350.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 9656 0 0 0 34983 21 0 0 25 0 1 0 773997565 51453952 9634 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12562 9634 1111 63 0 12499 0
vsize: 50248
[startup+360.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 9925 0 0 0 35982 21 0 0 25 0 1 0 773997565 52580352 9903 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12837 9903 1111 63 0 12774 0
vsize: 51348
[startup+370.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 10188 0 0 0 36981 22 0 0 25 0 1 0 773997565 53706752 10166 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13112 10166 1111 63 0 13049 0
vsize: 52448
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 10450 0 0 0 37981 23 0 0 25 0 1 0 773997565 54693888 10428 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13353 10428 1111 63 0 13290 0
vsize: 53412
[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 10719 0 0 0 38981 23 0 0 25 0 1 0 773997565 55816192 10697 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13627 10697 1111 63 0 13564 0
vsize: 54508
[startup+400.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 10980 0 0 0 39981 24 0 0 25 0 1 0 773997565 56942592 10958 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13902 10958 1111 63 0 13839 0
vsize: 55608
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 11248 0 0 0 40980 24 0 0 25 0 1 0 773997565 57929728 11226 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14143 11226 1111 63 0 14080 0
vsize: 56572
[startup+420.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 11516 0 0 0 41980 24 0 0 25 0 1 0 773997565 59056128 11494 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11494 1111 63 0 14355 0
vsize: 57672
[startup+430.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 11784 0 0 0 42980 24 0 0 25 0 1 0 773997565 60182528 11762 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14693 11762 1111 63 0 14630 0
vsize: 58772
[startup+440.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 12064 0 0 0 43980 25 0 0 25 0 1 0 773997565 61419520 12042 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14995 12042 1111 63 0 14932 0
vsize: 59980
[startup+450.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 12339 0 0 0 44979 26 0 0 25 0 1 0 773997565 62545920 12317 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15270 12317 1111 63 0 15207 0
vsize: 61080
[startup+460.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 12602 0 0 0 45978 27 0 0 25 0 1 0 773997565 63672320 12580 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15545 12580 1111 63 0 15482 0
vsize: 62180
[startup+470.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 12877 0 0 0 46978 27 0 0 25 0 1 0 773997565 64798720 12855 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 12855 1111 63 0 15757 0
vsize: 63280
[startup+480.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 13146 0 0 0 47978 28 0 0 25 0 1 0 773997565 65925120 13124 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16095 13124 1111 63 0 16032 0
vsize: 64380
[startup+490.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 13416 0 0 0 48978 28 0 0 25 0 1 0 773997565 66912256 13394 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16336 13394 1111 63 0 16273 0
vsize: 65344
[startup+500.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 13691 0 0 0 49977 29 0 0 25 0 1 0 773997565 68030464 13669 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16609 13669 1111 63 0 16546 0
vsize: 66436
[startup+510.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 13959 0 0 0 50977 29 0 0 25 0 1 0 773997565 69156864 13937 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16884 13937 1111 63 0 16821 0
vsize: 67536
[startup+520.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 14228 0 0 0 51976 30 0 0 25 0 1 0 773997565 70283264 14206 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17159 14206 1111 63 0 17096 0
vsize: 68636
[startup+530.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 14504 0 0 0 52976 30 0 0 25 0 1 0 773997565 71413760 14482 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17435 14482 1111 63 0 17372 0
vsize: 69740
[startup+540.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 14780 0 0 0 53976 31 0 0 25 0 1 0 773997565 72540160 14758 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17710 14758 1111 63 0 17647 0
vsize: 70840
[startup+550.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 15056 0 0 0 54976 31 0 0 25 0 1 0 773997565 73666560 15034 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17985 15034 1111 63 0 17922 0
vsize: 71940
[startup+560.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29222
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 15332 0 0 0 55975 32 0 0 25 0 1 0 773997565 74792960 15310 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18260 15310 1111 63 0 18197 0
vsize: 73040
[startup+570.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 15607 0 0 0 56975 32 0 0 25 0 1 0 773997565 75919360 15585 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18535 15585 1111 63 0 18472 0
vsize: 74140
[startup+580.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 15883 0 0 0 57975 33 0 0 25 0 1 0 773997565 77045760 15861 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18810 15861 1111 63 0 18747 0
vsize: 75240
[startup+590.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 16159 0 0 0 58974 33 0 0 25 0 1 0 773997565 78172160 16137 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19085 16137 1111 63 0 19022 0
vsize: 76340
[startup+600.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 16434 0 0 0 59974 34 0 0 25 0 1 0 773997565 79298560 16412 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19360 16412 1111 63 0 19297 0
vsize: 77440
[startup+610.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 16712 0 0 0 60974 34 0 0 25 0 1 0 773997565 80424960 16690 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19635 16690 1111 63 0 19572 0
vsize: 78540
[startup+620.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 16987 0 0 0 61973 35 0 0 25 0 1 0 773997565 81551360 16965 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19910 16965 1111 63 0 19847 0
vsize: 79640
[startup+630.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 17269 0 0 0 62972 36 0 0 25 0 1 0 773997565 82677760 17247 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20185 17247 1111 63 0 20122 0
vsize: 80740
[startup+640.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 17552 0 0 0 63972 37 0 0 25 0 1 0 773997565 83808256 17530 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 17530 1111 63 0 20398 0
vsize: 81844
[startup+650.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 17828 0 0 0 64972 37 0 0 25 0 1 0 773997565 84934656 17806 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20736 17806 1111 63 0 20673 0
vsize: 82944
[startup+660.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 18111 0 0 0 65972 37 0 0 25 0 1 0 773997565 86200320 18089 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21045 18089 1111 63 0 20982 0
vsize: 84180
[startup+670.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 18393 0 0 0 66972 38 0 0 25 0 1 0 773997565 87326720 18371 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21320 18371 1111 63 0 21257 0
vsize: 85280
[startup+680.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 18676 0 0 0 67971 38 0 0 25 0 1 0 773997565 88449024 18654 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21594 18654 1111 63 0 21531 0
vsize: 86376
[startup+690.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 18958 0 0 0 68972 38 0 0 25 0 1 0 773997565 89575424 18936 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21869 18936 1111 63 0 21806 0
vsize: 87476
[startup+700.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 19240 0 0 0 69971 39 0 0 25 0 1 0 773997565 90701824 19218 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22144 19218 1111 63 0 22081 0
vsize: 88576
[startup+710.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 19524 0 0 0 70970 40 0 0 25 0 1 0 773997565 91967488 19502 4294967295 134512640 134714540 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22453 19502 1111 63 0 22390 0
vsize: 89812
[startup+720.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 19806 0 0 0 71970 40 0 0 25 0 1 0 773997565 93093888 19784 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22728 19784 1111 63 0 22665 0
vsize: 90912
[startup+730.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 20090 0 0 0 72970 40 0 0 25 0 1 0 773997565 94220288 20068 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23003 20068 1111 63 0 22940 0
vsize: 92012
[startup+740.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 20379 0 0 0 73970 41 0 0 25 0 1 0 773997565 95346688 20357 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23278 20357 1111 63 0 23215 0
vsize: 93112
[startup+750.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 20667 0 0 0 74970 41 0 0 25 0 1 0 773997565 96616448 20645 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23588 20645 1111 63 0 23525 0
vsize: 94352
[startup+760.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 20958 0 0 0 75969 42 0 0 25 0 1 0 773997565 97742848 20936 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23863 20936 1111 63 0 23800 0
vsize: 95452
[startup+770.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 21246 0 0 0 76969 42 0 0 25 0 1 0 773997565 99008512 21224 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24172 21224 1111 63 0 24109 0
vsize: 96688
[startup+780.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 21531 0 0 0 77969 42 0 0 25 0 1 0 773997565 100134912 21509 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24447 21509 1111 63 0 24384 0
vsize: 97788
[startup+790.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 21820 0 0 0 78968 43 0 0 25 0 1 0 773997565 101261312 21798 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24722 21798 1111 63 0 24659 0
vsize: 98888
[startup+800.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 22115 0 0 0 79968 44 0 0 25 0 1 0 773997565 102531072 22093 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25032 22093 1111 63 0 24969 0
vsize: 100128
[startup+810.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 22404 0 0 0 80967 44 0 0 25 0 1 0 773997565 103657472 22382 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25307 22382 1111 63 0 25244 0
vsize: 101228
[startup+820.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 22693 0 0 0 81967 45 0 0 25 0 1 0 773997565 104923136 22671 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25616 22671 1111 63 0 25553 0
vsize: 102464
[startup+830.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 23016 0 0 0 82967 45 0 0 25 0 1 0 773997565 106409984 22994 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25979 22994 1111 63 0 25916 0
vsize: 103916
[startup+840.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 23305 0 0 0 83966 46 0 0 25 0 1 0 773997565 107675648 23283 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26288 23283 1111 63 0 26225 0
vsize: 105152
[startup+850.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 23602 0 0 0 84965 47 0 0 25 0 1 0 773997565 108802048 23580 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26563 23580 1111 63 0 26500 0
vsize: 106252
[startup+860.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 23898 0 0 0 85965 47 0 0 25 0 1 0 773997565 110071808 23876 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26873 23876 1111 63 0 26810 0
vsize: 107492
[startup+870.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 24188 0 0 0 86965 48 0 0 25 0 1 0 773997565 111198208 24166 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27148 24166 1111 63 0 27085 0
vsize: 108592
[startup+880.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 24484 0 0 0 87964 48 0 0 25 0 1 0 773997565 112463872 24462 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27457 24462 1111 63 0 27394 0
vsize: 109828
[startup+890.005 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 24780 0 0 0 88964 49 0 0 25 0 1 0 773997565 113590272 24758 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27732 24758 1111 63 0 27669 0
vsize: 110928
[startup+900.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 25078 0 0 0 89964 49 0 0 25 0 1 0 773997565 114860032 25056 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28042 25056 1111 63 0 27979 0
vsize: 112168
[startup+910.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 25373 0 0 0 90963 50 0 0 25 0 1 0 773997565 116125696 25351 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28351 25351 1111 63 0 28288 0
vsize: 113404
[startup+920.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 25671 0 0 0 91963 51 0 0 25 0 1 0 773997565 117252096 25649 4294967295 134512640 134714540 3221224592 3221222928 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28626 25649 1111 63 0 28563 0
vsize: 114504
[startup+930.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 25967 0 0 0 92962 51 0 0 25 0 1 0 773997565 118517760 25945 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28935 25945 1111 63 0 28872 0
vsize: 115740
[startup+940.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 26270 0 0 0 93962 52 0 0 25 0 1 0 773997565 119783424 26248 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29244 26248 1111 63 0 29181 0
vsize: 116976
[startup+950.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 26567 0 0 0 94962 52 0 0 25 0 1 0 773997565 120913920 26545 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29520 26545 1111 63 0 29457 0
vsize: 118080
[startup+960.004 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 26863 0 0 0 95961 53 0 0 25 0 1 0 773997565 122179584 26841 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29829 26841 1111 63 0 29766 0
vsize: 119316
[startup+970.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 27167 0 0 0 96960 54 0 0 25 0 1 0 773997565 123445248 27145 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30138 27145 1111 63 0 30075 0
vsize: 120552
[startup+980.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 27469 0 0 0 97960 55 0 0 25 0 1 0 773997565 124571648 27447 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30413 27447 1111 63 0 30350 0
vsize: 121652
[startup+990.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 27774 0 0 0 98960 55 0 0 25 0 1 0 773997565 125841408 27752 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30723 27752 1111 63 0 30660 0
vsize: 122892
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 28076 0 0 0 99960 55 0 0 25 0 1 0 773997565 127107072 28054 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31032 28054 1111 63 0 30969 0
vsize: 124128
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 28379 0 0 0 100960 56 0 0 25 0 1 0 773997565 128372736 28357 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31341 28357 1111 63 0 31278 0
vsize: 125364
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 28683 0 0 0 101959 56 0 0 25 0 1 0 773997565 129638400 28661 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31650 28661 1111 63 0 31587 0
vsize: 126600
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 28985 0 0 0 102960 57 0 0 25 0 1 0 773997565 130768896 28963 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31926 28963 1111 63 0 31863 0
vsize: 127704
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 29292 0 0 0 103959 57 0 0 25 0 1 0 773997565 132034560 29270 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32235 29270 1111 63 0 32172 0
vsize: 128940
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 29594 0 0 0 104959 58 0 0 25 0 1 0 773997565 133300224 29572 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32544 29572 1111 63 0 32481 0
vsize: 130176
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 29904 0 0 0 105958 59 0 0 25 0 1 0 773997565 134574080 29882 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32855 29882 1111 63 0 32792 0
vsize: 131420
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 30207 0 0 0 106958 59 0 0 25 0 1 0 773997565 135839744 30185 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33164 30185 1111 63 0 33101 0
vsize: 132656
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 30518 0 0 0 107958 59 0 0 25 0 1 0 773997565 137109504 30496 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33474 30496 1111 63 0 33411 0
vsize: 133896
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 30821 0 0 0 108957 60 0 0 25 0 1 0 773997565 138375168 30799 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33783 30799 1111 63 0 33720 0
vsize: 135132
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 31130 0 0 0 109956 62 0 0 25 0 1 0 773997565 139640832 31108 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34092 31108 1111 63 0 34029 0
vsize: 136368
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 31441 0 0 0 110956 62 0 0 25 0 1 0 773997565 140906496 31419 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34401 31419 1111 63 0 34338 0
vsize: 137604
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 31757 0 0 0 111956 62 0 0 25 0 1 0 773997565 142176256 31735 4294967295 134512640 134714540 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34711 31735 1111 63 0 34648 0
vsize: 138844
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 32062 0 0 0 112956 63 0 0 25 0 1 0 773997565 143441920 32040 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35020 32040 1111 63 0 34957 0
vsize: 140080
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 32378 0 0 0 113955 63 0 0 25 0 1 0 773997565 144711680 32356 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35330 32356 1111 63 0 35267 0
vsize: 141320
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 32689 0 0 0 114955 64 0 0 25 0 1 0 773997565 145977344 32667 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35639 32667 1111 63 0 35576 0
vsize: 142556
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 32999 0 0 0 115954 65 0 0 25 0 1 0 773997565 147243008 32977 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35948 32977 1111 63 0 35885 0
vsize: 143792
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 33316 0 0 0 116954 65 0 0 25 0 1 0 773997565 148508672 33294 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36257 33294 1111 63 0 36194 0
vsize: 145028
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 33632 0 0 0 117954 66 0 0 25 0 1 0 773997565 149778432 33610 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36567 33610 1111 63 0 36504 0
vsize: 146268
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 33943 0 0 0 118953 66 0 0 25 0 1 0 773997565 151044096 33921 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36876 33921 1111 63 0 36813 0
vsize: 147504
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29224
Raw data (stat): 29167 (bsolo_mis) R 29166 24300 24299 0 -1 0 34260 0 0 0 119953 66 0 0 25 0 1 0 773997565 152309760 34238 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37185 34238 1111 63 0 37122 0
vsize: 148740
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 29224
Raw data (stat): 29167 (bsolo_mis) Z 29166 24300 24299 0 -1 1036 34260 0 0 0 119953 73 0 0 25 0 1 0 773997565 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.08
CPU time (s): 1200.27
CPU user time (s): 1199.54
CPU system time (s): 0.732888
CPU usage (%): 100.016
Max. virtual memory (Kb): 148740
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####