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-hanoi5.opb
MD5SUM	430910c9a5d64dfdcfdaccb49935c3d0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1931
Optimality of the best value was proved	NO
Number of terms in the objective function	3862
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	3862
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	3862
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	21.5857
Number of variables	3862
Total number of constraints	16399
Number of constraints which are clauses	16399
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	1
Maximum length of a constraint	8
Trace number 23814

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-05 03:31:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1209 boxname=wulflinc31 idbench=135 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  430910c9a5d64dfdcfdaccb49935c3d0  /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-hanoi5.opb
IDLAUNCH: 1209
/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:        921788 kB
Buffers:         19600 kB
Cached:          68468 kB
SwapCached:       3596 kB
Active:          53068 kB
Inactive:        40120 kB
HighTotal:      131008 kB
HighFree:        59304 kB
LowTotal:       903652 kB
LowFree:        862484 kB
SwapTotal:     2097892 kB
SwapFree:      2093676 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14124 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-05 03:50:56 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 1209 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 3862 variables and 16399 constraints.
c After prepocess the problem consists of 2600 variables and 9544 constraints.
c preprocess terminated 903.817 s
c Initial Lower Bound: 1143
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### 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.91 0.97 0.99 2/54 8926
Raw data (stat): 8926 (runsolver) R 8925 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 662818045 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18322 0 0 0 948 48 0 0 25 0 1 0 662818045 78721024 18289 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19219 18289 1111 63 0 19156 0
vsize: 76876
[startup+20.002 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18322 0 0 0 1948 49 0 0 25 0 1 0 662818045 78721024 18289 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19219 18289 1111 63 0 19156 0
vsize: 76876
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18322 0 0 0 2948 49 0 0 25 0 1 0 662818045 78721024 18289 4294967295 134512640 134714540 3221221792 3221220416 1076648048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19219 18289 1111 63 0 19156 0
vsize: 76876
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18322 0 0 0 3947 49 0 0 25 0 1 0 662818045 78721024 18289 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19219 18289 1111 63 0 19156 0
vsize: 76876
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18322 0 0 0 4947 49 0 0 25 0 1 0 662818045 78721024 18289 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19219 18289 1111 63 0 19156 0
vsize: 76876
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18839 0 0 0 5946 51 0 0 25 0 1 0 662818045 80916480 18806 4294967295 134512640 134714540 3221221792 3221220592 134617611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19755 18806 1111 63 0 19692 0
vsize: 79020
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18839 0 0 0 6945 51 0 0 25 0 1 0 662818045 80916480 18806 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19755 18806 1111 63 0 19692 0
vsize: 79020
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 18839 0 0 0 7945 52 0 0 25 0 1 0 662818045 80916480 18806 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19755 18806 1111 63 0 19692 0
vsize: 79020
[startup+90.0083 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 8941 55 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220440 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 9941 56 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+110.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 10940 57 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 11940 57 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 12940 57 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 13939 58 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+150.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 14939 58 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+160.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 15939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+170.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 16938 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220592 134617617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 17938 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 18939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+200.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 19939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+210.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 20939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 21939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+230.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 22939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+240.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 23939 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 24940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 25940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+270.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 26940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 27940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220388 1076647889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 28940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 29940 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 30941 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 31941 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 32941 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 33941 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 34941 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 35942 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 36942 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 37942 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 38942 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 39943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 40943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220448 134605866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 41943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 42943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 43943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 44943 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 45944 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 46944 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 47944 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 48944 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 49944 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 50945 59 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+520.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 51944 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+530.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 52944 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220520 134672948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 53944 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 54944 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+560.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 55945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 56945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 57945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 58945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 59945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 60945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20458 0 0 0 61945 60 0 0 25 0 1 0 662818045 87547904 20425 4294967295 134512640 134714540 3221221792 3221220344 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20425 1111 63 0 21311 0
vsize: 85496
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20519 0 0 0 62946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20519 0 0 0 63946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20519 0 0 0 64946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20729 0 0 0 65946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.99 3/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20831 0 0 0 66946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20831 0 0 0 67946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 20837 0 0 0 68946 61 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 21272 0 0 0 69945 62 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+710.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 21495 0 0 0 70945 63 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 21495 0 0 0 71945 63 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 22443 0 0 0 72942 66 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 22900 0 0 0 73941 67 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 22981 0 0 0 74941 67 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 23198 0 0 0 75941 68 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 24155 0 0 0 76940 69 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220520 134672897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 24915 0 0 0 77938 71 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 24966 0 0 0 78938 72 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 26422 0 0 0 79934 75 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 27121 0 0 0 80932 77 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220532 134630783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+820.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 27423 0 0 0 81932 78 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 27873 0 0 0 82931 80 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 29293 0 0 0 83927 84 0 0 25 0 1 0 662818045 87547904 20446 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21374 20446 1111 63 0 21311 0
vsize: 85496
[startup+850.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 30953 0 0 0 84923 88 0 0 25 0 1 0 662818045 92262400 21576 4294967295 134512640 134714540 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22525 21576 1111 63 0 22462 0
vsize: 90100
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 31614 0 0 0 85921 89 0 0 25 0 1 0 662818045 94969856 22237 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23186 22237 1111 63 0 23123 0
vsize: 92744
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32093 0 0 0 86920 91 0 0 25 0 1 0 662818045 96886784 22716 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22716 1111 63 0 23591 0
vsize: 94616
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32093 0 0 0 87921 91 0 0 25 0 1 0 662818045 96886784 22716 4294967295 134512640 134714540 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22716 1111 63 0 23591 0
vsize: 94616
[startup+890.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32093 0 0 0 88921 91 0 0 25 0 1 0 662818045 96886784 22716 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22716 1111 63 0 23591 0
vsize: 94616
[startup+900.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32093 0 0 0 89921 91 0 0 25 0 1 0 662818045 96886784 22716 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22716 1111 63 0 23591 0
vsize: 94616
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 90920 92 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 91919 92 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 92919 93 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+940.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 93918 93 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+950.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 94918 93 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 95918 94 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 96918 94 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220528 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 97918 94 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220416 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 98917 95 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 99917 96 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 100916 97 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 101916 98 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 102916 98 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220552 134672721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 103916 98 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 104915 99 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 105914 100 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220416 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 106914 100 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220432 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 107914 101 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220496 134528724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 108913 101 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220536 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 109913 102 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 110913 102 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220496 134528687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 111912 103 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220400 134523339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 112911 104 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 113911 104 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220352 134696615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 114911 105 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 115911 105 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 116910 106 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 94616
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 8926
Raw data (stat): 8926 (bsolo_mis) R 8925 7876 7672 0 -1 0 32112 0 0 0 116910 106 0 0 25 0 1 0 662818045 96886784 22735 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23654 22735 1111 63 0 23591 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.07
CPU user time (s): 1173.97
CPU system time (s): 1.10583
CPU usage (%): 100.01
Max. virtual memory (Kb): 94616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####