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/primes-dimacs-cnf/normalized-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
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	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
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	2
Maximum length of a constraint	3
Trace number 23784

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 19:02:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1155 boxname=wulflinc31 idbench=129 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
IDLAUNCH: 1155
/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:        905864 kB
Buffers:         44644 kB
Cached:          61988 kB
SwapCached:        944 kB
Active:          87072 kB
Inactive:        21992 kB
HighTotal:      131008 kB
HighFree:        68180 kB
LowTotal:       903652 kB
LowFree:        837684 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14296 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 19:22:26 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 1155 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1200 variables and 3150 constraints.
c After prepocess the problem consists of 1200 variables and 3150 constraints.
c preprocess terminated 0.633 s
c Initial Lower Bound: 302
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.97 1.01 0.99 2/54 5637
Raw data (stat): 5637 (runsolver) R 5636 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659763997 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.97 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 1317 0 0 0 991 6 0 0 25 0 1 0 659763997 8998912 1290 4294967295 134512640 134714540 3221221792 3221220576 134624869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2197 1290 1111 63 0 2134 0
vsize: 8788
[startup+20.0006 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 1746 0 0 0 1989 8 0 0 25 0 1 0 659763997 10756096 1719 4294967295 134512640 134714540 3221221792 3221220560 134625011 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1719 1111 63 0 2563 0
vsize: 10504
[startup+30.0006 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2165 0 0 0 2988 9 0 0 25 0 1 0 659763997 12513280 2138 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3055 2138 1111 63 0 2992 0
vsize: 12220
[startup+40.0018 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2329 0 0 0 3988 9 0 0 25 0 1 0 659763997 13189120 2302 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3220 2302 1111 63 0 3157 0
vsize: 12880
[startup+50.0025 s]
Raw data (loadavg): 0.98 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2684 0 0 0 4987 11 0 0 25 0 1 0 659763997 14675968 2657 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3583 2657 1111 63 0 3520 0
vsize: 14332
[startup+60.0024 s]
Raw data (loadavg): 0.99 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3100 0 0 0 5985 12 0 0 25 0 1 0 659763997 16302080 3073 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3980 3073 1111 63 0 3917 0
vsize: 15920
[startup+70.0037 s]
Raw data (loadavg): 0.99 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3319 0 0 0 6984 13 0 0 25 0 1 0 659763997 17256448 3292 4294967295 134512640 134714540 3221221792 3221220544 134558532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4213 3292 1111 63 0 4150 0
vsize: 16852
[startup+80.0043 s]
Raw data (loadavg): 0.99 1.01 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3615 0 0 0 7984 14 0 0 25 0 1 0 659763997 18477056 3588 4294967295 134512640 134714540 3221221792 3221220352 134696590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4511 3588 1111 63 0 4448 0
vsize: 18044
[startup+90.0052 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3774 0 0 0 8983 15 0 0 25 0 1 0 659763997 19156992 3747 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4677 3747 1111 63 0 4614 0
vsize: 18708
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3791 0 0 0 9983 15 0 0 25 0 1 0 659763997 19156992 3764 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4677 3764 1111 63 0 4614 0
vsize: 18708
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3817 0 0 0 10983 15 0 0 25 0 1 0 659763997 19292160 3790 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4710 3790 1111 63 0 4647 0
vsize: 18840
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3892 0 0 0 11983 15 0 0 25 0 1 0 659763997 19562496 3865 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4776 3865 1111 63 0 4713 0
vsize: 19104
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4069 0 0 0 12983 16 0 0 25 0 1 0 659763997 20373504 4042 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4042 1111 63 0 4911 0
vsize: 19896
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4399 0 0 0 13982 17 0 0 25 0 1 0 659763997 21729280 4372 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5305 4372 1111 63 0 5242 0
vsize: 21220
[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4672 0 0 0 14981 18 0 0 25 0 1 0 659763997 22843392 4645 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5577 4645 1111 63 0 5514 0
vsize: 22308
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4817 0 0 0 15981 19 0 0 25 0 1 0 659763997 23384064 4790 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5709 4790 1111 63 0 5646 0
vsize: 22836
[startup+170.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4961 0 0 0 16981 19 0 0 25 0 1 0 659763997 24064000 4934 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5875 4934 1111 63 0 5812 0
vsize: 23500
[startup+180.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5142 0 0 0 17980 20 0 0 25 0 1 0 659763997 24752128 5115 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6043 5115 1111 63 0 5980 0
vsize: 24172
[startup+190.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5317 0 0 0 18980 20 0 0 25 0 1 0 659763997 25567232 5290 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6242 5290 1111 63 0 6179 0
vsize: 24968
[startup+200.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5637
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5375 0 0 0 19980 20 0 0 25 0 1 0 659763997 25837568 5348 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5348 1111 63 0 6245 0
vsize: 25232
[startup+210.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5547 0 0 0 20979 21 0 0 25 0 1 0 659763997 26513408 5520 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6473 5520 1111 63 0 6410 0
vsize: 25892
[startup+220.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5678 0 0 0 21979 22 0 0 25 0 1 0 659763997 27054080 5650 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6605 5650 1111 63 0 6542 0
vsize: 26420
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5869 0 0 0 22978 23 0 0 25 0 1 0 659763997 27865088 5841 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6803 5841 1111 63 0 6740 0
vsize: 27212
[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6018 0 0 0 23978 23 0 0 25 0 1 0 659763997 28545024 5990 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6969 5990 1111 63 0 6906 0
vsize: 27876
[startup+250.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6197 0 0 0 24977 24 0 0 25 0 1 0 659763997 29364224 6168 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7169 6168 1111 63 0 7106 0
vsize: 28676
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6250 0 0 0 25977 24 0 0 25 0 1 0 659763997 29515776 6221 4294967295 134512640 134714540 3221221792 3221220528 134695294 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7206 6221 1111 63 0 7143 0
vsize: 28824
[startup+270.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6409 0 0 0 26977 25 0 0 25 0 1 0 659763997 30208000 6379 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7375 6379 1111 63 0 7312 0
vsize: 29500
[startup+280.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6424 0 0 0 27977 25 0 0 25 0 1 0 659763997 30343168 6394 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7408 6394 1111 63 0 7345 0
vsize: 29632
[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6457 0 0 0 28977 25 0 0 25 0 1 0 659763997 30478336 6427 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6427 1111 63 0 7378 0
vsize: 29764
[startup+300.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6479 0 0 0 29977 25 0 0 25 0 1 0 659763997 30478336 6449 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6449 1111 63 0 7378 0
vsize: 29764
[startup+310.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6539 0 0 0 30977 25 0 0 25 0 1 0 659763997 30748672 6509 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7507 6509 1111 63 0 7444 0
vsize: 30028
[startup+320.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6540 0 0 0 31977 25 0 0 25 0 1 0 659763997 30748672 6510 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7507 6510 1111 63 0 7444 0
vsize: 30028
[startup+330.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6610 0 0 0 32977 26 0 0 25 0 1 0 659763997 31019008 6580 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7573 6580 1111 63 0 7510 0
vsize: 30292
[startup+340.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6756 0 0 0 33977 26 0 0 25 0 1 0 659763997 31711232 6725 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7742 6725 1111 63 0 7679 0
vsize: 30968
[startup+350.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6824 0 0 0 34976 27 0 0 25 0 1 0 659763997 31981568 6793 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7808 6793 1111 63 0 7745 0
vsize: 31232
[startup+360.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6939 0 0 0 35976 27 0 0 25 0 1 0 659763997 32395264 6908 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7909 6908 1111 63 0 7846 0
vsize: 31636
[startup+370.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7171 0 0 0 36974 29 0 0 25 0 1 0 659763997 33341440 7139 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8140 7139 1111 63 0 8077 0
vsize: 32560
[startup+380.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7208 0 0 0 37974 29 0 0 25 0 1 0 659763997 33476608 7176 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8173 7176 1111 63 0 8110 0
vsize: 32692
[startup+390.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7278 0 0 0 38974 30 0 0 25 0 1 0 659763997 33882112 7246 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8272 7246 1111 63 0 8209 0
vsize: 33088
[startup+400.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7336 0 0 0 39974 30 0 0 25 0 1 0 659763997 34017280 7304 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7304 1111 63 0 8242 0
vsize: 33220
[startup+410.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7356 0 0 0 40974 30 0 0 25 0 1 0 659763997 34152448 7324 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8338 7324 1111 63 0 8275 0
vsize: 33352
[startup+420.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7371 0 0 0 41974 30 0 0 25 0 1 0 659763997 34291712 7338 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8372 7338 1111 63 0 8309 0
vsize: 33488
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7435 0 0 0 42974 30 0 0 25 0 1 0 659763997 34566144 7402 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8439 7402 1111 63 0 8376 0
vsize: 33756
[startup+440.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7539 0 0 0 43974 31 0 0 25 0 1 0 659763997 34971648 7506 4294967295 134512640 134714540 3221221792 3221220552 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8538 7506 1111 63 0 8475 0
vsize: 34152
[startup+450.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7725 0 0 0 44973 32 0 0 25 0 1 0 659763997 35647488 7692 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8703 7692 1111 63 0 8640 0
vsize: 34812
[startup+460.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7893 0 0 0 45973 32 0 0 25 0 1 0 659763997 36335616 7859 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8871 7859 1111 63 0 8808 0
vsize: 35484
[startup+470.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7961 0 0 0 46973 33 0 0 25 0 1 0 659763997 36605952 7927 4294967295 134512640 134714540 3221221792 3221220552 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8937 7927 1111 63 0 8874 0
vsize: 35748
[startup+480.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7986 0 0 0 47973 33 0 0 25 0 1 0 659763997 36741120 7952 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8970 7952 1111 63 0 8907 0
vsize: 35880
[startup+490.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8028 0 0 0 48973 33 0 0 25 0 1 0 659763997 36876288 7994 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9003 7994 1111 63 0 8940 0
vsize: 36012
[startup+500.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8073 0 0 0 49973 33 0 0 25 0 1 0 659763997 37146624 8039 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9069 8039 1111 63 0 9006 0
vsize: 36276
[startup+510.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8129 0 0 0 50973 33 0 0 25 0 1 0 659763997 37281792 8095 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9102 8095 1111 63 0 9039 0
vsize: 36408
[startup+520.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8204 0 0 0 51973 33 0 0 25 0 1 0 659763997 37687296 8169 4294967295 134512640 134714540 3221221792 3221220512 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9201 8169 1111 63 0 9138 0
vsize: 36804
[startup+530.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8315 0 0 0 52973 34 0 0 25 0 1 0 659763997 38092800 8280 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9300 8280 1111 63 0 9237 0
vsize: 37200
[startup+540.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8401 0 0 0 53972 34 0 0 25 0 1 0 659763997 38498304 8365 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9399 8365 1111 63 0 9336 0
vsize: 37596
[startup+550.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8504 0 0 0 54973 34 0 0 25 0 1 0 659763997 38920192 8467 4294967295 134512640 134714540 3221221792 3221220036 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9502 8467 1111 63 0 9439 0
vsize: 38008
[startup+560.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8609 0 0 0 55972 35 0 0 25 0 1 0 659763997 39325696 8572 4294967295 134512640 134714540 3221221792 3221220364 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9601 8572 1111 63 0 9538 0
vsize: 38404
[startup+570.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8673 0 0 0 56972 35 0 0 25 0 1 0 659763997 39596032 8636 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9667 8636 1111 63 0 9604 0
vsize: 38668
[startup+580.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8771 0 0 0 57972 36 0 0 25 0 1 0 659763997 40017920 8732 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9770 8732 1111 63 0 9707 0
vsize: 39080
[startup+590.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8851 0 0 0 58972 36 0 0 25 0 1 0 659763997 40423424 8812 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9869 8812 1111 63 0 9806 0
vsize: 39476
[startup+600.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8887 0 0 0 59972 36 0 0 25 0 1 0 659763997 40566784 8847 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9904 8847 1111 63 0 9841 0
vsize: 39616
[startup+610.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8922 0 0 0 60972 36 0 0 25 0 1 0 659763997 40738816 8881 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9946 8881 1111 63 0 9883 0
vsize: 39784
[startup+620.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9028 0 0 0 61971 37 0 0 25 0 1 0 659763997 41177088 8985 4294967295 134512640 134714540 3221221792 3221220528 134622801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10053 8985 1111 63 0 9990 0
vsize: 40212
[startup+630.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9101 0 0 0 62971 38 0 0 25 0 1 0 659763997 41451520 9056 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10120 9056 1111 63 0 10057 0
vsize: 40480
[startup+640.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9189 0 0 0 63970 38 0 0 25 0 1 0 659763997 41857024 9144 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10219 9144 1111 63 0 10156 0
vsize: 40876
[startup+650.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9313 0 0 0 64970 39 0 0 25 0 1 0 659763997 42401792 9267 4294967295 134512640 134714540 3221221792 3221220472 134536569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10352 9267 1111 63 0 10289 0
vsize: 41408
[startup+660.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9536 0 0 0 65970 40 0 0 25 0 1 0 659763997 43229184 9488 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10554 9488 1111 63 0 10491 0
vsize: 42216
[startup+670.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9797 0 0 0 66968 41 0 0 25 0 1 0 659763997 44453888 9745 4294967295 134512640 134714540 3221221792 3221220352 134696578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10853 9745 1111 63 0 10790 0
vsize: 43412
[startup+680.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10000 0 0 0 67968 42 0 0 25 0 1 0 659763997 45264896 9947 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11051 9947 1111 63 0 10988 0
vsize: 44204
[startup+690.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10229 0 0 0 68967 42 0 0 25 0 1 0 659763997 46243840 10173 4294967295 134512640 134714540 3221221792 3221220500 134625112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11290 10173 1111 63 0 11227 0
vsize: 45160
[startup+700.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10490 0 0 0 69967 43 0 0 25 0 1 0 659763997 47353856 10430 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11561 10430 1111 63 0 11498 0
vsize: 46244
[startup+710.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10727 0 0 0 70965 45 0 0 25 0 1 0 659763997 48324608 10664 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11798 10664 1111 63 0 11735 0
vsize: 47192
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11004 0 0 0 71964 46 0 0 25 0 1 0 659763997 49549312 10938 4294967295 134512640 134714540 3221221792 3221220592 134622268 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12097 10938 1111 63 0 12034 0
vsize: 48388
[startup+730.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11234 0 0 0 72963 47 0 0 25 0 1 0 659763997 50524160 11164 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12335 11164 1111 63 0 12272 0
vsize: 49340
[startup+740.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11440 0 0 0 73963 48 0 0 25 0 1 0 659763997 51355648 11365 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12538 11365 1111 63 0 12475 0
vsize: 50152
[startup+750.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11483 0 0 0 74963 48 0 0 25 0 1 0 659763997 51625984 11408 4294967295 134512640 134714540 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12604 11408 1111 63 0 12541 0
vsize: 50416
[startup+760.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11688 0 0 0 75962 49 0 0 25 0 1 0 659763997 52490240 11610 4294967295 134512640 134714540 3221221792 3221220576 134622318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12815 11610 1111 63 0 12752 0
vsize: 51260
[startup+770.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11843 0 0 0 76962 49 0 0 25 0 1 0 659763997 53121024 11765 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12969 11765 1111 63 0 12906 0
vsize: 51876
[startup+780.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11916 0 0 0 77962 50 0 0 25 0 1 0 659763997 53403648 11837 4294967295 134512640 134714540 3221221792 3221220540 134625305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13038 11837 1111 63 0 12975 0
vsize: 52152
[startup+790.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11935 0 0 0 78962 50 0 0 25 0 1 0 659763997 53403648 11856 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13038 11856 1111 63 0 12975 0
vsize: 52152
[startup+800.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11979 0 0 0 79962 50 0 0 25 0 1 0 659763997 53673984 11900 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13104 11900 1111 63 0 13041 0
vsize: 52416
[startup+810.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12019 0 0 0 80962 50 0 0 25 0 1 0 659763997 53809152 11940 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13137 11940 1111 63 0 13074 0
vsize: 52548
[startup+820.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12040 0 0 0 81962 50 0 0 25 0 1 0 659763997 53944320 11961 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13170 11961 1111 63 0 13107 0
vsize: 52680
[startup+830.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12206 0 0 0 82961 51 0 0 25 0 1 0 659763997 54513664 12125 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13309 12125 1111 63 0 13246 0
vsize: 53236
[startup+840.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12224 0 0 0 83961 51 0 0 25 0 1 0 659763997 54648832 12143 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13342 12143 1111 63 0 13279 0
vsize: 53368
[startup+850.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12277 0 0 0 84961 51 0 0 25 0 1 0 659763997 54784000 12196 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13375 12196 1111 63 0 13312 0
vsize: 53500
[startup+860.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12359 0 0 0 85961 52 0 0 25 0 1 0 659763997 55189504 12274 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13474 12274 1111 63 0 13411 0
vsize: 53896
[startup+870.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12392 0 0 0 86961 52 0 0 25 0 1 0 659763997 55328768 12306 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13508 12306 1111 63 0 13445 0
vsize: 54032
[startup+880.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12459 0 0 0 87961 52 0 0 25 0 1 0 659763997 55734272 12372 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13607 12372 1111 63 0 13544 0
vsize: 54428
[startup+890.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12523 0 0 0 88961 53 0 0 25 0 1 0 659763997 55869440 12436 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13640 12436 1111 63 0 13577 0
vsize: 54560
[startup+900.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12693 0 0 0 89961 53 0 0 25 0 1 0 659763997 56680448 12604 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13838 12604 1111 63 0 13775 0
vsize: 55352
[startup+910.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12712 0 0 0 90961 53 0 0 25 0 1 0 659763997 56680448 12623 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13838 12623 1111 63 0 13775 0
vsize: 55352
[startup+920.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12728 0 0 0 91961 54 0 0 25 0 1 0 659763997 56815616 12639 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13871 12639 1111 63 0 13808 0
vsize: 55484
[startup+930.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12808 0 0 0 92960 54 0 0 25 0 1 0 659763997 57085952 12719 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13937 12719 1111 63 0 13874 0
vsize: 55748
[startup+940.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12919 0 0 0 93960 55 0 0 25 0 1 0 659763997 57638912 12827 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14072 12827 1111 63 0 14009 0
vsize: 56288
[startup+950.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13088 0 0 0 94960 55 0 0 25 0 1 0 659763997 58322944 12996 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14239 12996 1111 63 0 14176 0
vsize: 56956
[startup+960.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13164 0 0 0 95959 56 0 0 25 0 1 0 659763997 58593280 13072 4294967295 134512640 134714540 3221221792 3221220544 134624488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14305 13072 1111 63 0 14242 0
vsize: 57220
[startup+970.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 96959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+980.039 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 97959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+990.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 98959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 99960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 100960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 101960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 102960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 103960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 104960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 105960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13169 1111 63 0 14347 0
vsize: 57640
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13267 0 0 0 106960 57 0 0 25 0 1 0 659763997 59023360 13173 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14410 13173 1111 63 0 14347 0
vsize: 57640
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13293 0 0 0 107961 57 0 0 25 0 1 0 659763997 59162624 13199 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14444 13199 1111 63 0 14381 0
vsize: 57776
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13329 0 0 0 108961 57 0 0 25 0 1 0 659763997 59305984 13234 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14479 13234 1111 63 0 14416 0
vsize: 57916
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13358 0 0 0 109961 57 0 0 25 0 1 0 659763997 59441152 13263 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14512 13263 1111 63 0 14449 0
vsize: 58048
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13370 0 0 0 110961 57 0 0 25 0 1 0 659763997 59441152 13275 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14512 13275 1111 63 0 14449 0
vsize: 58048
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13384 0 0 0 111961 57 0 0 25 0 1 0 659763997 59576320 13289 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13289 1111 63 0 14482 0
vsize: 58180
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13390 0 0 0 112961 57 0 0 25 0 1 0 659763997 59576320 13295 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13295 1111 63 0 14482 0
vsize: 58180
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13400 0 0 0 113961 57 0 0 25 0 1 0 659763997 59576320 13305 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13305 1111 63 0 14482 0
vsize: 58180
[startup+1150.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 114961 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 115961 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
[startup+1170.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 116962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
[startup+1180.05 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 117962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 118962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 5639
Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 119962 58 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14545 13311 1111 63 0 14482 0
vsize: 58180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 1.00 0.99 1/54 5639
Raw data (stat): 5637 (bsolo_mis) Z 5636 7876 7672 0 -1 1036 13406 0 0 0 119962 60 0 0 25 0 1 0 659763997 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.07
CPU time (s): 1200.23
CPU user time (s): 1199.62
CPU system time (s): 0.606907
CPU usage (%): 100.013
Max. virtual memory (Kb): 58180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####