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-exam.pi.opb
MD5SUM	3e917561f3935db250fdeb1759fbe81d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63
Optimality of the best value was proved	NO
Number of terms in the objective function	4677
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	4677
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4677
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06784
Number of variables	4676
Total number of constraints	509
Number of constraints which are clauses	509
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	166
Trace number 23479

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 02:13:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=606 boxname=wulflinc31 idbench=68 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  3e917561f3935db250fdeb1759fbe81d  /oldhome/oroussel/tmp/wulflinc31/normalized-exam.pi.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-exam.pi.opb
IDLAUNCH: 606
/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:        916088 kB
Buffers:         41192 kB
Cached:          55240 kB
SwapCached:        944 kB
Active:          80504 kB
Inactive:        18436 kB
HighTotal:      131008 kB
HighFree:        74788 kB
LowTotal:       903652 kB
LowFree:        841300 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14152 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 02:33:15 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 606 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 4677 variables and 509 constraints.
c After prepocess the problem consists of 4677 variables and 509 constraints.
c preprocess terminated 3.279 s
c Initial Lower Bound: 47
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 68 @ 3.573
c NEW SOLUTION FOUND: 67 @ 3.712
c NEW SOLUTION FOUND: 66 @ 20.003
#### 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 7970
Raw data (stat): 7970 (runsolver) R 7969 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 653708188 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.0005 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 5292 0 0 0 979 17 0 0 25 0 1 0 653708188 25542656 5254 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6236 5254 1111 63 0 6173 0
vsize: 24944
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 10490 0 0 0 1966 30 0 0 25 0 1 0 653708188 47714304 10395 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11649 10395 1111 63 0 11586 0
vsize: 46596
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 11396 0 0 0 2963 32 0 0 25 0 1 0 653708188 51408896 11297 4294967295 134512640 134714540 3221221792 3221220520 134622857 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12551 11297 1111 63 0 12488 0
vsize: 50204
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 15558 0 0 0 3952 43 0 0 25 0 1 0 653708188 68214784 15441 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16654 15441 1111 63 0 16591 0
vsize: 66616
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 18430 0 0 0 4946 50 0 0 25 0 1 0 653708188 81321984 18181 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19854 18181 1111 63 0 19791 0
vsize: 79416
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 18430 0 0 0 5946 50 0 0 25 0 1 0 653708188 81321984 18181 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19854 18181 1111 63 0 19791 0
vsize: 79416
[startup+70.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 18430 0 0 0 6946 50 0 0 25 0 1 0 653708188 81321984 18181 4294967295 134512640 134714540 3221221792 3221220608 134622645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19854 18181 1111 63 0 19791 0
vsize: 79416
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 19080 0 0 0 7944 52 0 0 25 0 1 0 653708188 83890176 18829 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20481 18830 1111 63 0 20418 0
vsize: 81924
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 8938 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 9938 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 10939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 11939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 12939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 13939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 14939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 21646 0 0 0 15939 58 0 0 25 0 1 0 653708188 94130176 21385 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22981 21385 1111 63 0 22918 0
vsize: 91924
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 22134 0 0 0 16939 59 0 0 25 0 1 0 653708188 96157696 21873 4294967295 134512640 134714540 3221221792 3221220072 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23476 21875 1111 63 0 23413 0
vsize: 93904
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 25385 0 0 0 17930 69 0 0 25 0 1 0 653708188 109359104 25102 4294967295 134512640 134714540 3221221792 3221220072 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26699 25103 1111 63 0 26636 0
vsize: 106796
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 27159 0 0 0 18925 73 0 0 25 0 1 0 653708188 116559872 26853 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28457 26853 1111 63 0 28394 0
vsize: 113828
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 28425 0 0 0 19922 76 0 0 25 0 1 0 653708188 121708544 28104 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29714 28104 1111 63 0 29651 0
vsize: 118856
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 20916 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 21916 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 22916 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 23917 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 24917 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 25917 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 26917 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 27917 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30988 0 0 0 28918 83 0 0 25 0 1 0 653708188 132239360 30635 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30635 1111 63 0 32222 0
vsize: 129140
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30996 0 0 0 29918 83 0 0 25 0 1 0 653708188 132239360 30643 4294967295 134512640 134714540 3221221792 3221220580 134622602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30643 1111 63 0 32222 0
vsize: 129140
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30996 0 0 0 30918 83 0 0 25 0 1 0 653708188 132239360 30643 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30643 1111 63 0 32222 0
vsize: 129140
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 30996 0 0 0 31918 83 0 0 25 0 1 0 653708188 132239360 30643 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32285 30643 1111 63 0 32222 0
vsize: 129140
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 32999 0 0 0 32914 87 0 0 25 0 1 0 653708188 143220736 32389 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34966 32389 1111 63 0 34903 0
vsize: 139864
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 33761 0 0 0 33913 88 0 0 25 0 1 0 653708188 146194432 33149 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35692 33149 1111 63 0 35629 0
vsize: 142768
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 33761 0 0 0 34913 88 0 0 25 0 1 0 653708188 146194432 33149 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35692 33149 1111 63 0 35629 0
vsize: 142768
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 33761 0 0 0 35913 88 0 0 25 0 1 0 653708188 146194432 33149 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35692 33149 1111 63 0 35629 0
vsize: 142768
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34091 0 0 0 36912 89 0 0 25 0 1 0 653708188 147546112 33479 4294967295 134512640 134714540 3221221792 3221220528 134622851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36022 33479 1111 63 0 35959 0
vsize: 144088
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34091 0 0 0 37913 89 0 0 25 0 1 0 653708188 147546112 33479 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36022 33479 1111 63 0 35959 0
vsize: 144088
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34091 0 0 0 38913 89 0 0 25 0 1 0 653708188 147546112 33479 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36022 33479 1111 63 0 35959 0
vsize: 144088
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34091 0 0 0 39913 89 0 0 25 0 1 0 653708188 147546112 33479 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36022 33479 1111 63 0 35959 0
vsize: 144088
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34506 0 0 0 40912 90 0 0 25 0 1 0 653708188 149168128 33894 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36418 33894 1111 63 0 36355 0
vsize: 145672
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34506 0 0 0 41912 90 0 0 25 0 1 0 653708188 149168128 33894 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36418 33894 1111 63 0 36355 0
vsize: 145672
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34506 0 0 0 42912 90 0 0 25 0 1 0 653708188 149168128 33894 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36418 33894 1111 63 0 36355 0
vsize: 145672
[startup+440.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34709 0 0 0 43912 91 0 0 25 0 1 0 653708188 150142976 34093 4294967295 134512640 134714540 3221221792 3221220608 134622551 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36656 34093 1111 63 0 36593 0
vsize: 146624
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 34709 0 0 0 44912 91 0 0 25 0 1 0 653708188 150142976 34093 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36656 34093 1111 63 0 36593 0
vsize: 146624
[startup+460.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 35375 0 0 0 45910 93 0 0 25 0 1 0 653708188 152702976 34759 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37281 34759 1111 63 0 37218 0
vsize: 149124
[startup+470.014 s]
Raw data (loadavg): 1.15 1.02 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 35832 0 0 0 46909 94 0 0 25 0 1 0 653708188 154460160 35216 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37710 35216 1111 63 0 37647 0
vsize: 150840
[startup+480.013 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 35832 0 0 0 47909 94 0 0 25 0 1 0 653708188 154460160 35216 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37710 35216 1111 63 0 37647 0
vsize: 150840
[startup+490.013 s]
Raw data (loadavg): 1.10 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 48908 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+500.014 s]
Raw data (loadavg): 1.09 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 49909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+510.014 s]
Raw data (loadavg): 1.07 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 50909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220532 134623142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+520.014 s]
Raw data (loadavg): 1.06 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 51909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+530.014 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 52909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+540.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 53909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+550.015 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 54909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220584 134536889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+560.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 55909 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+570.015 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 56910 95 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+580.015 s]
Raw data (loadavg): 1.10 1.02 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 57910 96 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+590.016 s]
Raw data (loadavg): 1.16 1.04 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 58910 96 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+600.016 s]
Raw data (loadavg): 1.13 1.04 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 59910 96 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220608 134622556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+610.016 s]
Raw data (loadavg): 1.11 1.03 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 60910 96 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+620.017 s]
Raw data (loadavg): 1.10 1.03 1.01 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 36286 0 0 0 61910 96 0 0 25 0 1 0 653708188 156430336 35661 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38191 35661 1111 63 0 38128 0
vsize: 152764
[startup+630.017 s]
Raw data (loadavg): 1.08 1.03 1.01 3/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 37715 0 0 0 62907 99 0 0 25 0 1 0 653708188 162164736 37080 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39591 37080 1111 63 0 39528 0
vsize: 158364
[startup+640.017 s]
Raw data (loadavg): 1.07 1.03 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 37715 0 0 0 63907 99 0 0 25 0 1 0 653708188 162164736 37080 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39591 37080 1111 63 0 39528 0
vsize: 158364
[startup+650.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 37715 0 0 0 64907 99 0 0 25 0 1 0 653708188 162164736 37080 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39591 37080 1111 63 0 39528 0
vsize: 158364
[startup+660.018 s]
Raw data (loadavg): 1.05 1.03 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 37715 0 0 0 65908 99 0 0 25 0 1 0 653708188 162164736 37080 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39591 37080 1111 63 0 39528 0
vsize: 158364
[startup+670.018 s]
Raw data (loadavg): 1.04 1.03 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39156 0 0 0 66904 103 0 0 25 0 1 0 653708188 168062976 38515 4294967295 134512640 134714540 3221221792 3221220596 134622629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 38515 1111 63 0 40968 0
vsize: 164124
[startup+680.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39156 0 0 0 67904 103 0 0 25 0 1 0 653708188 168062976 38515 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 38515 1111 63 0 40968 0
vsize: 164124
[startup+690.019 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39156 0 0 0 68905 103 0 0 25 0 1 0 653708188 168062976 38515 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 38515 1111 63 0 40968 0
vsize: 164124
[startup+700.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39156 0 0 0 69905 103 0 0 25 0 1 0 653708188 168062976 38515 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 38515 1111 63 0 40968 0
vsize: 164124
[startup+710.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39214 0 0 0 70905 103 0 0 25 0 1 0 653708188 168198144 38573 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41064 38573 1111 63 0 41001 0
vsize: 164256
[startup+720.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 39953 0 0 0 71903 105 0 0 25 0 1 0 653708188 171204608 39308 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41798 39308 1111 63 0 41735 0
vsize: 167192
[startup+730.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 40688 0 0 0 72901 107 0 0 25 0 1 0 653708188 174333952 40030 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42562 40030 1111 63 0 42499 0
vsize: 170248
[startup+740.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 44397 0 0 0 73893 115 0 0 25 0 1 0 653708188 188825600 43578 4294967295 134512640 134714540 3221221792 3221220276 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46100 43578 1111 63 0 46037 0
vsize: 184400
[startup+750.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 47288 0 0 0 74888 121 0 0 25 0 1 0 653708188 200597504 46429 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48974 46429 1111 63 0 48911 0
vsize: 195896
[startup+760.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 47567 0 0 0 75887 121 0 0 25 0 1 0 653708188 201879552 46699 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49287 46699 1111 63 0 49224 0
vsize: 197148
[startup+770.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 49949 0 0 0 76880 128 0 0 25 0 1 0 653708188 211337216 48972 4294967295 134512640 134714540 3221221792 3221220460 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51596 48972 1111 63 0 51533 0
vsize: 206384
[startup+780.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 77877 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+790.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 78877 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+800.02 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 79878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+810.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 80878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+820.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 81878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+830.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 82878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+840.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 83878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+850.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51717 0 0 0 84878 132 0 0 25 0 1 0 653708188 218460160 50727 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53335 50727 1111 63 0 53272 0
vsize: 213340
[startup+860.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 51857 0 0 0 85878 132 0 0 25 0 1 0 653708188 219136000 50867 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53500 50867 1111 63 0 53437 0
vsize: 214000
[startup+870.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 54437 0 0 0 86872 139 0 0 25 0 1 0 653708188 229064704 53368 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55924 53368 1111 63 0 55861 0
vsize: 223696
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 54693 0 0 0 87871 139 0 0 25 0 1 0 653708188 230211584 53614 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56204 53614 1111 63 0 56141 0
vsize: 224816
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 54693 0 0 0 88872 139 0 0 25 0 1 0 653708188 230211584 53614 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56204 53614 1111 63 0 56141 0
vsize: 224816
[startup+900.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 55959 0 0 0 89869 142 0 0 25 0 1 0 653708188 235200512 54789 4294967295 134512640 134714540 3221221792 3221220528 134622803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57422 54789 1111 63 0 57359 0
vsize: 229688
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 55959 0 0 0 90869 142 0 0 25 0 1 0 653708188 235200512 54789 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57422 54789 1111 63 0 57359 0
vsize: 229688
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 56055 0 0 0 91869 142 0 0 25 0 1 0 653708188 235606016 54885 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57521 54885 1111 63 0 57458 0
vsize: 230084
[startup+930.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 56144 0 0 0 92869 142 0 0 25 0 1 0 653708188 235876352 54974 4294967295 134512640 134714540 3221221792 3221220488 134558488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57587 54974 1111 63 0 57524 0
vsize: 230348
[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 56961 0 0 0 93867 145 0 0 25 0 1 0 653708188 239308800 55785 4294967295 134512640 134714540 3221221792 3221220576 134622606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58425 55785 1111 63 0 58362 0
vsize: 233700
[startup+950.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 57319 0 0 0 94866 146 0 0 25 0 1 0 653708188 240721920 56134 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58770 56134 1111 63 0 58707 0
vsize: 235080
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 95864 147 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 96865 147 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+980.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 97865 147 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 98865 147 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 99865 147 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 100865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 101865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 102865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 103865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 104865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 105865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220516 134622833 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 106865 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 107866 148 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 108866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 109866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 110866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 111866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 112866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 113866 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 114867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 115867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 116867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 117867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 118867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 7970
Raw data (stat): 7970 (bsolo_mis) R 7969 7876 7672 0 -1 0 58116 0 0 0 119867 149 0 0 25 0 1 0 653708188 244031488 56922 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59578 56922 1111 63 0 59515 0
vsize: 238312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 7970
Raw data (stat): 7970 (bsolo_mis) Z 7969 7876 7672 0 -1 1036 58116 0 0 0 119867 159 0 0 25 0 1 0 653708188 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.14
CPU time (s): 1200.28
CPU user time (s): 1198.68
CPU system time (s): 1.59776
CPU usage (%): 100.012
Max. virtual memory (Kb): 238312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####