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/ttp/normalized-circ10_3.opb
MD5SUM	fc17fbe37098e8642918641dd9a84b04
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	350
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	5
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	2500
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	32
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	2500
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	1189.1
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 24419

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 06:50:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2298 boxname=wulflinc31 idbench=256 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fc17fbe37098e8642918641dd9a84b04  /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-circ10_3.opb
IDLAUNCH: 2298
/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:        294748 kB
Buffers:         46084 kB
Cached:         659588 kB
SwapCached:        644 kB
Active:         309348 kB
Inactive:       398680 kB
HighTotal:      131008 kB
HighFree:        30940 kB
LowTotal:       903652 kB
LowFree:        263808 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26168 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 07:09:58 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 2298 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 40910 constraints.
c preprocess terminated 182.294 s
c Initial Lower Bound: 20
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.95 0.91 2/54 8102
Raw data (stat): 8102 (runsolver) R 8101 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 707217368 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.93 0.95 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 8125 0 0 0 971 25 0 0 25 0 1 0 707217368 46972928 8102 4294967295 134512640 134714540 3221221792 3221220352 134564840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11468 8102 1111 63 0 11405 0
vsize: 45872
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 54306 0 0 0 1856 140 0 0 25 0 1 0 707217368 50315264 11362 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12284 11362 1111 63 0 12221 0
vsize: 49136
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 97737 0 0 0 2746 251 0 0 25 0 1 0 707217368 53628928 12157 4294967295 134512640 134714540 3221221792 3221220400 134542598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13093 12157 1111 63 0 13030 0
vsize: 52372
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 99913 0 0 0 3739 257 0 0 25 0 1 0 707217368 55648256 12642 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13586 12642 1111 63 0 13523 0
vsize: 54344
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 103414 0 0 0 4729 267 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220404 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 103662 0 0 0 5729 268 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 103796 0 0 0 6728 268 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 104438 0 0 0 7727 270 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 105961 0 0 0 8724 273 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 108065 0 0 0 9719 278 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 110218 0 0 0 10715 283 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220156 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 115505 0 0 0 11702 296 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 122943 0 0 0 12685 313 0 0 25 0 1 0 707217368 67911680 15658 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16580 15658 1111 63 0 16517 0
vsize: 66320
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 133928 0 0 0 13659 339 0 0 25 0 1 0 707217368 72138752 16674 4294967295 134512640 134714540 3221221792 3221220280 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17612 16674 1111 63 0 17549 0
vsize: 70448
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 147100 0 0 0 14626 372 0 0 25 0 1 0 707217368 67915776 15659 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16581 15659 1111 63 0 16518 0
vsize: 66324
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 160696 0 0 0 15593 406 0 0 25 0 1 0 707217368 70164480 16195 4294967295 134512640 134714540 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17130 16195 1111 63 0 17067 0
vsize: 68520
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 183980 0 0 0 16537 462 0 0 25 0 1 0 707217368 67936256 15664 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16586 15664 1111 63 0 16523 0
vsize: 66344
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185929 0 0 0 17533 466 0 0 25 0 1 0 707217368 69328896 16006 4294967295 134512640 134714540 3221221792 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16006 1111 63 0 16863 0
vsize: 67704
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 18532 466 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 19533 466 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220496 134528481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 20533 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 21533 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220332 134539298 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 22533 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 23533 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 24533 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 25534 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 26534 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185944 0 0 0 27534 467 0 0 25 0 1 0 707217368 69328896 16021 4294967295 134512640 134714540 3221221792 3221220400 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16926 16021 1111 63 0 16863 0
vsize: 67704
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185949 0 0 0 28534 467 0 0 25 0 1 0 707217368 69464064 16026 4294967295 134512640 134714540 3221221792 3221220432 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16026 1111 63 0 16896 0
vsize: 67836
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185971 0 0 0 29534 467 0 0 25 0 1 0 707217368 69464064 16048 4294967295 134512640 134714540 3221221792 3221220332 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16048 1111 63 0 16896 0
vsize: 67836
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 185975 0 0 0 30534 467 0 0 25 0 1 0 707217368 69464064 16052 4294967295 134512640 134714540 3221221792 3221220448 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16959 16052 1111 63 0 16896 0
vsize: 67836
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186007 0 0 0 31534 467 0 0 25 0 1 0 707217368 69599232 16084 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16992 16084 1111 63 0 16929 0
vsize: 67968
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186037 0 0 0 32534 467 0 0 25 0 1 0 707217368 69734400 16114 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17025 16114 1111 63 0 16962 0
vsize: 68100
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186065 0 0 0 33534 467 0 0 25 0 1 0 707217368 69869568 16142 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17058 16142 1111 63 0 16995 0
vsize: 68232
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186084 0 0 0 34534 468 0 0 25 0 1 0 707217368 70004736 16161 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17091 16161 1111 63 0 17028 0
vsize: 68364
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186102 0 0 0 35534 468 0 0 25 0 1 0 707217368 70004736 16179 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17091 16179 1111 63 0 17028 0
vsize: 68364
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186118 0 0 0 36534 468 0 0 25 0 1 0 707217368 70139904 16195 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17124 16195 1111 63 0 17061 0
vsize: 68496
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186129 0 0 0 37534 468 0 0 25 0 1 0 707217368 70139904 16206 4294967295 134512640 134714540 3221221792 3221220384 134542668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17124 16206 1111 63 0 17061 0
vsize: 68496
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186172 0 0 0 38534 468 0 0 25 0 1 0 707217368 70275072 16249 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17157 16249 1111 63 0 17094 0
vsize: 68628
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186183 0 0 0 39535 468 0 0 25 0 1 0 707217368 70410240 16260 4294967295 134512640 134714540 3221221792 3221220360 1077377193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17190 16260 1111 63 0 17127 0
vsize: 68760
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186201 0 0 0 40535 468 0 0 25 0 1 0 707217368 70410240 16278 4294967295 134512640 134714540 3221221792 3221220404 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17190 16278 1111 63 0 17127 0
vsize: 68760
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186211 0 0 0 41535 468 0 0 25 0 1 0 707217368 70545408 16288 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17223 16288 1111 63 0 17160 0
vsize: 68892
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186240 0 0 0 42535 469 0 0 25 0 1 0 707217368 70545408 16317 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17223 16317 1111 63 0 17160 0
vsize: 68892
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186277 0 0 0 43535 469 0 0 25 0 1 0 707217368 70815744 16354 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17289 16354 1111 63 0 17226 0
vsize: 69156
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186300 0 0 0 44535 469 0 0 25 0 1 0 707217368 70815744 16377 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17289 16377 1111 63 0 17226 0
vsize: 69156
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186325 0 0 0 45534 470 0 0 25 0 1 0 707217368 70950912 16402 4294967295 134512640 134714540 3221221792 3221220384 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17322 16402 1111 63 0 17259 0
vsize: 69288
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186358 0 0 0 46534 470 0 0 25 0 1 0 707217368 71086080 16435 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17355 16435 1111 63 0 17292 0
vsize: 69420
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186379 0 0 0 47534 470 0 0 25 0 1 0 707217368 71221248 16456 4294967295 134512640 134714540 3221221792 3221220332 134539309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17388 16456 1111 63 0 17325 0
vsize: 69552
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186400 0 0 0 48534 471 0 0 25 0 1 0 707217368 71221248 16477 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17388 16477 1111 63 0 17325 0
vsize: 69552
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186417 0 0 0 49534 471 0 0 25 0 1 0 707217368 71356416 16494 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17421 16494 1111 63 0 17358 0
vsize: 69684
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186432 0 0 0 50534 471 0 0 25 0 1 0 707217368 71356416 16509 4294967295 134512640 134714540 3221221792 3221220396 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17421 16509 1111 63 0 17358 0
vsize: 69684
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186450 0 0 0 51534 471 0 0 25 0 1 0 707217368 71491584 16527 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17454 16527 1111 63 0 17391 0
vsize: 69816
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186482 0 0 0 52535 471 0 0 25 0 1 0 707217368 71626752 16559 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17487 16559 1111 63 0 17424 0
vsize: 69948
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186497 0 0 0 53535 471 0 0 25 0 1 0 707217368 71626752 16574 4294967295 134512640 134714540 3221221792 3221220300 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17487 16574 1111 63 0 17424 0
vsize: 69948
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186525 0 0 0 54535 471 0 0 25 0 1 0 707217368 71749632 16602 4294967295 134512640 134714540 3221221792 3221220412 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17517 16602 1111 63 0 17454 0
vsize: 70068
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186542 0 0 0 55535 471 0 0 25 0 1 0 707217368 71884800 16619 4294967295 134512640 134714540 3221221792 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16619 1111 63 0 17487 0
vsize: 70200
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186565 0 0 0 56534 472 0 0 25 0 1 0 707217368 71884800 16642 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17550 16642 1111 63 0 17487 0
vsize: 70200
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186590 0 0 0 57534 472 0 0 25 0 1 0 707217368 72019968 16667 4294967295 134512640 134714540 3221221792 3221220360 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16667 1111 63 0 17520 0
vsize: 70332
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186590 0 0 0 58534 472 0 0 25 0 1 0 707217368 72019968 16667 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17583 16667 1111 63 0 17520 0
vsize: 70332
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186612 0 0 0 59534 472 0 0 25 0 1 0 707217368 72155136 16689 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17616 16689 1111 63 0 17553 0
vsize: 70464
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186635 0 0 0 60534 472 0 0 25 0 1 0 707217368 72290304 16712 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16712 1111 63 0 17586 0
vsize: 70596
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186646 0 0 0 61535 472 0 0 25 0 1 0 707217368 72290304 16723 4294967295 134512640 134714540 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17649 16723 1111 63 0 17586 0
vsize: 70596
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186688 0 0 0 62534 473 0 0 25 0 1 0 707217368 72425472 16765 4294967295 134512640 134714540 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17682 16765 1111 63 0 17619 0
vsize: 70728
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186731 0 0 0 63534 473 0 0 25 0 1 0 707217368 72560640 16808 4294967295 134512640 134714540 3221221792 3221220384 134542812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17715 16808 1111 63 0 17652 0
vsize: 70860
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186761 0 0 0 64534 473 0 0 25 0 1 0 707217368 72695808 16838 4294967295 134512640 134714540 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17748 16838 1111 63 0 17685 0
vsize: 70992
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186793 0 0 0 65535 473 0 0 25 0 1 0 707217368 72830976 16870 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17781 16870 1111 63 0 17718 0
vsize: 71124
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186828 0 0 0 66534 474 0 0 25 0 1 0 707217368 72966144 16905 4294967295 134512640 134714540 3221221792 3221220464 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17814 16905 1111 63 0 17751 0
vsize: 71256
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186851 0 0 0 67535 474 0 0 25 0 1 0 707217368 73101312 16928 4294967295 134512640 134714540 3221221792 3221220448 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17847 16928 1111 63 0 17784 0
vsize: 71388
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186888 0 0 0 68535 474 0 0 25 0 1 0 707217368 73232384 16965 4294967295 134512640 134714540 3221221792 3221220384 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17879 16965 1111 63 0 17816 0
vsize: 71516
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186912 0 0 0 69535 474 0 0 25 0 1 0 707217368 73367552 16989 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17912 16989 1111 63 0 17849 0
vsize: 71648
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186945 0 0 0 70535 474 0 0 25 0 1 0 707217368 73502720 17022 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17945 17022 1111 63 0 17882 0
vsize: 71780
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 186976 0 0 0 71535 474 0 0 25 0 1 0 707217368 73637888 17053 4294967295 134512640 134714540 3221221792 3221220432 134539471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17978 17053 1111 63 0 17915 0
vsize: 71912
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187012 0 0 0 72535 474 0 0 25 0 1 0 707217368 73773056 17089 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18011 17089 1111 63 0 17948 0
vsize: 72044
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187042 0 0 0 73535 474 0 0 25 0 1 0 707217368 73908224 17119 4294967295 134512640 134714540 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18044 17119 1111 63 0 17981 0
vsize: 72176
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187055 0 0 0 74535 475 0 0 25 0 1 0 707217368 73908224 17132 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18044 17132 1111 63 0 17981 0
vsize: 72176
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187073 0 0 0 75535 475 0 0 25 0 1 0 707217368 74043392 17150 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 17150 1111 63 0 18014 0
vsize: 72308
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187092 0 0 0 76535 475 0 0 25 0 1 0 707217368 74043392 17169 4294967295 134512640 134714540 3221221792 3221220508 134542983 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 17169 1111 63 0 18014 0
vsize: 72308
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187118 0 0 0 77535 475 0 0 25 0 1 0 707217368 74178560 17195 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18110 17195 1111 63 0 18047 0
vsize: 72440
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187142 0 0 0 78535 476 0 0 25 0 1 0 707217368 74313728 17219 4294967295 134512640 134714540 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18143 17219 1111 63 0 18080 0
vsize: 72572
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187156 0 0 0 79535 476 0 0 25 0 1 0 707217368 74313728 17233 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18143 17233 1111 63 0 18080 0
vsize: 72572
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187184 0 0 0 80535 476 0 0 25 0 1 0 707217368 74448896 17261 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18176 17261 1111 63 0 18113 0
vsize: 72704
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187198 0 0 0 81535 476 0 0 25 0 1 0 707217368 74584064 17275 4294967295 134512640 134714540 3221221792 3221220496 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18209 17275 1111 63 0 18146 0
vsize: 72836
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187228 0 0 0 82534 476 0 0 25 0 1 0 707217368 74719232 17305 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18242 17305 1111 63 0 18179 0
vsize: 72968
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187265 0 0 0 83534 477 0 0 25 0 1 0 707217368 74854400 17342 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18275 17342 1111 63 0 18212 0
vsize: 73100
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187292 0 0 0 84534 477 0 0 25 0 1 0 707217368 74854400 17369 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18275 17369 1111 63 0 18212 0
vsize: 73100
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187320 0 0 0 85534 477 0 0 25 0 1 0 707217368 74989568 17397 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18308 17397 1111 63 0 18245 0
vsize: 73232
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187359 0 0 0 86535 477 0 0 25 0 1 0 707217368 75124736 17436 4294967295 134512640 134714540 3221221792 3221220432 134539369 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18341 17436 1111 63 0 18278 0
vsize: 73364
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187391 0 0 0 87535 477 0 0 25 0 1 0 707217368 75259904 17468 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18374 17468 1111 63 0 18311 0
vsize: 73496
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187417 0 0 0 88535 477 0 0 25 0 1 0 707217368 75395072 17494 4294967295 134512640 134714540 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18407 17494 1111 63 0 18344 0
vsize: 73628
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187448 0 0 0 89535 477 0 0 25 0 1 0 707217368 75530240 17525 4294967295 134512640 134714540 3221221792 3221220340 134696446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18440 17525 1111 63 0 18377 0
vsize: 73760
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187463 0 0 0 90535 478 0 0 25 0 1 0 707217368 75665408 17540 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18473 17540 1111 63 0 18410 0
vsize: 73892
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187482 0 0 0 91535 478 0 0 25 0 1 0 707217368 75665408 17559 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18473 17559 1111 63 0 18410 0
vsize: 73892
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187508 0 0 0 92535 478 0 0 25 0 1 0 707217368 75800576 17585 4294967295 134512640 134714540 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18506 17585 1111 63 0 18443 0
vsize: 74024
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187531 0 0 0 93535 478 0 0 25 0 1 0 707217368 75935744 17608 4294967295 134512640 134714540 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17608 1111 63 0 18476 0
vsize: 74156
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187531 0 0 0 94535 478 0 0 25 0 1 0 707217368 75935744 17608 4294967295 134512640 134714540 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17608 1111 63 0 18476 0
vsize: 74156
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187576 0 0 0 95534 479 0 0 25 0 1 0 707217368 76070912 17653 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17653 1111 63 0 18509 0
vsize: 74288
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187607 0 0 0 96535 479 0 0 25 0 1 0 707217368 76206080 17684 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18605 17684 1111 63 0 18542 0
vsize: 74420
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187650 0 0 0 97534 479 0 0 25 0 1 0 707217368 76345344 17727 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18639 17727 1111 63 0 18576 0
vsize: 74556
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187682 0 0 0 98534 479 0 0 25 0 1 0 707217368 76480512 17759 4294967295 134512640 134714540 3221221792 3221220424 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18672 17759 1111 63 0 18609 0
vsize: 74688
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187710 0 0 0 99535 480 0 0 25 0 1 0 707217368 76615680 17787 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18705 17787 1111 63 0 18642 0
vsize: 74820
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187739 0 0 0 100535 480 0 0 25 0 1 0 707217368 76750848 17816 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18738 17816 1111 63 0 18675 0
vsize: 74952
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187769 0 0 0 101535 480 0 0 25 0 1 0 707217368 76881920 17846 4294967295 134512640 134714540 3221221792 3221220512 134535767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18770 17846 1111 63 0 18707 0
vsize: 75080
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187803 0 0 0 102534 480 0 0 25 0 1 0 707217368 77017088 17880 4294967295 134512640 134714540 3221221792 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18803 17880 1111 63 0 18740 0
vsize: 75212
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187835 0 0 0 103534 481 0 0 25 0 1 0 707217368 77152256 17912 4294967295 134512640 134714540 3221221792 3221220448 134536624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18836 17912 1111 63 0 18773 0
vsize: 75344
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187855 0 0 0 104534 481 0 0 25 0 1 0 707217368 77287424 17932 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 17932 1111 63 0 18806 0
vsize: 75476
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187898 0 0 0 105534 481 0 0 25 0 1 0 707217368 77422592 17975 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18902 17975 1111 63 0 18839 0
vsize: 75608
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187934 0 0 0 106534 482 0 0 25 0 1 0 707217368 77557760 18011 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18935 18011 1111 63 0 18872 0
vsize: 75740
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187961 0 0 0 107534 482 0 0 25 0 1 0 707217368 77692928 18038 4294967295 134512640 134714540 3221221792 3221220480 134542842 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18968 18038 1111 63 0 18905 0
vsize: 75872
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 187999 0 0 0 108534 482 0 0 25 0 1 0 707217368 77828096 18076 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19001 18076 1111 63 0 18938 0
vsize: 76004
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188027 0 0 0 109533 483 0 0 25 0 1 0 707217368 77963264 18104 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19034 18104 1111 63 0 18971 0
vsize: 76136
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188044 0 0 0 110533 483 0 0 25 0 1 0 707217368 77963264 18121 4294967295 134512640 134714540 3221221792 3221220368 134542689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19034 18121 1111 63 0 18971 0
vsize: 76136
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188099 0 0 0 111533 483 0 0 25 0 1 0 707217368 78233600 18176 4294967295 134512640 134714540 3221221792 3221220496 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19100 18176 1111 63 0 19037 0
vsize: 76400
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188155 0 0 0 112533 483 0 0 25 0 1 0 707217368 78503936 18232 4294967295 134512640 134714540 3221221792 3221220436 134539352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19166 18232 1111 63 0 19103 0
vsize: 76664
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188208 0 0 0 113534 483 0 0 25 0 1 0 707217368 78639104 18285 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19199 18285 1111 63 0 19136 0
vsize: 76796
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188244 0 0 0 114533 484 0 0 25 0 1 0 707217368 78774272 18321 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19232 18321 1111 63 0 19169 0
vsize: 76928
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188289 0 0 0 115533 484 0 0 25 0 1 0 707217368 79044608 18366 4294967295 134512640 134714540 3221221792 3221220456 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19298 18366 1111 63 0 19235 0
vsize: 77192
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188349 0 0 0 116533 484 0 0 25 0 1 0 707217368 79179776 18426 4294967295 134512640 134714540 3221221792 3221220352 134542334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19331 18426 1111 63 0 19268 0
vsize: 77324
[startup+1174.93 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 8102
Raw data (stat): 8102 (bsolo_mis) R 8101 7876 7672 0 -1 0 188349 0 0 0 116533 484 0 0 25 0 1 0 707217368 79179776 18426 4294967295 134512640 134714540 3221221792 3221220352 134542334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19331 18426 1111 63 0 19268 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.06
CPU user time (s): 1170.18
CPU system time (s): 4.88326
CPU usage (%): 100.012
Max. virtual memory (Kb): 77324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####