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/submitted/manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM	bf7f8537c6faa135d25c67c53576abb5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	49
Optimality of the best value was proved	NO
Number of terms in the objective function	608
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	608
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	608
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	607
Total number of constraints	1053
Number of constraints which are clauses	1022
Number of constraints which are cardinality constraints (but not clauses)	31
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	32
Trace number 23469

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 22:36:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=588 boxname=wulflinc31 idbench=66 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-e64.b.opb
IDLAUNCH: 588
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917652 kB
Buffers:         40924 kB
Cached:          54148 kB
SwapCached:        944 kB
Active:          79496 kB
Inactive:        17984 kB
HighTotal:      131008 kB
HighFree:        75936 kB
LowTotal:       903652 kB
LowFree:        841716 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            13964 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 22:56:14 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 588 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 608 variables and 1022 constraints.
c After prepocess the problem consists of 608 variables and 958 constraints.
c preprocess terminated 0.449 s
c Initial Lower Bound: 27
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 55 @ 0.574
c NEW SOLUTION FOUND: 54 @ 0.615
c NEW SOLUTION FOUND: 53 @ 119.522
#### 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.98 0.99 2/54 6787
Raw data (stat): 6787 (runsolver) R 6786 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 652405919 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 4116 0 0 0 984 12 0 0 25 0 1 0 652405919 20754432 4083 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5067 4083 1111 63 0 5004 0
vsize: 20268
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 4410 0 0 0 1983 13 0 0 25 0 1 0 652405919 21970944 4377 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5364 4377 1111 63 0 5301 0
vsize: 21456
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 5464 0 0 0 2981 16 0 0 25 0 1 0 652405919 26169344 5431 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6389 5431 1111 63 0 6326 0
vsize: 25556
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 6935 0 0 0 3977 20 0 0 25 0 1 0 652405919 32972800 6854 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8050 6854 1111 63 0 7987 0
vsize: 32200
[startup+50.0026 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 7220 0 0 0 4977 20 0 0 25 0 1 0 652405919 34054144 7138 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8314 7138 1111 63 0 8251 0
vsize: 33256
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 8946 0 0 0 5973 25 0 0 25 0 1 0 652405919 40996864 8860 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10009 8860 1111 63 0 9946 0
vsize: 40036
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 8946 0 0 0 6973 25 0 0 25 0 1 0 652405919 40996864 8860 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10009 8860 1111 63 0 9946 0
vsize: 40036
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 8990 0 0 0 7973 25 0 0 25 0 1 0 652405919 41132032 8904 4294967295 134512640 134714540 3221221792 3221220592 134622358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10042 8904 1111 63 0 9979 0
vsize: 40168
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 8990 0 0 0 8973 25 0 0 25 0 1 0 652405919 41132032 8904 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10042 8904 1111 63 0 9979 0
vsize: 40168
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 9198 0 0 0 9973 25 0 0 25 0 1 0 652405919 42078208 9110 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10273 9110 1111 63 0 10210 0
vsize: 41092
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 9198 0 0 0 10973 25 0 0 25 0 1 0 652405919 42078208 9110 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10273 9110 1111 63 0 10210 0
vsize: 41092
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 10752 0 0 0 11969 29 0 0 25 0 1 0 652405919 48271360 10659 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11785 10659 1111 63 0 11722 0
vsize: 47140
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 13280 0 0 0 12963 36 0 0 25 0 1 0 652405919 59703296 13055 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14576 13055 1111 63 0 14513 0
vsize: 58304
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 15339 0 0 0 13957 41 0 0 25 0 1 0 652405919 67952640 15100 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16590 15100 1111 63 0 16527 0
vsize: 66360
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16201 0 0 0 14954 44 0 0 25 0 1 0 652405919 71368704 15958 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15958 1111 63 0 17361 0
vsize: 69696
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16201 0 0 0 15955 44 0 0 25 0 1 0 652405919 71368704 15958 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15958 1111 63 0 17361 0
vsize: 69696
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16201 0 0 0 16955 44 0 0 25 0 1 0 652405919 71368704 15958 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15958 1111 63 0 17361 0
vsize: 69696
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16203 0 0 0 17955 44 0 0 25 0 1 0 652405919 71368704 15960 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15960 1111 63 0 17361 0
vsize: 69696
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16203 0 0 0 18955 44 0 0 25 0 1 0 652405919 71368704 15960 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15960 1111 63 0 17361 0
vsize: 69696
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 16204 0 0 0 19955 44 0 0 25 0 1 0 652405919 71368704 15961 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15961 1111 63 0 17361 0
vsize: 69696
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 19899 0 0 0 20946 54 0 0 25 0 1 0 652405919 86601728 19620 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21143 19620 1111 63 0 21080 0
vsize: 84572
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 19899 0 0 0 21946 54 0 0 25 0 1 0 652405919 86601728 19620 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21143 19620 1111 63 0 21080 0
vsize: 84572
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 22453 0 0 0 22940 60 0 0 25 0 1 0 652405919 97001472 22144 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23682 22144 1111 63 0 23619 0
vsize: 94728
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 23984 0 0 0 23937 63 0 0 25 0 1 0 652405919 105553920 23475 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25770 23475 1111 63 0 25707 0
vsize: 103080
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 26554 0 0 0 24929 72 0 0 25 0 1 0 652405919 115916800 26027 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28300 26027 1111 63 0 28237 0
vsize: 113200
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 28070 0 0 0 25925 76 0 0 25 0 1 0 652405919 121966592 27533 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29777 27533 1111 63 0 29714 0
vsize: 119108
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30493 0 0 0 26918 83 0 0 25 0 1 0 652405919 131964928 29930 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29930 1111 63 0 32155 0
vsize: 128872
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30507 0 0 0 27918 83 0 0 25 0 1 0 652405919 131964928 29944 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29944 1111 63 0 32155 0
vsize: 128872
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 28918 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 29918 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 30919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 31919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 32919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+340.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 33919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 34919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+360.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 35919 83 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 36919 84 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+380.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 37920 84 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+390.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 38920 84 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 39920 84 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30509 0 0 0 40920 84 0 0 25 0 1 0 652405919 131964928 29946 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29946 1111 63 0 32155 0
vsize: 128872
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 41920 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 42921 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+440.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 43921 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220576 134622606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 44921 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+460.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 45921 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 46921 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+480.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 47922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+490.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 48922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 49922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 50922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+520.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 51922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30510 0 0 0 52922 84 0 0 25 0 1 0 652405919 131964928 29947 4294967295 134512640 134714540 3221221792 3221220588 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32218 29947 1111 63 0 32155 0
vsize: 128872
[startup+540.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 53923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+550.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 54923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+560.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 55923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+570.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 56923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+580.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 57923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+590.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 58923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+600.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 59923 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+610.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30512 0 0 0 60924 84 0 0 25 0 1 0 652405919 132104192 29949 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29949 1111 63 0 32189 0
vsize: 129008
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 30513 0 0 0 61924 84 0 0 25 0 1 0 652405919 132104192 29950 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32252 29950 1111 63 0 32189 0
vsize: 129008
[startup+630.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 32700 0 0 0 62919 89 0 0 25 0 1 0 652405919 140832768 32126 4294967295 134512640 134714540 3221221792 3221220540 1076999584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34383 32126 1111 63 0 34320 0
vsize: 137532
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 34731 0 0 0 63916 93 0 0 25 0 1 0 652405919 149295104 34112 4294967295 134512640 134714540 3221221792 3221220480 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36449 34112 1111 63 0 36386 0
vsize: 145796
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 37314 0 0 0 64910 99 0 0 25 0 1 0 652405919 159494144 36519 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38939 36519 1111 63 0 38876 0
vsize: 155756
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 37883 0 0 0 65908 100 0 0 25 0 1 0 652405919 161480704 36982 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39424 36982 1111 63 0 39361 0
vsize: 157696
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 66906 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 67906 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 68906 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 69906 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 70907 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 71907 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 72907 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 73907 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 74907 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 75908 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 38839 0 0 0 76908 103 0 0 25 0 1 0 652405919 165294080 37934 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40355 37934 1111 63 0 40292 0
vsize: 161420
[startup+780.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 42167 0 0 0 77898 113 0 0 25 0 1 0 652405919 178946048 41209 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43688 41209 1111 63 0 43625 0
vsize: 174752
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 44567 0 0 0 78893 118 0 0 25 0 1 0 652405919 188596224 43584 4294967295 134512640 134714540 3221221792 3221220072 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46044 43584 1111 63 0 45981 0
vsize: 184176
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 50093 0 0 0 79882 129 0 0 25 0 1 0 652405919 210944000 47357 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51500 47357 1111 63 0 51437 0
vsize: 206000
[startup+810.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 53174 0 0 0 80876 135 0 0 25 0 1 0 652405919 223162368 50337 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54483 50337 1111 63 0 54420 0
vsize: 217932
[startup+820.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 54358 0 0 0 81874 137 0 0 25 0 1 0 652405919 228102144 51513 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55689 51513 1111 63 0 55626 0
vsize: 222756
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 55316 0 0 0 82872 139 0 0 25 0 1 0 652405919 231976960 52429 4294967295 134512640 134714540 3221221792 3221220456 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56635 52430 1111 63 0 56572 0
vsize: 226540
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 55384 0 0 0 83872 140 0 0 25 0 1 0 652405919 232247296 52497 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56701 52497 1111 63 0 56638 0
vsize: 226804
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 55384 0 0 0 84873 140 0 0 25 0 1 0 652405919 232247296 52497 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56701 52497 1111 63 0 56638 0
vsize: 226804
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 55384 0 0 0 85872 140 0 0 25 0 1 0 652405919 232247296 52497 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56701 52497 1111 63 0 56638 0
vsize: 226804
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 57031 0 0 0 86868 145 0 0 25 0 1 0 652405919 239153152 54119 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58387 54119 1111 63 0 58324 0
vsize: 233548
[startup+880.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58068 0 0 0 87866 147 0 0 25 0 1 0 652405919 243216384 55154 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59379 55154 1111 63 0 59316 0
vsize: 237516
[startup+890.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 88864 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+900.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 89864 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 90865 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+920.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 91865 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+930.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 92866 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+940.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 93866 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+950.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 94866 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+960.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58511 0 0 0 95867 149 0 0 25 0 1 0 652405919 244985856 55596 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59811 55596 1111 63 0 59748 0
vsize: 239244
[startup+970.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 58715 0 0 0 96866 149 0 0 25 0 1 0 652405919 245862400 55796 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60025 55796 1111 63 0 59962 0
vsize: 240100
[startup+980.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59138 0 0 0 97865 151 0 0 25 0 1 0 652405919 247406592 56136 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60402 56136 1111 63 0 60339 0
vsize: 241608
[startup+990.054 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59293 0 0 0 98865 151 0 0 25 0 1 0 652405919 248094720 56291 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60570 56291 1111 63 0 60507 0
vsize: 242280
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59659 0 0 0 99865 152 0 0 25 0 1 0 652405919 249569280 56566 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60930 56566 1111 63 0 60867 0
vsize: 243720
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59659 0 0 0 100865 152 0 0 25 0 1 0 652405919 249569280 56566 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60930 56566 1111 63 0 60867 0
vsize: 243720
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59659 0 0 0 101865 152 0 0 25 0 1 0 652405919 249569280 56566 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60930 56566 1111 63 0 60867 0
vsize: 243720
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59659 0 0 0 102865 152 0 0 25 0 1 0 652405919 249569280 56566 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60930 56566 1111 63 0 60867 0
vsize: 243720
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 59848 0 0 0 103865 152 0 0 25 0 1 0 652405919 250245120 56755 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61095 56755 1111 63 0 61032 0
vsize: 244380
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 60237 0 0 0 104864 153 0 0 25 0 1 0 652405919 251731968 57144 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61458 57144 1111 63 0 61395 0
vsize: 245832
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 60375 0 0 0 105864 154 0 0 25 0 1 0 652405919 252272640 57282 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61590 57282 1111 63 0 61527 0
vsize: 246360
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 60592 0 0 0 106864 154 0 0 25 0 1 0 652405919 253218816 57499 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61821 57499 1111 63 0 61758 0
vsize: 247284
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61066 0 0 0 107863 155 0 0 25 0 1 0 652405919 255041536 57964 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57964 1111 63 0 62203 0
vsize: 249064
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61066 0 0 0 108863 155 0 0 25 0 1 0 652405919 255041536 57964 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57964 1111 63 0 62203 0
vsize: 249064
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 109863 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 110864 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 111864 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 112864 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 113864 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61068 0 0 0 114864 155 0 0 25 0 1 0 652405919 255041536 57966 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62266 57966 1111 63 0 62203 0
vsize: 249064
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61883 0 0 0 115863 157 0 0 25 0 1 0 652405919 258285568 58779 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63058 58779 1111 63 0 62995 0
vsize: 252232
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61923 0 0 0 116863 157 0 0 25 0 1 0 652405919 258445312 58818 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63097 58818 1111 63 0 63034 0
vsize: 252388
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61923 0 0 0 117863 157 0 0 25 0 1 0 652405919 258445312 58818 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63097 58818 1111 63 0 63034 0
vsize: 252388
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61923 0 0 0 118864 157 0 0 25 0 1 0 652405919 258445312 58818 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63097 58818 1111 63 0 63034 0
vsize: 252388
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 6787
Raw data (stat): 6787 (bsolo_mis) R 6786 7876 7672 0 -1 0 61923 0 0 0 119864 157 0 0 25 0 1 0 652405919 258445312 58818 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63097 58818 1111 63 0 63034 0
vsize: 252388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 6787
Raw data (stat): 6787 (bsolo_mis) Z 6786 7876 7672 0 -1 1036 61923 0 0 0 119864 168 0 0 25 0 1 0 652405919 0 0 4294967295 0 0 0 0 0 0 0 1 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.17
CPU time (s): 1200.32
CPU user time (s): 1198.64
CPU system time (s): 1.68074
CPU usage (%): 100.013
Max. virtual memory (Kb): 252388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####