PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb
MD5SUM	4d1c8086316d85cb5ef2a3148b52a8a1
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	85408
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807849934732110331904
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6807849934732110331904
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.91486
Number of variables	85198
Total number of constraints	37291
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	35639
Number of constraints which are nor clauses,nor cardinality constraints	1652
Minimum length of a constraint	1
Maximum length of a constraint	35129
Trace number 27960

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 23:49:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15083 boxname=wulflinc19 idbench=1161 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4d1c8086316d85cb5ef2a3148b52a8a1  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-dc1l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-dc1l.opb
IDLAUNCH: 15083
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        830540 kB
Buffers:         31164 kB
Cached:         145252 kB
SwapCached:        520 kB
Active:          49284 kB
Inactive:       129532 kB
HighTotal:      131008 kB
HighFree:        15484 kB
LowTotal:       903652 kB
LowFree:        815056 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5672 kB
Slab:            19488 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:09:46 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 15083 7 1200.56 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.87 0.94 0.90 2/54 16461
Raw data (stat): 16461 (runsolver) R 16460 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834320318 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 1561 0 0 0 995 4 0 0 25 0 1 0 834320318 17899520 1539 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4370 1539 1111 63 0 4307 0
vsize: 17480
[startup+20.0019 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 2296 0 0 0 1994 5 0 0 25 0 1 0 834320318 20885504 2274 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5099 2274 1111 63 0 5036 0
vsize: 20396
[startup+30.0017 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 3032 0 0 0 2992 7 0 0 25 0 1 0 834320318 24023040 3010 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5865 3010 1111 63 0 5802 0
vsize: 23460
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 3761 0 0 0 3991 8 0 0 25 0 1 0 834320318 27009024 3739 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6594 3739 1111 63 0 6531 0
vsize: 26376
[startup+50.0033 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 4489 0 0 0 4990 10 0 0 25 0 1 0 834320318 29990912 4467 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7322 4467 1111 63 0 7259 0
vsize: 29288
[startup+60.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 5225 0 0 0 5988 12 0 0 25 0 1 0 834320318 32980992 5203 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8052 5203 1111 63 0 7989 0
vsize: 32208
[startup+70.004 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 5960 0 0 0 6986 14 0 0 25 0 1 0 834320318 35966976 5938 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8781 5938 1111 63 0 8718 0
vsize: 35124
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 6695 0 0 0 7984 15 0 0 25 0 1 0 834320318 38948864 6673 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9509 6673 1111 63 0 9446 0
vsize: 38036
[startup+90.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 7433 0 0 0 8983 17 0 0 25 0 1 0 834320318 41926656 7411 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10236 7411 1111 63 0 10173 0
vsize: 40944
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 8169 0 0 0 9982 18 0 0 25 0 1 0 834320318 45060096 8147 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11001 8147 1111 63 0 10938 0
vsize: 44004
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 8909 0 0 0 10981 20 0 0 25 0 1 0 834320318 48041984 8887 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11729 8887 1111 63 0 11666 0
vsize: 46916
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 9650 0 0 0 11980 21 0 0 25 0 1 0 834320318 51032064 9628 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12459 9628 1111 63 0 12396 0
vsize: 49836
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 10392 0 0 0 12978 22 0 0 25 0 1 0 834320318 54169600 10370 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13225 10370 1111 63 0 13162 0
vsize: 52900
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 11133 0 0 0 13977 24 0 0 25 0 1 0 834320318 57155584 11111 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13954 11111 1111 63 0 13891 0
vsize: 55816
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 11874 0 0 0 14976 25 0 0 25 0 1 0 834320318 60137472 11852 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14682 11852 1111 63 0 14619 0
vsize: 58728
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 12621 0 0 0 15975 27 0 0 25 0 1 0 834320318 63275008 12599 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15448 12599 1111 63 0 15385 0
vsize: 61792
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 13374 0 0 0 16973 28 0 0 25 0 1 0 834320318 66260992 13352 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16177 13352 1111 63 0 16114 0
vsize: 64708
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 14121 0 0 0 17972 29 0 0 25 0 1 0 834320318 69398528 14099 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 14099 1111 63 0 16880 0
vsize: 67772
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 14869 0 0 0 18971 31 0 0 25 0 1 0 834320318 72380416 14847 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17671 14847 1111 63 0 17608 0
vsize: 70684
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 15610 0 0 0 19970 32 0 0 25 0 1 0 834320318 75517952 15588 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18437 15588 1111 63 0 18374 0
vsize: 73748
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 16358 0 0 0 20968 34 0 0 25 0 1 0 834320318 78508032 16336 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19167 16336 1111 63 0 19104 0
vsize: 76668
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 17306 0 0 0 21967 36 0 0 25 0 1 0 834320318 82386944 17284 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20114 17284 1111 63 0 20051 0
vsize: 80456
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 18179 0 0 0 22965 38 0 0 25 0 1 0 834320318 85966848 18157 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20988 18157 1111 63 0 20925 0
vsize: 83952
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 18927 0 0 0 23963 40 0 0 25 0 1 0 834320318 89104384 18905 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21754 18905 1111 63 0 21691 0
vsize: 87016
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 19681 0 0 0 24961 42 0 0 25 0 1 0 834320318 92090368 19659 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22483 19659 1111 63 0 22420 0
vsize: 89932
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 20434 0 0 0 25959 44 0 0 25 0 1 0 834320318 95227904 20412 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23249 20412 1111 63 0 23186 0
vsize: 92996
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 21498 0 0 0 26956 47 0 0 25 0 1 0 834320318 99557376 21476 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24306 21476 1111 63 0 24243 0
vsize: 97224
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 22250 0 0 0 27955 48 0 0 25 0 1 0 834320318 102690816 22228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25071 22228 1111 63 0 25008 0
vsize: 100284
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 23010 0 0 0 28954 49 0 0 25 0 1 0 834320318 105824256 22988 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25836 22988 1111 63 0 25773 0
vsize: 103344
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 23909 0 0 0 29952 51 0 0 25 0 1 0 834320318 109412352 23887 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26712 23887 1111 63 0 26649 0
vsize: 106848
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 24996 0 0 0 30951 53 0 0 25 0 1 0 834320318 113889280 24974 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27805 24974 1111 63 0 27742 0
vsize: 111220
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 25769 0 0 0 31949 55 0 0 25 0 1 0 834320318 117174272 25747 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28607 25747 1111 63 0 28544 0
vsize: 114428
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 26527 0 0 0 32947 57 0 0 25 0 1 0 834320318 120156160 26505 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29335 26505 1111 63 0 29272 0
vsize: 117340
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 27305 0 0 0 33946 59 0 0 25 0 1 0 834320318 123441152 27283 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30137 27283 1111 63 0 30074 0
vsize: 120548
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 28265 0 0 0 34943 61 0 0 25 0 1 0 834320318 127324160 28243 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31085 28243 1111 63 0 31022 0
vsize: 124340
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 29032 0 0 0 35942 62 0 0 25 0 1 0 834320318 130461696 29010 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31851 29010 1111 63 0 31788 0
vsize: 127404
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 29804 0 0 0 36941 64 0 0 25 0 1 0 834320318 133599232 29782 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32617 29782 1111 63 0 32554 0
vsize: 130468
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 30568 0 0 0 37940 65 0 0 25 0 1 0 834320318 136728576 30546 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33381 30546 1111 63 0 33318 0
vsize: 133524
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 31341 0 0 0 38938 67 0 0 25 0 1 0 834320318 139866112 31319 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34147 31319 1111 63 0 34084 0
vsize: 136588
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 32514 0 0 0 39936 70 0 0 25 0 1 0 834320318 144793600 32492 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35350 32492 1111 63 0 35287 0
vsize: 141400
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 33352 0 0 0 40934 72 0 0 25 0 1 0 834320318 148226048 33330 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36188 33330 1111 63 0 36125 0
vsize: 144752
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 34124 0 0 0 41933 73 0 0 25 0 1 0 834320318 151363584 34102 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36954 34102 1111 63 0 36891 0
vsize: 147816
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 34902 0 0 0 42932 74 0 0 25 0 1 0 834320318 154501120 34880 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37720 34880 1111 63 0 37657 0
vsize: 150880
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 35674 0 0 0 43930 76 0 0 25 0 1 0 834320318 157630464 35652 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38484 35652 1111 63 0 38421 0
vsize: 153936
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 36531 0 0 0 44928 78 0 0 25 0 1 0 834320318 161214464 36509 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39359 36509 1111 63 0 39296 0
vsize: 157436
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 37328 0 0 0 45927 80 0 0 25 0 1 0 834320318 164503552 37306 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40162 37306 1111 63 0 40099 0
vsize: 160648
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 38100 0 0 0 46926 81 0 0 25 0 1 0 834320318 167641088 38078 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40928 38078 1111 63 0 40865 0
vsize: 163712
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 38870 0 0 0 47925 82 0 0 25 0 1 0 834320318 170770432 38848 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41692 38848 1111 63 0 41629 0
vsize: 166768
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 39648 0 0 0 48924 84 0 0 25 0 1 0 834320318 173907968 39626 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42458 39626 1111 63 0 42395 0
vsize: 169832
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 40760 0 0 0 49922 86 0 0 25 0 1 0 834320318 178536448 40738 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43588 40738 1111 63 0 43525 0
vsize: 174352
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 41660 0 0 0 50920 88 0 0 25 0 1 0 834320318 182120448 41638 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44463 41638 1111 63 0 44400 0
vsize: 177852
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 42438 0 0 0 51919 89 0 0 25 0 1 0 834320318 185405440 42416 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45265 42416 1111 63 0 45202 0
vsize: 181060
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 43222 0 0 0 52918 91 0 0 25 0 1 0 834320318 188542976 43200 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46031 43200 1111 63 0 45968 0
vsize: 184124
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 44065 0 0 0 53917 92 0 0 25 0 1 0 834320318 191971328 44043 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46868 44043 1111 63 0 46805 0
vsize: 187472
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 45245 0 0 0 54915 94 0 0 25 0 1 0 834320318 196902912 45223 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48072 45223 1111 63 0 48009 0
vsize: 192288
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 46028 0 0 0 55914 95 0 0 25 0 1 0 834320318 200036352 46006 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48837 46006 1111 63 0 48774 0
vsize: 195348
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 46812 0 0 0 56913 96 0 0 25 0 1 0 834320318 203321344 46790 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49639 46790 1111 63 0 49576 0
vsize: 198556
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 47596 0 0 0 57912 98 0 0 25 0 1 0 834320318 206458880 47574 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50405 47574 1111 63 0 50342 0
vsize: 201620
[startup+590.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 48386 0 0 0 58911 99 0 0 25 0 1 0 834320318 209743872 48364 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51207 48364 1111 63 0 51144 0
vsize: 204828
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 49175 0 0 0 59910 100 0 0 25 0 1 0 834320318 213024768 49153 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52008 49153 1111 63 0 51945 0
vsize: 208032
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16461
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 49975 0 0 0 60909 101 0 0 25 0 1 0 834320318 216330240 49953 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52815 49953 1111 63 0 52752 0
vsize: 211260
[startup+620.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16465
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 50772 0 0 0 61912 103 0 0 25 0 1 0 834320318 219615232 50750 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53617 50750 1111 63 0 53554 0
vsize: 214468
[startup+630.079 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 51575 0 0 0 62911 104 0 0 25 0 1 0 834320318 222904320 51553 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54420 51553 1111 63 0 54357 0
vsize: 217680
[startup+640.08 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 52363 0 0 0 63910 106 0 0 25 0 1 0 834320318 226033664 52341 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55184 52341 1111 63 0 55121 0
vsize: 220736
[startup+650.079 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 53160 0 0 0 64909 107 0 0 25 0 1 0 834320318 229318656 53138 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55986 53138 1111 63 0 55923 0
vsize: 223944
[startup+660.085 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 53956 0 0 0 65907 109 0 0 25 0 1 0 834320318 232607744 53934 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56789 53934 1111 63 0 56726 0
vsize: 227156
[startup+670.085 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 54892 0 0 0 66906 111 0 0 25 0 1 0 834320318 236490752 54870 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57737 54870 1111 63 0 57674 0
vsize: 230948
[startup+680.085 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 55695 0 0 0 67905 112 0 0 25 0 1 0 834320318 239775744 55673 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58539 55673 1111 63 0 58476 0
vsize: 234156
[startup+690.086 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16514
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 56496 0 0 0 68904 114 0 0 25 0 1 0 834320318 243056640 56474 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59340 56474 1111 63 0 59277 0
vsize: 237360
[startup+700.087 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 57365 0 0 0 69902 115 0 0 25 0 1 0 834320318 246489088 57343 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60178 57343 1111 63 0 60115 0
vsize: 240712
[startup+710.087 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 58241 0 0 0 70902 116 0 0 25 0 1 0 834320318 250073088 58219 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61053 58219 1111 63 0 60990 0
vsize: 244212
[startup+720.087 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 59049 0 0 0 71900 117 0 0 25 0 1 0 834320318 253509632 59027 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61892 59027 1111 63 0 61829 0
vsize: 247568
[startup+730.088 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 59863 0 0 0 72899 119 0 0 25 0 1 0 834320318 256794624 59841 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62694 59841 1111 63 0 62631 0
vsize: 250776
[startup+740.096 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 60670 0 0 0 73898 121 0 0 25 0 1 0 834320318 260075520 60648 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63495 60648 1111 63 0 63432 0
vsize: 253980
[startup+750.096 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 61509 0 0 0 74898 122 0 0 25 0 1 0 834320318 263512064 61487 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64334 61487 1111 63 0 64271 0
vsize: 257336
[startup+760.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 62324 0 0 0 75896 123 0 0 25 0 1 0 834320318 266797056 62302 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65136 62302 1111 63 0 65073 0
vsize: 260544
[startup+770.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 63345 0 0 0 76894 125 0 0 25 0 1 0 834320318 270979072 63323 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66157 63323 1111 63 0 66094 0
vsize: 264628
[startup+780.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 64160 0 0 0 77893 127 0 0 25 0 1 0 834320318 274411520 64138 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66995 64138 1111 63 0 66932 0
vsize: 267980
[startup+790.099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 64981 0 0 0 78892 128 0 0 25 0 1 0 834320318 277696512 64959 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67797 64959 1111 63 0 67734 0
vsize: 271188
[startup+800.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 65891 0 0 0 79891 129 0 0 25 0 1 0 834320318 281423872 65869 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68707 65869 1111 63 0 68644 0
vsize: 274828
[startup+810.108 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 66711 0 0 0 80891 130 0 0 25 0 1 0 834320318 284860416 66689 4294967295 134512640 134714540 3221224592 3221222460 1077245729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69546 66689 1111 63 0 69483 0
vsize: 278184
[startup+820.109 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 67598 0 0 0 81889 132 0 0 25 0 1 0 834320318 288444416 67576 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70421 67576 1111 63 0 70358 0
vsize: 281684
[startup+830.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 68420 0 0 0 82889 133 0 0 25 0 1 0 834320318 291880960 68398 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71260 68398 1111 63 0 71197 0
vsize: 285040
[startup+840.111 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 69259 0 0 0 83887 135 0 0 25 0 1 0 834320318 295317504 69237 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72099 69237 1111 63 0 72036 0
vsize: 288396
[startup+850.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 70085 0 0 0 84885 137 0 0 25 0 1 0 834320318 298594304 70063 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72899 70063 1111 63 0 72836 0
vsize: 291596
[startup+860.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 70917 0 0 0 85884 138 0 0 25 0 1 0 834320318 302030848 70895 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73738 70895 1111 63 0 73675 0
vsize: 294952
[startup+870.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 71774 0 0 0 86883 140 0 0 25 0 1 0 834320318 305614848 71752 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74613 71752 1111 63 0 74550 0
vsize: 298452
[startup+880.112 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 72607 0 0 0 87881 142 0 0 25 0 1 0 834320318 308899840 72585 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75415 72585 1111 63 0 75352 0
vsize: 301660
[startup+890.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 73451 0 0 0 88879 144 0 0 25 0 1 0 834320318 312483840 73429 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76290 73429 1111 63 0 76227 0
vsize: 305160
[startup+900.138 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 74334 0 0 0 89879 147 0 0 25 0 1 0 834320318 316067840 74312 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77165 74312 1111 63 0 77102 0
vsize: 308660
[startup+910.139 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 75219 0 0 0 90878 148 0 0 25 0 1 0 834320318 319647744 75197 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78039 75197 1111 63 0 77976 0
vsize: 312156
[startup+920.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 76064 0 0 0 91877 150 0 0 25 0 1 0 834320318 323084288 76042 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78878 76042 1111 63 0 78815 0
vsize: 315512
[startup+930.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 76910 0 0 0 92876 151 0 0 25 0 1 0 834320318 326516736 76888 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79716 76888 1111 63 0 79653 0
vsize: 318864
[startup+940.141 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 77748 0 0 0 93875 152 0 0 25 0 1 0 834320318 329953280 77726 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80555 77726 1111 63 0 80492 0
vsize: 322220
[startup+950.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16516
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 78593 0 0 0 94874 154 0 0 25 0 1 0 834320318 333537280 78571 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81430 78571 1111 63 0 81367 0
vsize: 325720
[startup+960.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 79442 0 0 0 95873 156 0 0 25 0 1 0 834320318 336965632 79420 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82267 79420 1111 63 0 82204 0
vsize: 329068
[startup+970.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 80288 0 0 0 96871 158 0 0 25 0 1 0 834320318 340402176 80266 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83106 80266 1111 63 0 83043 0
vsize: 332424
[startup+980.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 81139 0 0 0 97870 159 0 0 25 0 1 0 834320318 343838720 81117 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83945 81117 1111 63 0 83882 0
vsize: 335780
[startup+990.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 82032 0 0 0 98868 161 0 0 25 0 1 0 834320318 347570176 82010 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84856 82010 1111 63 0 84793 0
vsize: 339424
[startup+1000.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 82890 0 0 0 99868 162 0 0 25 0 1 0 834320318 351006720 82868 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85695 82868 1111 63 0 85632 0
vsize: 342780
[startup+1010.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 83892 0 0 0 100867 164 0 0 25 0 1 0 834320318 355184640 83870 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86715 83870 1111 63 0 86652 0
vsize: 346860
[startup+1020.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 84761 0 0 0 101865 166 0 0 25 0 1 0 834320318 358768640 84739 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87590 84739 1111 63 0 87527 0
vsize: 350360
[startup+1030.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 85758 0 0 0 102864 167 0 0 25 0 1 0 834320318 362803200 85736 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88575 85736 1111 63 0 88512 0
vsize: 354300
[startup+1040.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 86614 0 0 0 103863 169 0 0 25 0 1 0 834320318 366379008 86592 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89448 86592 1111 63 0 89385 0
vsize: 357792
[startup+1050.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 87507 0 0 0 104861 171 0 0 25 0 1 0 834320318 369963008 87485 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90323 87485 1111 63 0 90260 0
vsize: 361292
[startup+1060.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 88419 0 0 0 105859 173 0 0 25 0 1 0 834320318 373698560 88397 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91235 88397 1111 63 0 91172 0
vsize: 364940
[startup+1070.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 89404 0 0 0 106857 175 0 0 25 0 1 0 834320318 377729024 89382 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92219 89382 1111 63 0 92156 0
vsize: 368876
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 90449 0 0 0 107855 178 0 0 25 0 1 0 834320318 382058496 90427 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93276 90427 1111 63 0 93213 0
vsize: 373104
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 91318 0 0 0 108853 179 0 0 25 0 1 0 834320318 385642496 91296 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94151 91296 1111 63 0 94088 0
vsize: 376604
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 92272 0 0 0 109852 181 0 0 25 0 1 0 834320318 389525504 92250 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95099 92250 1111 63 0 95036 0
vsize: 380396
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 93372 0 0 0 110850 183 0 0 25 0 1 0 834320318 394002432 93350 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96192 93350 1111 63 0 96129 0
vsize: 384768
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 94277 0 0 0 111849 184 0 0 25 0 1 0 834320318 397737984 94255 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97104 94255 1111 63 0 97041 0
vsize: 388416
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 95152 0 0 0 112848 185 0 0 25 0 1 0 834320318 401321984 95130 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97979 95130 1111 63 0 97916 0
vsize: 391916
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 96044 0 0 0 113847 187 0 0 25 0 1 0 834320318 404901888 96022 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98853 96022 1111 63 0 98790 0
vsize: 395412
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 96967 0 0 0 114846 189 0 0 25 0 1 0 834320318 408780800 96945 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99800 96945 1111 63 0 99737 0
vsize: 399200
[startup+1160.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 97861 0 0 0 115844 191 0 0 25 0 1 0 834320318 412364800 97839 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100675 97839 1111 63 0 100612 0
vsize: 402700
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 98852 0 0 0 116843 192 0 0 25 0 1 0 834320318 416616448 98830 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101713 98830 1111 63 0 101650 0
vsize: 406852
[startup+1180.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 99781 0 0 0 117842 193 0 0 25 0 1 0 834320318 420347904 99759 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102624 99759 1111 63 0 102561 0
vsize: 410496
[startup+1190.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 100669 0 0 0 118841 195 0 0 25 0 1 0 834320318 423931904 100647 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103499 100647 1111 63 0 103436 0
vsize: 413996
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 16518
Raw data (stat): 16461 (bsolo_mis) R 16460 10795 10794 0 -1 0 101580 0 0 0 119840 196 0 0 25 0 1 0 834320318 427667456 101558 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104411 101558 1111 63 0 104348 0
vsize: 417644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.38 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 16518
Raw data (stat): 16461 (bsolo_mis) Z 16460 10795 10794 0 -1 1036 101580 0 0 0 119840 214 0 0 25 0 1 0 834320318 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.38
CPU time (s): 1200.56
CPU user time (s): 1198.41
CPU system time (s): 2.14667
CPU usage (%): 100.015
Max. virtual memory (Kb): 417644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####