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-jac3.opb
MD5SUM	43952ea8e0659c6ffd861c99c0b605de
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	1732
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	1732
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	1732
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05384
Number of variables	1731
Total number of constraints	1254
Number of constraints which are clauses	1254
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	694
Trace number 23489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 04:35:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=624 boxname=wulflinc31 idbench=70 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-jac3.opb
IDLAUNCH: 624
/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:        915596 kB
Buffers:         41432 kB
Cached:          55476 kB
SwapCached:        944 kB
Active:          80924 kB
Inactive:        18424 kB
HighTotal:      131008 kB
HighFree:        74536 kB
LowTotal:       903652 kB
LowFree:        841060 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14216 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 04:55:23 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 624 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1732 variables and 1254 constraints.
c After prepocess the problem consists of 1732 variables and 1247 constraints.
c preprocess terminated 4.423 s
c Initial Lower Bound: 9
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 20 @ 4.836
c NEW SOLUTION FOUND: 19 @ 80.375
c NEW SOLUTION FOUND: 18 @ 253.601
c NEW SOLUTION FOUND: 17 @ 508.724
#### 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 9042
Raw data (stat): 9042 (runsolver) R 9041 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 654561098 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.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 3502 0 0 0 986 10 0 0 25 0 1 0 654561098 18087936 3470 4294967295 134512640 134714540 3221221792 3221220152 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4416 3470 1111 63 0 4353 0
vsize: 17664
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 5484 0 0 0 1979 17 0 0 25 0 1 0 654561098 26308608 5437 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6423 5437 1111 63 0 6360 0
vsize: 25692
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 7299 0 0 0 2974 23 0 0 25 0 1 0 654561098 34009088 7218 4294967295 134512640 134714540 3221221792 3221220664 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8303 7218 1111 63 0 8240 0
vsize: 33212
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 8397 0 0 0 3972 25 0 0 25 0 1 0 654561098 38432768 8315 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9383 8315 1111 63 0 9320 0
vsize: 37532
[startup+50.0022 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 8689 0 0 0 4971 26 0 0 25 0 1 0 654561098 39682048 8607 4294967295 134512640 134714540 3221221792 3221220596 134622568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9688 8607 1111 63 0 9625 0
vsize: 38752
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 8689 0 0 0 5970 27 0 0 25 0 1 0 654561098 39682048 8607 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9688 8607 1111 63 0 9625 0
vsize: 38752
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 8689 0 0 0 6970 27 0 0 25 0 1 0 654561098 39682048 8607 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9688 8607 1111 63 0 9625 0
vsize: 38752
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 8689 0 0 0 7970 27 0 0 25 0 1 0 654561098 39682048 8607 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9688 8607 1111 63 0 9625 0
vsize: 38752
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 11546 0 0 0 8962 36 0 0 25 0 1 0 654561098 51400704 11441 4294967295 134512640 134714540 3221221792 3221220368 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12549 11441 1111 63 0 12486 0
vsize: 50196
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 14013 0 0 0 9955 43 0 0 25 0 1 0 654561098 62140416 13845 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15171 13845 1111 63 0 15108 0
vsize: 60684
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 14294 0 0 0 10954 44 0 0 25 0 1 0 654561098 63328256 14122 4294967295 134512640 134714540 3221221792 3221220508 134558608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15461 14122 1111 63 0 15398 0
vsize: 61844
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 14294 0 0 0 11954 45 0 0 25 0 1 0 654561098 63328256 14122 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15461 14122 1111 63 0 15398 0
vsize: 61844
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 15475 0 0 0 12950 48 0 0 25 0 1 0 654561098 68136960 15295 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16635 15295 1111 63 0 16572 0
vsize: 66540
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 13948 51 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 14947 51 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 15947 51 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220572 134623145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 16947 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 17947 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 18947 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 19947 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 20947 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 21948 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 22948 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 23948 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 16247 0 0 0 24948 52 0 0 25 0 1 0 654561098 71233536 16063 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17391 16063 1111 63 0 17328 0
vsize: 69564
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17810 0 0 0 25942 57 0 0 25 0 1 0 654561098 77438976 17622 4294967295 134512640 134714540 3221221792 3221220580 134558500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18906 17622 1111 63 0 18843 0
vsize: 75624
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 26942 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 27942 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 28943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 29943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 30943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 31943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 32943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+340.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 33943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 34943 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 35944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 36944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 37944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 38944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 39944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 40944 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 41945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 42945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 43945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 44945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 45945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 46945 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220584 134536897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+480.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 17893 0 0 0 47946 58 0 0 25 0 1 0 654561098 77844480 17705 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19005 17705 1111 63 0 18942 0
vsize: 76020
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 18266 0 0 0 48945 59 0 0 25 0 1 0 654561098 79335424 18078 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19369 18078 1111 63 0 19306 0
vsize: 77476
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 19787 0 0 0 49941 63 0 0 25 0 1 0 654561098 85409792 19585 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20852 19585 1111 63 0 20789 0
vsize: 83408
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 22217 0 0 0 50936 69 0 0 25 0 1 0 654561098 95125504 21482 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23224 21482 1111 63 0 23161 0
vsize: 92896
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 22220 0 0 0 51935 69 0 0 25 0 1 0 654561098 95260672 21485 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23257 21485 1111 63 0 23194 0
vsize: 93028
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 22223 0 0 0 52935 69 0 0 25 0 1 0 654561098 95260672 21488 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23257 21488 1111 63 0 23194 0
vsize: 93028
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 23009 0 0 0 53934 71 0 0 25 0 1 0 654561098 98488320 22269 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24045 22269 1111 63 0 23982 0
vsize: 96180
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 23635 0 0 0 54933 72 0 0 25 0 1 0 654561098 100823040 22791 4294967295 134512640 134714540 3221221792 3221220348 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24615 22791 1111 63 0 24552 0
vsize: 98460
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 25412 0 0 0 55928 77 0 0 25 0 1 0 654561098 108072960 24560 4294967295 134512640 134714540 3221221792 3221220432 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26385 24560 1111 63 0 26322 0
vsize: 105540
[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 26502 0 0 0 56925 80 0 0 25 0 1 0 654561098 112623616 25643 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27496 25643 1111 63 0 27433 0
vsize: 109984
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 26824 0 0 0 57923 82 0 0 25 0 1 0 654561098 113840128 25965 4294967295 134512640 134714540 3221221792 3221220552 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27793 25965 1111 63 0 27730 0
vsize: 111172
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 27006 0 0 0 58923 82 0 0 25 0 1 0 654561098 114663424 26143 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27994 26143 1111 63 0 27931 0
vsize: 111976
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 28473 0 0 0 59919 86 0 0 25 0 1 0 654561098 120352768 27490 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29383 27490 1111 63 0 29320 0
vsize: 117532
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29475 0 0 0 60917 88 0 0 25 0 1 0 654561098 124510208 28484 4294967295 134512640 134714540 3221221792 3221220592 134622489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30398 28484 1111 63 0 30335 0
vsize: 121592
[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 61916 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 62916 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 63916 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 64916 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220592 134622638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 65916 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 66917 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 67917 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 29964 0 0 0 68917 90 0 0 25 0 1 0 654561098 126410752 28973 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 28973 1111 63 0 30799 0
vsize: 123448
[startup+700.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 30136 0 0 0 69916 91 0 0 25 0 1 0 654561098 127086592 29145 4294967295 134512640 134714540 3221221792 3221220384 134696126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31027 29145 1111 63 0 30964 0
vsize: 124108
[startup+710.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 33626 0 0 0 70906 101 0 0 25 0 1 0 654561098 140812288 32406 4294967295 134512640 134714540 3221221792 3221220576 134624921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34378 32406 1111 63 0 34315 0
vsize: 137512
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 34556 0 0 0 71903 104 0 0 25 0 1 0 654561098 144818176 33232 4294967295 134512640 134714540 3221221792 3221220464 134538973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35356 33232 1111 63 0 35293 0
vsize: 141424
[startup+730.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 72902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+740.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 73902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+750.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 74902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+760.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 75902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 76902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 77902 106 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 78902 107 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 79902 107 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 80903 107 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35360 0 0 0 81903 107 0 0 25 0 1 0 654561098 148160512 34020 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36172 34020 1111 63 0 36109 0
vsize: 144688
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 82903 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 83903 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+850.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 84903 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+860.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 85903 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+870.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 86903 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+880.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 87904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+890.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 88904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 89904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 90904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 91904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 92904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 93904 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+950.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 94905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+960.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 95905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+970.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 96905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+980.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 97905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+990.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 98905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 99905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 100905 107 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 101906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220592 134622638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 102906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 103906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 104906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 105906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622625 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 106906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 107906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 108906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 109906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 110906 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 111907 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 112907 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 113907 108 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 114907 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 115907 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 116907 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 117907 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220512 134622863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 118907 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 9042
Raw data (stat): 9042 (bsolo_mis) R 9041 7876 7672 0 -1 0 35378 0 0 0 119908 109 0 0 25 0 1 0 654561098 148295680 34038 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36205 34038 1111 63 0 36142 0
vsize: 144820
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 9042
Raw data (stat): 9042 (bsolo_mis) Z 9041 7876 7672 0 -1 1036 35378 0 0 0 119908 115 0 0 25 0 1 0 654561098 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.1
CPU time (s): 1200.24
CPU user time (s): 1199.08
CPU system time (s): 1.15682
CPU usage (%): 100.011
Max. virtual memory (Kb): 144820
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####