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/aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
MD5SUM	32e3ba70c369e104da40b8d0cd94d02f
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	14
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.051991
Number of variables	215
Total number of constraints	178
Number of constraints which are clauses	154
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 23294

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 05:57:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=273 boxname=wulflinc31 idbench=31 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  32e3ba70c369e104da40b8d0cd94d02f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga13_11_sat_pb.cnf.cr.opb
IDLAUNCH: 273
/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:        928660 kB
Buffers:         37532 kB
Cached:          46536 kB
SwapCached:        864 kB
Active:          71524 kB
Inactive:        14900 kB
HighTotal:      131008 kB
HighFree:        83496 kB
LowTotal:       903652 kB
LowFree:        845164 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13908 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 06:17:13 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 273 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 215 variables and 178 constraints.
c After prepocess the problem consists of 215 variables and 178 constraints.
c preprocess terminated 0.094 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.94 2/54 20205
Raw data (stat): 20205 (runsolver) R 20204 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637772880 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.001 s]
Raw data (loadavg): 0.93 0.95 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 2787 0 0 0 986 10 0 0 25 0 1 0 637772880 15060992 2762 4294967295 134512640 134714540 3221221776 3221220384 134549282 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3677 2762 1111 63 0 3614 0
vsize: 14708
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 4292 0 0 0 1978 18 0 0 25 0 1 0 637772880 21278720 4267 4294967295 134512640 134714540 3221221776 3221220428 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5195 4267 1111 63 0 5132 0
vsize: 20780
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 5275 0 0 0 2974 23 0 0 25 0 1 0 637772880 25198592 5250 4294967295 134512640 134714540 3221221776 3221220288 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6152 5250 1111 63 0 6089 0
vsize: 24608
[startup+40.0039 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 6105 0 0 0 3970 27 0 0 25 0 1 0 637772880 28721152 6080 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7012 6080 1111 63 0 6949 0
vsize: 28048
[startup+50.0038 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 6765 0 0 0 4967 30 0 0 25 0 1 0 637772880 31313920 6740 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7645 6740 1111 63 0 7582 0
vsize: 30580
[startup+60.0041 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 7519 0 0 0 5964 33 0 0 25 0 1 0 637772880 34455552 7494 4294967295 134512640 134714540 3221221776 3221220456 134524423 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8412 7494 1111 63 0 8349 0
vsize: 33648
[startup+70.0046 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 8622 0 0 0 6958 39 0 0 25 0 1 0 637772880 39075840 8597 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9540 8597 1111 63 0 9477 0
vsize: 38160
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 9370 0 0 0 7955 42 0 0 25 0 1 0 637772880 42188800 9345 4294967295 134512640 134714540 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10300 9345 1111 63 0 10237 0
vsize: 41200
[startup+90.0062 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 10178 0 0 0 8951 46 0 0 25 0 1 0 637772880 45473792 10153 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11102 10153 1111 63 0 11039 0
vsize: 44408
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 10914 0 0 0 9948 50 0 0 25 0 1 0 637772880 48586752 10889 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11862 10889 1111 63 0 11799 0
vsize: 47448
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 11481 0 0 0 10946 52 0 0 25 0 1 0 637772880 50884608 11456 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12423 11456 1111 63 0 12360 0
vsize: 49692
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 12047 0 0 0 11943 55 0 0 25 0 1 0 637772880 53243904 12022 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12999 12022 1111 63 0 12936 0
vsize: 51996
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 12491 0 0 0 12941 57 0 0 25 0 1 0 637772880 55136256 12466 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13461 12466 1111 63 0 13398 0
vsize: 53844
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 20205
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 12958 0 0 0 13939 60 0 0 25 0 1 0 637772880 57126912 12932 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13947 12932 1111 63 0 13884 0
vsize: 55788
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 20206
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 13504 0 0 0 14937 62 0 0 25 0 1 0 637772880 59363328 13474 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14493 13474 1111 63 0 14430 0
vsize: 57972
[startup+160.356 s]
Raw data (loadavg): 1.29 1.04 0.96 3/57 20246
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 13832 0 0 0 15970 63 0 0 25 0 1 0 637772880 60735488 13801 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14828 13801 1111 63 0 14765 0
vsize: 59312
[startup+170.356 s]
Raw data (loadavg): 1.40 1.07 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 14221 0 0 0 16968 65 0 0 25 0 1 0 637772880 62545920 14188 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15270 14188 1111 63 0 15207 0
vsize: 61080
[startup+180.528 s]
Raw data (loadavg): 1.34 1.06 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 14647 0 0 0 17984 67 0 0 25 0 1 0 637772880 64253952 14610 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15687 14610 1111 63 0 15624 0
vsize: 62748
[startup+190.787 s]
Raw data (loadavg): 1.29 1.06 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 14960 0 0 0 19008 68 0 0 25 0 1 0 637772880 65515520 14920 4294967295 134512640 134714540 3221221776 3221220560 134529291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15995 14920 1111 63 0 15932 0
vsize: 63980
[startup+200.786 s]
Raw data (loadavg): 1.24 1.06 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 15255 0 0 0 20007 70 0 0 25 0 1 0 637772880 66772992 15214 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16302 15214 1111 63 0 16239 0
vsize: 65208
[startup+210.787 s]
Raw data (loadavg): 1.20 1.06 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 15543 0 0 0 21006 71 0 0 25 0 1 0 637772880 67919872 15502 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16582 15502 1111 63 0 16519 0
vsize: 66328
[startup+220.787 s]
Raw data (loadavg): 1.17 1.05 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 15763 0 0 0 22005 72 0 0 25 0 1 0 637772880 68898816 15722 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16821 15722 1111 63 0 16758 0
vsize: 67284
[startup+230.788 s]
Raw data (loadavg): 1.15 1.05 0.97 2/54 20258
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 16073 0 0 0 23004 73 0 0 25 0 1 0 637772880 70115328 16031 4294967295 134512640 134714540 3221221776 3221220416 134696126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17118 16032 1111 63 0 17055 0
vsize: 68472
[startup+240.789 s]
Raw data (loadavg): 1.12 1.05 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 16760 0 0 0 24001 77 0 0 25 0 1 0 637772880 73023488 16716 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17828 16716 1111 63 0 17765 0
vsize: 71312
[startup+250.788 s]
Raw data (loadavg): 1.10 1.05 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 17157 0 0 0 24999 78 0 0 25 0 1 0 637772880 74645504 17113 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18224 17113 1111 63 0 18161 0
vsize: 72896
[startup+260.789 s]
Raw data (loadavg): 1.09 1.05 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 17525 0 0 0 25998 80 0 0 25 0 1 0 637772880 76132352 17481 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18587 17481 1111 63 0 18524 0
vsize: 74348
[startup+270.79 s]
Raw data (loadavg): 1.07 1.04 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 17786 0 0 0 26997 81 0 0 25 0 1 0 637772880 77234176 17742 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18856 17742 1111 63 0 18793 0
vsize: 75424
[startup+280.79 s]
Raw data (loadavg): 1.06 1.04 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 18256 0 0 0 27995 83 0 0 25 0 1 0 637772880 79183872 18206 4294967295 134512640 134714540 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19332 18206 1111 63 0 19269 0
vsize: 77328
[startup+290.791 s]
Raw data (loadavg): 1.05 1.04 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 18593 0 0 0 28994 85 0 0 25 0 1 0 637772880 80535552 18543 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19662 18543 1111 63 0 19599 0
vsize: 78648
[startup+300.791 s]
Raw data (loadavg): 1.04 1.04 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 18870 0 0 0 29993 86 0 0 25 0 1 0 637772880 81616896 18820 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19926 18820 1111 63 0 19863 0
vsize: 79704
[startup+310.792 s]
Raw data (loadavg): 1.04 1.04 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 19176 0 0 0 30992 87 0 0 25 0 1 0 637772880 82849792 19126 4294967295 134512640 134714540 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20227 19126 1111 63 0 20164 0
vsize: 80908
[startup+320.792 s]
Raw data (loadavg): 1.03 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 19467 0 0 0 31991 88 0 0 25 0 1 0 637772880 84078592 19416 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20527 19416 1111 63 0 20464 0
vsize: 82108
[startup+330.793 s]
Raw data (loadavg): 1.02 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 19833 0 0 0 32990 90 0 0 25 0 1 0 637772880 85729280 19778 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20930 19778 1111 63 0 20867 0
vsize: 83720
[startup+340.794 s]
Raw data (loadavg): 1.02 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 20368 0 0 0 33988 92 0 0 25 0 1 0 637772880 87928832 20311 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21467 20311 1111 63 0 21404 0
vsize: 85868
[startup+350.793 s]
Raw data (loadavg): 1.02 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 20824 0 0 0 34986 94 0 0 25 0 1 0 637772880 89686016 20767 4294967295 134512640 134714540 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21896 20767 1111 63 0 21833 0
vsize: 87584
[startup+360.795 s]
Raw data (loadavg): 1.01 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 21252 0 0 0 35985 95 0 0 25 0 1 0 637772880 91443200 21195 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22325 21195 1111 63 0 22262 0
vsize: 89300
[startup+370.794 s]
Raw data (loadavg): 1.01 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 21838 0 0 0 36983 97 0 0 25 0 1 0 637772880 93876224 21781 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22919 21781 1111 63 0 22856 0
vsize: 91676
[startup+380.794 s]
Raw data (loadavg): 1.01 1.03 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 22484 0 0 0 37981 99 0 0 25 0 1 0 637772880 96579584 22427 4294967295 134512640 134714540 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23579 22427 1111 63 0 23516 0
vsize: 94316
[startup+390.796 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 22935 0 0 0 38979 101 0 0 25 0 1 0 637772880 98336768 22878 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24008 22878 1111 63 0 23945 0
vsize: 96032
[startup+400.795 s]
Raw data (loadavg): 1.01 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 23257 0 0 0 39978 103 0 0 25 0 1 0 637772880 99688448 23200 4294967295 134512640 134714540 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24338 23200 1111 63 0 24275 0
vsize: 97352
[startup+410.795 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 23501 0 0 0 40977 103 0 0 25 0 1 0 637772880 100827136 23439 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24616 23439 1111 63 0 24553 0
vsize: 98464
[startup+420.795 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 23720 0 0 0 41977 104 0 0 25 0 1 0 637772880 101679104 23656 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24824 23656 1111 63 0 24761 0
vsize: 99296
[startup+430.796 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 23957 0 0 0 42976 105 0 0 25 0 1 0 637772880 102625280 23893 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25055 23893 1111 63 0 24992 0
vsize: 100220
[startup+440.796 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 24143 0 0 0 43975 106 0 0 25 0 1 0 637772880 103555072 24078 4294967295 134512640 134714540 3221221776 3221220368 134549670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25282 24078 1111 63 0 25219 0
vsize: 101128
[startup+450.796 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 24319 0 0 0 44975 106 0 0 25 0 1 0 637772880 104300544 24253 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25464 24253 1111 63 0 25401 0
vsize: 101856
[startup+460.797 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 24570 0 0 0 45975 107 0 0 25 0 1 0 637772880 105402368 24503 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25733 24503 1111 63 0 25670 0
vsize: 102932
[startup+470.797 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 24769 0 0 0 46974 108 0 0 25 0 1 0 637772880 106262528 24700 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25943 24700 1111 63 0 25880 0
vsize: 103772
[startup+480.797 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 24950 0 0 0 47973 109 0 0 25 0 1 0 637772880 107016192 24881 4294967295 134512640 134714540 3221221776 3221220272 134535385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26127 24881 1111 63 0 26064 0
vsize: 104508
[startup+490.798 s]
Raw data (loadavg): 1.00 1.02 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25175 0 0 0 48973 110 0 0 25 0 1 0 637772880 108093440 25102 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26390 25102 1111 63 0 26327 0
vsize: 105560
[startup+500.798 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20260
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25348 0 0 0 49972 110 0 0 25 0 1 0 637772880 108781568 25275 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26558 25275 1111 63 0 26495 0
vsize: 106232
[startup+510.798 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25526 0 0 0 50972 111 0 0 25 0 1 0 637772880 109543424 25452 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26744 25452 1111 63 0 26681 0
vsize: 106976
[startup+520.797 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25682 0 0 0 51971 112 0 0 25 0 1 0 637772880 110227456 25606 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26911 25606 1111 63 0 26848 0
vsize: 107644
[startup+530.798 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25848 0 0 0 52971 112 0 0 25 0 1 0 637772880 110817280 25771 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27055 25771 1111 63 0 26992 0
vsize: 108220
[startup+540.799 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 25938 0 0 0 53971 112 0 0 25 0 1 0 637772880 111284224 25861 4294967295 134512640 134714540 3221221776 3221220400 134696297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27169 25861 1111 63 0 27106 0
vsize: 108676
[startup+550.798 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 26109 0 0 0 54970 113 0 0 25 0 1 0 637772880 111992832 26031 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27342 26031 1111 63 0 27279 0
vsize: 109368
[startup+560.799 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 26590 0 0 0 55968 116 0 0 25 0 1 0 637772880 113975296 26505 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27826 26505 1111 63 0 27763 0
vsize: 111304
[startup+570.8 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 26984 0 0 0 56966 118 0 0 25 0 1 0 637772880 115597312 26899 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28222 26899 1111 63 0 28159 0
vsize: 112888
[startup+580.8 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 27414 0 0 0 57964 120 0 0 25 0 1 0 637772880 117387264 27325 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28659 27325 1111 63 0 28596 0
vsize: 114636
[startup+590.801 s]
Raw data (loadavg): 1.00 1.01 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 27659 0 0 0 58964 121 0 0 25 0 1 0 637772880 118333440 27570 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28890 27570 1111 63 0 28827 0
vsize: 115560
[startup+600.801 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 28003 0 0 0 59962 122 0 0 25 0 1 0 637772880 119820288 27913 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29253 27913 1111 63 0 29190 0
vsize: 117012
[startup+610.802 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 28344 0 0 0 60961 123 0 0 25 0 1 0 637772880 121171968 28254 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29583 28254 1111 63 0 29520 0
vsize: 118332
[startup+620.802 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 28647 0 0 0 61960 125 0 0 25 0 1 0 637772880 122523648 28557 4294967295 134512640 134714540 3221221776 3221220560 134529075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29913 28557 1111 63 0 29850 0
vsize: 119652
[startup+630.802 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 28832 0 0 0 62959 126 0 0 25 0 1 0 637772880 123359232 28742 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30117 28742 1111 63 0 30054 0
vsize: 120468
[startup+640.803 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29056 0 0 0 63958 127 0 0 25 0 1 0 637772880 124194816 28964 4294967295 134512640 134714540 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30321 28964 1111 63 0 30258 0
vsize: 121284
[startup+650.803 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29205 0 0 0 64958 127 0 0 25 0 1 0 637772880 124882944 29112 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30489 29112 1111 63 0 30426 0
vsize: 121956
[startup+660.803 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29369 0 0 0 65957 128 0 0 25 0 1 0 637772880 125423616 29276 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30621 29276 1111 63 0 30558 0
vsize: 122484
[startup+670.802 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29553 0 0 0 66957 129 0 0 25 0 1 0 637772880 126259200 29459 4294967295 134512640 134714540 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30825 29459 1111 63 0 30762 0
vsize: 123300
[startup+680.803 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29651 0 0 0 67956 129 0 0 25 0 1 0 637772880 126664704 29557 4294967295 134512640 134714540 3221221776 3221220440 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30924 29557 1111 63 0 30861 0
vsize: 123696
[startup+690.804 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 29871 0 0 0 68956 130 0 0 25 0 1 0 637772880 127537152 29774 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31137 29774 1111 63 0 31074 0
vsize: 124548
[startup+700.803 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 30137 0 0 0 69955 131 0 0 25 0 1 0 637772880 128618496 30040 4294967295 134512640 134714540 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31401 30040 1111 63 0 31338 0
vsize: 125604
[startup+710.804 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 30316 0 0 0 70954 132 0 0 25 0 1 0 637772880 129458176 30215 4294967295 134512640 134714540 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31606 30215 1111 63 0 31543 0
vsize: 126424
[startup+720.804 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 30404 0 0 0 71954 133 0 0 25 0 1 0 637772880 129728512 30303 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31672 30303 1111 63 0 31609 0
vsize: 126688
[startup+730.805 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 30738 0 0 0 72952 134 0 0 25 0 1 0 637772880 131080192 30637 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32002 30637 1111 63 0 31939 0
vsize: 128008
[startup+740.806 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 30878 0 0 0 73952 135 0 0 25 0 1 0 637772880 131756032 30777 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32167 30777 1111 63 0 32104 0
vsize: 128668
[startup+750.807 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31128 0 0 0 74951 136 0 0 25 0 1 0 637772880 132702208 31027 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32398 31027 1111 63 0 32335 0
vsize: 129592
[startup+760.807 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31270 0 0 0 75950 137 0 0 25 0 1 0 637772880 133242880 31169 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32530 31169 1111 63 0 32467 0
vsize: 130120
[startup+770.807 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31443 0 0 0 76949 139 0 0 25 0 1 0 637772880 134053888 31342 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32728 31342 1111 63 0 32665 0
vsize: 130912
[startup+780.808 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31579 0 0 0 77949 139 0 0 25 0 1 0 637772880 134610944 31478 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32864 31478 1111 63 0 32801 0
vsize: 131456
[startup+790.808 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31739 0 0 0 78949 139 0 0 25 0 1 0 637772880 135151616 31638 4294967295 134512640 134714540 3221221776 3221220464 134551929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32996 31638 1111 63 0 32933 0
vsize: 131984
[startup+800.808 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31852 0 0 0 79948 140 0 0 25 0 1 0 637772880 135692288 31751 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33128 31751 1111 63 0 33065 0
vsize: 132512
[startup+810.809 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 31958 0 0 0 80947 141 0 0 25 0 1 0 637772880 136130560 31856 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33235 31856 1111 63 0 33172 0
vsize: 132940
[startup+820.808 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 32043 0 0 0 81947 141 0 0 25 0 1 0 637772880 136400896 31941 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33301 31941 1111 63 0 33238 0
vsize: 133204
[startup+830.809 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 32327 0 0 0 82945 143 0 0 25 0 1 0 637772880 137617408 32225 4294967295 134512640 134714540 3221221776 3221220544 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33598 32225 1111 63 0 33535 0
vsize: 134392
[startup+840.811 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 32568 0 0 0 83944 145 0 0 25 0 1 0 637772880 138563584 32466 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33829 32466 1111 63 0 33766 0
vsize: 135316
[startup+850.81 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 32833 0 0 0 84943 146 0 0 25 0 1 0 637772880 139644928 32731 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34093 32731 1111 63 0 34030 0
vsize: 136372
[startup+860.81 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33133 0 0 0 85942 147 0 0 25 0 1 0 637772880 140861440 33031 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34390 33031 1111 63 0 34327 0
vsize: 137560
[startup+870.811 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33371 0 0 0 86941 148 0 0 25 0 1 0 637772880 141807616 33269 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34621 33269 1111 63 0 34558 0
vsize: 138484
[startup+880.812 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33482 0 0 0 87941 149 0 0 25 0 1 0 637772880 142413824 33374 4294967295 134512640 134714540 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34769 33374 1111 63 0 34706 0
vsize: 139076
[startup+890.812 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33669 0 0 0 88941 149 0 0 25 0 1 0 637772880 143228928 33560 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34968 33560 1111 63 0 34905 0
vsize: 139872
[startup+900.812 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33818 0 0 0 89940 150 0 0 25 0 1 0 637772880 143769600 33709 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35100 33709 1111 63 0 35037 0
vsize: 140400
[startup+910.813 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 33986 0 0 0 90939 151 0 0 25 0 1 0 637772880 144449536 33877 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35266 33877 1111 63 0 35203 0
vsize: 141064
[startup+920.813 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 34147 0 0 0 91938 152 0 0 25 0 1 0 637772880 145125376 34038 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35431 34038 1111 63 0 35368 0
vsize: 141724
[startup+930.814 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 34403 0 0 0 92938 153 0 0 25 0 1 0 637772880 146288640 34289 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35715 34289 1111 63 0 35652 0
vsize: 142860
[startup+940.815 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 34676 0 0 0 93936 155 0 0 25 0 1 0 637772880 147513344 34560 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36014 34560 1111 63 0 35951 0
vsize: 144056
[startup+950.815 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 34889 0 0 0 94935 156 0 0 25 0 1 0 637772880 148324352 34773 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36212 34773 1111 63 0 36149 0
vsize: 144848
[startup+960.815 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35043 0 0 0 95934 157 0 0 25 0 1 0 637772880 149000192 34927 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36377 34927 1111 63 0 36314 0
vsize: 145508
[startup+970.814 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35147 0 0 0 96934 158 0 0 25 0 1 0 637772880 149405696 35031 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36476 35031 1111 63 0 36413 0
vsize: 145904
[startup+980.815 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35367 0 0 0 97933 158 0 0 25 0 1 0 637772880 150441984 35242 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36729 35242 1111 63 0 36666 0
vsize: 146916
[startup+990.816 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35545 0 0 0 98932 160 0 0 25 0 1 0 637772880 151117824 35419 4294967295 134512640 134714540 3221221776 3221220380 134549858 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36894 35419 1111 63 0 36831 0
vsize: 147576
[startup+1000.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35695 0 0 0 99931 161 0 0 25 0 1 0 637772880 151797760 35567 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37060 35567 1111 63 0 36997 0
vsize: 148240
[startup+1010.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35810 0 0 0 100931 161 0 0 25 0 1 0 637772880 152207360 35681 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37160 35681 1111 63 0 37097 0
vsize: 148640
[startup+1020.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35923 0 0 0 101931 161 0 0 25 0 1 0 637772880 152612864 35793 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37259 35793 1111 63 0 37196 0
vsize: 149036
[startup+1030.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 35990 0 0 0 102931 162 0 0 25 0 1 0 637772880 153051136 35860 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37366 35860 1111 63 0 37303 0
vsize: 149464
[startup+1040.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36034 0 0 0 103931 162 0 0 25 0 1 0 637772880 153214976 35902 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37406 35902 1111 63 0 37343 0
vsize: 149624
[startup+1050.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36094 0 0 0 104931 162 0 0 25 0 1 0 637772880 153485312 35962 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37472 35962 1111 63 0 37409 0
vsize: 149888
[startup+1060.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36213 0 0 0 105930 163 0 0 25 0 1 0 637772880 153890816 36081 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37571 36081 1111 63 0 37508 0
vsize: 150284
[startup+1070.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36345 0 0 0 106930 163 0 0 25 0 1 0 637772880 154505216 36211 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37721 36211 1111 63 0 37658 0
vsize: 150884
[startup+1080.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36451 0 0 0 107930 163 0 0 25 0 1 0 637772880 154984448 36311 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37838 36311 1111 63 0 37775 0
vsize: 151352
[startup+1090.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36583 0 0 0 108930 164 0 0 25 0 1 0 637772880 155541504 36443 4294967295 134512640 134714540 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37974 36443 1111 63 0 37911 0
vsize: 151896
[startup+1100.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36700 0 0 0 109929 164 0 0 25 0 1 0 637772880 156082176 36560 4294967295 134512640 134714540 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38106 36560 1111 63 0 38043 0
vsize: 152424
[startup+1110.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36845 0 0 0 110929 165 0 0 25 0 1 0 637772880 156622848 36705 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38238 36705 1111 63 0 38175 0
vsize: 152952
[startup+1120.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 36936 0 0 0 111929 165 0 0 25 0 1 0 637772880 157040640 36796 4294967295 134512640 134714540 3221221776 3221220452 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38340 36796 1111 63 0 38277 0
vsize: 153360
[startup+1130.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37084 0 0 0 112929 166 0 0 25 0 1 0 637772880 157671424 36941 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38494 36941 1111 63 0 38431 0
vsize: 153976
[startup+1140.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37136 0 0 0 113929 166 0 0 25 0 1 0 637772880 157941760 36993 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38560 36993 1111 63 0 38497 0
vsize: 154240
[startup+1150.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37286 0 0 0 114928 167 0 0 25 0 1 0 637772880 158547968 37134 4294967295 134512640 134714540 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38708 37134 1111 63 0 38645 0
vsize: 154832
[startup+1160.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37434 0 0 0 115928 167 0 0 25 0 1 0 637772880 159223808 37282 4294967295 134512640 134714540 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38873 37282 1111 63 0 38810 0
vsize: 155492
[startup+1170.82 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37559 0 0 0 116928 168 0 0 25 0 1 0 637772880 159629312 37407 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38972 37407 1111 63 0 38909 0
vsize: 155888
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 20262
Raw data (stat): 20205 (bsolo_mis) R 20204 7876 7672 0 -1 0 37559 0 0 0 116928 168 0 0 25 0 1 0 637772880 159629312 37407 4294967295 134512640 134714540 3221221776 3221220464 134528607 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38972 37407 1111 63 0 38909 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1173.39
CPU system time (s): 1.75173
CPU usage (%): 100.012
Max. virtual memory (Kb): 155888
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####