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-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23324

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 11:56:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=327 boxname=wulflinc31 idbench=37 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4b4e9c4dea51b53ba8323ee6782645f0  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_13_sat_pb.cnf.cr.opb
IDLAUNCH: 327
/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:        927780 kB
Buffers:         38028 kB
Cached:          46856 kB
SwapCached:        864 kB
Active:          71896 kB
Inactive:        15384 kB
HighTotal:      131008 kB
HighFree:        83216 kB
LowTotal:       903652 kB
LowFree:        844564 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13992 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 12:15:37 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 327 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 293 variables and 236 constraints.
c After prepocess the problem consists of 293 variables and 236 constraints.
c preprocess terminated 0.146 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.92 0.97 0.96 2/54 23407
Raw data (stat): 23407 (runsolver) R 23406 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639923574 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99983 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 23407
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 3127 0 0 0 985 11 0 0 25 0 1 0 639923574 16408576 3102 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4006 3102 1111 63 0 3943 0
vsize: 16024
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 4919 0 0 0 1979 17 0 0 25 0 1 0 639923574 23842816 4894 4294967295 134512640 134714540 3221221776 3221220548 134529151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5821 4894 1111 63 0 5758 0
vsize: 23284
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 6301 0 0 0 2975 21 0 0 25 0 1 0 639923574 29519872 6276 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7207 6276 1111 63 0 7144 0
vsize: 28828
[startup+40.0005 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 7081 0 0 0 3971 25 0 0 25 0 1 0 639923574 32628736 7056 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7966 7056 1111 63 0 7903 0
vsize: 31864
[startup+50.0005 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 8206 0 0 0 4968 29 0 0 25 0 1 0 639923574 37224448 8181 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9088 8181 1111 63 0 9025 0
vsize: 36352
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 8992 0 0 0 5965 32 0 0 25 0 1 0 639923574 40464384 8967 4294967295 134512640 134714540 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9879 8967 1111 63 0 9816 0
vsize: 39516
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 9362 0 0 0 6964 33 0 0 25 0 1 0 639923574 41951232 9337 4294967295 134512640 134714540 3221221776 3221220456 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10242 9337 1111 63 0 10179 0
vsize: 40968
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 9584 0 0 0 7963 34 0 0 25 0 1 0 639923574 42897408 9559 4294967295 134512640 134714540 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10473 9559 1111 63 0 10410 0
vsize: 41892
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 10200 0 0 0 8961 37 0 0 25 0 1 0 639923574 45481984 10175 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11104 10175 1111 63 0 11041 0
vsize: 44416
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 10923 0 0 0 9958 40 0 0 25 0 1 0 639923574 48455680 10898 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11830 10898 1111 63 0 11767 0
vsize: 47320
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 11446 0 0 0 10956 42 0 0 25 0 1 0 639923574 50618368 11421 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12358 11421 1111 63 0 12295 0
vsize: 49432
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 12064 0 0 0 11954 44 0 0 25 0 1 0 639923574 53186560 12039 4294967295 134512640 134714540 3221221776 3221220364 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12039 1111 63 0 12922 0
vsize: 51940
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 12494 0 0 0 12952 46 0 0 25 0 1 0 639923574 54943744 12469 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13414 12469 1111 63 0 13351 0
vsize: 53656
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 12986 0 0 0 13950 49 0 0 25 0 1 0 639923574 56971264 12961 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13909 12961 1111 63 0 13846 0
vsize: 55636
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 13499 0 0 0 14948 51 0 0 25 0 1 0 639923574 59006976 13472 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14406 13472 1111 63 0 14343 0
vsize: 57624
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 13908 0 0 0 15946 52 0 0 25 0 1 0 639923574 60764160 13881 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14835 13881 1111 63 0 14772 0
vsize: 59340
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 14233 0 0 0 16945 54 0 0 25 0 1 0 639923574 62124032 14206 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15167 14206 1111 63 0 15104 0
vsize: 60668
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 14399 0 0 0 17944 55 0 0 25 0 1 0 639923574 62799872 14372 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15332 14372 1111 63 0 15269 0
vsize: 61328
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 14662 0 0 0 18943 56 0 0 25 0 1 0 639923574 63877120 14634 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15595 14634 1111 63 0 15532 0
vsize: 62380
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 15486 0 0 0 19940 59 0 0 25 0 1 0 639923574 67276800 15458 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16425 15458 1111 63 0 16362 0
vsize: 65700
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 15634 0 0 0 20939 60 0 0 25 0 1 0 639923574 67817472 15606 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16557 15606 1111 63 0 16494 0
vsize: 66228
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 16314 0 0 0 21937 63 0 0 25 0 1 0 639923574 70664192 16285 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16285 1111 63 0 17189 0
vsize: 69008
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 16988 0 0 0 22935 65 0 0 25 0 1 0 639923574 73367552 16958 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17912 16958 1111 63 0 17849 0
vsize: 71648
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23409
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 17349 0 0 0 23934 66 0 0 25 0 1 0 639923574 74866688 17319 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18278 17319 1111 63 0 18215 0
vsize: 73112
[startup+250.049 s]
Raw data (loadavg): 1.07 0.99 0.96 2/58 23450
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 18089 0 0 0 24935 69 0 0 25 0 1 0 639923574 77975552 18059 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19037 18059 1111 63 0 18974 0
vsize: 76148
[startup+260.049 s]
Raw data (loadavg): 1.14 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 18629 0 0 0 25933 72 0 0 25 0 1 0 639923574 80158720 18599 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19570 18599 1111 63 0 19507 0
vsize: 78280
[startup+270.049 s]
Raw data (loadavg): 1.11 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 18914 0 0 0 26931 73 0 0 25 0 1 0 639923574 81375232 18884 4294967295 134512640 134714540 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19867 18884 1111 63 0 19804 0
vsize: 79468
[startup+280.049 s]
Raw data (loadavg): 1.10 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 19158 0 0 0 27931 74 0 0 25 0 1 0 639923574 82321408 19128 4294967295 134512640 134714540 3221221776 3221220416 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20098 19128 1111 63 0 20035 0
vsize: 80392
[startup+290.05 s]
Raw data (loadavg): 1.08 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 19640 0 0 0 28929 76 0 0 25 0 1 0 639923574 84213760 19610 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20560 19610 1111 63 0 20497 0
vsize: 82240
[startup+300.05 s]
Raw data (loadavg): 1.07 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 19965 0 0 0 29928 77 0 0 25 0 1 0 639923574 85565440 19935 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20890 19935 1111 63 0 20827 0
vsize: 83560
[startup+310.05 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 23460
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 20150 0 0 0 30927 78 0 0 25 0 1 0 639923574 86388736 20120 4294967295 134512640 134714540 3221221776 3221220512 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21091 20120 1111 63 0 21028 0
vsize: 84364
[startup+320.051 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 20619 0 0 0 31926 80 0 0 25 0 1 0 639923574 88289280 20588 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21555 20588 1111 63 0 21492 0
vsize: 86220
[startup+330.051 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 21005 0 0 0 32924 81 0 0 25 0 1 0 639923574 89939968 20970 4294967295 134512640 134714540 3221221776 3221220512 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21958 20970 1111 63 0 21895 0
vsize: 87832
[startup+340.052 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 21694 0 0 0 33922 84 0 0 25 0 1 0 639923574 92778496 21659 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22651 21659 1111 63 0 22588 0
vsize: 90604
[startup+350.051 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 22278 0 0 0 34920 86 0 0 25 0 1 0 639923574 95072256 22243 4294967295 134512640 134714540 3221221776 3221220248 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23211 22243 1111 63 0 23148 0
vsize: 92844
[startup+360.052 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 22856 0 0 0 35918 88 0 0 25 0 1 0 639923574 97505280 22821 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23805 22821 1111 63 0 23742 0
vsize: 95220
[startup+370.053 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 23397 0 0 0 36916 91 0 0 25 0 1 0 639923574 99807232 23362 4294967295 134512640 134714540 3221221776 3221220432 134524132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24367 23362 1111 63 0 24304 0
vsize: 97468
[startup+380.052 s]
Raw data (loadavg): 1.02 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 24058 0 0 0 37912 94 0 0 25 0 1 0 639923574 102514688 24023 4294967295 134512640 134714540 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25028 24023 1111 63 0 24965 0
vsize: 100112
[startup+390.054 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 24385 0 0 0 38912 95 0 0 25 0 1 0 639923574 103731200 24350 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25325 24350 1111 63 0 25262 0
vsize: 101300
[startup+400.055 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 24752 0 0 0 39910 97 0 0 25 0 1 0 639923574 105349120 24716 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25720 24716 1111 63 0 25657 0
vsize: 102880
[startup+410.054 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 25153 0 0 0 40909 99 0 0 25 0 1 0 639923574 106971136 25117 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26116 25117 1111 63 0 26053 0
vsize: 104464
[startup+420.054 s]
Raw data (loadavg): 1.01 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 25663 0 0 0 41906 101 0 0 25 0 1 0 639923574 108998656 25627 4294967295 134512640 134714540 3221221776 3221220308 1077374082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26611 25627 1111 63 0 26548 0
vsize: 106444
[startup+430.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 26055 0 0 0 42905 103 0 0 25 0 1 0 639923574 110620672 26019 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27007 26019 1111 63 0 26944 0
vsize: 108028
[startup+440.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 26463 0 0 0 43903 105 0 0 25 0 1 0 639923574 112242688 26427 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27403 26427 1111 63 0 27340 0
vsize: 109612
[startup+450.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 26990 0 0 0 44902 106 0 0 25 0 1 0 639923574 114544640 26953 4294967295 134512640 134714540 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27965 26953 1111 63 0 27902 0
vsize: 111860
[startup+460.056 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 27356 0 0 0 45900 108 0 0 25 0 1 0 639923574 116031488 27319 4294967295 134512640 134714540 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28328 27319 1111 63 0 28265 0
vsize: 113312
[startup+470.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 27801 0 0 0 46898 110 0 0 25 0 1 0 639923574 117788672 27764 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28757 27764 1111 63 0 28694 0
vsize: 115028
[startup+480.057 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 28172 0 0 0 47897 112 0 0 25 0 1 0 639923574 119410688 28135 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29153 28135 1111 63 0 29090 0
vsize: 116612
[startup+490.058 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 28478 0 0 0 48895 114 0 0 25 0 1 0 639923574 120631296 28441 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29451 28441 1111 63 0 29388 0
vsize: 117804
[startup+500.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 28902 0 0 0 49894 115 0 0 25 0 1 0 639923574 122388480 28864 4294967295 134512640 134714540 3221221776 3221220540 134552560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29880 28864 1111 63 0 29817 0
vsize: 119520
[startup+510.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 29443 0 0 0 50892 117 0 0 25 0 1 0 639923574 124551168 29405 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30408 29405 1111 63 0 30345 0
vsize: 121632
[startup+520.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 29896 0 0 0 51891 119 0 0 25 0 1 0 639923574 126443520 29858 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30870 29858 1111 63 0 30807 0
vsize: 123480
[startup+530.059 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 30300 0 0 0 52890 120 0 0 25 0 1 0 639923574 128065536 30262 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31266 30262 1111 63 0 31203 0
vsize: 125064
[startup+540.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 30804 0 0 0 53888 122 0 0 25 0 1 0 639923574 130101248 30766 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31763 30766 1111 63 0 31700 0
vsize: 127052
[startup+550.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 31362 0 0 0 54886 124 0 0 25 0 1 0 639923574 132399104 31324 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32324 31324 1111 63 0 32261 0
vsize: 129296
[startup+560.06 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 31976 0 0 0 55883 127 0 0 25 0 1 0 639923574 134967296 31938 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32951 31938 1111 63 0 32888 0
vsize: 131804
[startup+570.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 32467 0 0 0 56880 130 0 0 25 0 1 0 639923574 136994816 32429 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33446 32429 1111 63 0 33383 0
vsize: 133784
[startup+580.061 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 32599 0 0 0 57880 131 0 0 25 0 1 0 639923574 137535488 32561 4294967295 134512640 134714540 3221221776 3221220512 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33578 32561 1111 63 0 33515 0
vsize: 134312
[startup+590.062 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 32731 0 0 0 58879 132 0 0 25 0 1 0 639923574 138076160 32692 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33710 32692 1111 63 0 33647 0
vsize: 134840
[startup+600.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23462
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 32884 0 0 0 59879 132 0 0 25 0 1 0 639923574 138616832 32845 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33842 32845 1111 63 0 33779 0
vsize: 135368
[startup+610.063 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33009 0 0 0 60879 133 0 0 25 0 1 0 639923574 139157504 32970 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33974 32970 1111 63 0 33911 0
vsize: 135896
[startup+620.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33188 0 0 0 61878 133 0 0 25 0 1 0 639923574 139968512 33149 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34172 33149 1111 63 0 34109 0
vsize: 136688
[startup+630.064 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33370 0 0 0 62878 133 0 0 25 0 1 0 639923574 140644352 33331 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34337 33331 1111 63 0 34274 0
vsize: 137348
[startup+640.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33527 0 0 0 63878 134 0 0 25 0 1 0 639923574 141320192 33488 4294967295 134512640 134714540 3221221776 3221220340 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34502 33488 1111 63 0 34439 0
vsize: 138008
[startup+650.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33674 0 0 0 64877 135 0 0 25 0 1 0 639923574 141860864 33635 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34634 33635 1111 63 0 34571 0
vsize: 138536
[startup+660.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33792 0 0 0 65876 136 0 0 25 0 1 0 639923574 142401536 33753 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34766 33753 1111 63 0 34703 0
vsize: 139064
[startup+670.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 33967 0 0 0 66876 137 0 0 25 0 1 0 639923574 143077376 33928 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34931 33929 1111 63 0 34868 0
vsize: 139724
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 34159 0 0 0 67874 138 0 0 25 0 1 0 639923574 143884288 34119 4294967295 134512640 134714540 3221221776 3221220464 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35128 34119 1111 63 0 35065 0
vsize: 140512
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 34348 0 0 0 68874 138 0 0 25 0 1 0 639923574 144695296 34308 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35326 34308 1111 63 0 35263 0
vsize: 141304
[startup+700.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 34570 0 0 0 69874 139 0 0 25 0 1 0 639923574 145506304 34530 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35524 34530 1111 63 0 35461 0
vsize: 142096
[startup+710.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 34903 0 0 0 70873 140 0 0 25 0 1 0 639923574 146857984 34863 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35854 34863 1111 63 0 35791 0
vsize: 143416
[startup+720.066 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 35238 0 0 0 71872 141 0 0 25 0 1 0 639923574 148344832 35198 4294967295 134512640 134714540 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36217 35198 1111 63 0 36154 0
vsize: 144868
[startup+730.067 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 35618 0 0 0 72870 143 0 0 25 0 1 0 639923574 149897216 35574 4294967295 134512640 134714540 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36596 35574 1111 63 0 36533 0
vsize: 146384
[startup+740.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 35990 0 0 0 73869 144 0 0 25 0 1 0 639923574 151384064 35946 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36959 35946 1111 63 0 36896 0
vsize: 147836
[startup+750.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 36179 0 0 0 74869 145 0 0 25 0 1 0 639923574 152244224 36135 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37169 36135 1111 63 0 37106 0
vsize: 148676
[startup+760.068 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 36410 0 0 0 75868 146 0 0 25 0 1 0 639923574 153190400 36365 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37400 36365 1111 63 0 37337 0
vsize: 149600
[startup+770.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 36725 0 0 0 76867 147 0 0 25 0 1 0 639923574 154542080 36680 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37730 36680 1111 63 0 37667 0
vsize: 150920
[startup+780.069 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 37035 0 0 0 77866 149 0 0 25 0 1 0 639923574 155758592 36990 4294967295 134512640 134714540 3221221776 3221220340 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38027 36990 1111 63 0 37964 0
vsize: 152108
[startup+790.07 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 37358 0 0 0 78865 150 0 0 25 0 1 0 639923574 157110272 37313 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38357 37313 1111 63 0 38294 0
vsize: 153428
[startup+800.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 37486 0 0 0 79865 150 0 0 25 0 1 0 639923574 157667328 37441 4294967295 134512640 134714540 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38493 37441 1111 63 0 38430 0
vsize: 153972
[startup+810.071 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 37673 0 0 0 80864 151 0 0 25 0 1 0 639923574 158347264 37628 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38659 37628 1111 63 0 38596 0
vsize: 154636
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 37908 0 0 0 81864 151 0 0 25 0 1 0 639923574 159293440 37863 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38890 37863 1111 63 0 38827 0
vsize: 155560
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 38097 0 0 0 82863 152 0 0 25 0 1 0 639923574 160108544 38052 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39089 38052 1111 63 0 39026 0
vsize: 156356
[startup+840.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 38286 0 0 0 83863 153 0 0 25 0 1 0 639923574 160923648 38239 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39288 38239 1111 63 0 39225 0
vsize: 157152
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 38488 0 0 0 84862 154 0 0 25 0 1 0 639923574 161734656 38441 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39486 38441 1111 63 0 39423 0
vsize: 157944
[startup+860.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 38762 0 0 0 85861 155 0 0 25 0 1 0 639923574 162951168 38715 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39783 38715 1111 63 0 39720 0
vsize: 159132
[startup+870.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 39232 0 0 0 86859 157 0 0 25 0 1 0 639923574 164868096 39181 4294967295 134512640 134714540 3221221776 3221220528 134592082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40251 39181 1111 63 0 40188 0
vsize: 161004
[startup+880.074 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 39596 0 0 0 87858 159 0 0 25 0 1 0 639923574 166354944 39545 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40614 39545 1111 63 0 40551 0
vsize: 162456
[startup+890.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 39960 0 0 0 88857 160 0 0 25 0 1 0 639923574 167841792 39909 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40977 39909 1111 63 0 40914 0
vsize: 163908
[startup+900.075 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 40172 0 0 0 89855 162 0 0 25 0 1 0 639923574 168837120 40120 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41220 40120 1111 63 0 41157 0
vsize: 164880
[startup+910.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 40408 0 0 0 90854 163 0 0 25 0 1 0 639923574 169799680 40355 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41455 40355 1111 63 0 41392 0
vsize: 165820
[startup+920.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 40717 0 0 0 91853 164 0 0 25 0 1 0 639923574 171020288 40664 4294967295 134512640 134714540 3221221776 3221220448 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41753 40664 1111 63 0 41690 0
vsize: 167012
[startup+930.076 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 40999 0 0 0 92852 166 0 0 25 0 1 0 639923574 172101632 40946 4294967295 134512640 134714540 3221221776 3221220668 134589235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42017 40946 1111 63 0 41954 0
vsize: 168068
[startup+940.077 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 41396 0 0 0 93850 168 0 0 25 0 1 0 639923574 173862912 41339 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42447 41339 1111 63 0 42384 0
vsize: 169788
[startup+950.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 41634 0 0 0 94849 169 0 0 25 0 1 0 639923574 174809088 41577 4294967295 134512640 134714540 3221221776 3221220432 134524069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42678 41577 1111 63 0 42615 0
vsize: 170712
[startup+960.078 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 41916 0 0 0 95848 170 0 0 25 0 1 0 639923574 175890432 41857 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42942 41857 1111 63 0 42879 0
vsize: 171768
[startup+970.079 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 42102 0 0 0 96848 170 0 0 25 0 1 0 639923574 176701440 42043 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43140 42043 1111 63 0 43077 0
vsize: 172560
[startup+980.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 42336 0 0 0 97847 171 0 0 25 0 1 0 639923574 177647616 42277 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43371 42277 1111 63 0 43308 0
vsize: 173484
[startup+990.081 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 42618 0 0 0 98846 172 0 0 25 0 1 0 639923574 178888704 42557 4294967295 134512640 134714540 3221221776 3221220464 134534115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43674 42557 1111 63 0 43611 0
vsize: 174696
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 43010 0 0 0 99845 174 0 0 25 0 1 0 639923574 180510720 42949 4294967295 134512640 134714540 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44070 42949 1111 63 0 44007 0
vsize: 176280
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 43181 0 0 0 100845 174 0 0 25 0 1 0 639923574 181194752 43120 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44237 43120 1111 63 0 44174 0
vsize: 176948
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 43425 0 0 0 101843 176 0 0 25 0 1 0 639923574 182140928 43364 4294967295 134512640 134714540 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44468 43364 1111 63 0 44405 0
vsize: 177872
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 43621 0 0 0 102842 178 0 0 25 0 1 0 639923574 182956032 43560 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44667 43560 1111 63 0 44604 0
vsize: 178668
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 43849 0 0 0 103841 179 0 0 25 0 1 0 639923574 183947264 43784 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44909 43784 1111 63 0 44846 0
vsize: 179636
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 44159 0 0 0 104840 180 0 0 25 0 1 0 639923574 185163776 44094 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45206 44094 1111 63 0 45143 0
vsize: 180824
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 44319 0 0 0 105840 180 0 0 25 0 1 0 639923574 185839616 44254 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45371 44254 1111 63 0 45308 0
vsize: 181484
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 44507 0 0 0 106839 181 0 0 25 0 1 0 639923574 186650624 44442 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45569 44442 1111 63 0 45506 0
vsize: 182276
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 44730 0 0 0 107838 182 0 0 25 0 1 0 639923574 187531264 44661 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45784 44661 1111 63 0 45721 0
vsize: 183136
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 44947 0 0 0 108837 183 0 0 25 0 1 0 639923574 188551168 44877 4294967295 134512640 134714540 3221221776 3221220532 134592078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46033 44877 1111 63 0 45970 0
vsize: 184132
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 45164 0 0 0 109837 184 0 0 25 0 1 0 639923574 189509632 45092 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46267 45092 1111 63 0 46204 0
vsize: 185068
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 45573 0 0 0 110835 186 0 0 25 0 1 0 639923574 191135744 45501 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46664 45501 1111 63 0 46601 0
vsize: 186656
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 45846 0 0 0 111834 187 0 0 25 0 1 0 639923574 192237568 45772 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46933 45772 1111 63 0 46870 0
vsize: 187732
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 46160 0 0 0 112833 188 0 0 25 0 1 0 639923574 193454080 46086 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47230 46086 1111 63 0 47167 0
vsize: 188920
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 46401 0 0 0 113832 189 0 0 25 0 1 0 639923574 194535424 46327 4294967295 134512640 134714540 3221221776 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47494 46327 1111 63 0 47431 0
vsize: 189976
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 46677 0 0 0 114832 190 0 0 25 0 1 0 639923574 195616768 46603 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47758 46603 1111 63 0 47695 0
vsize: 191032
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 47086 0 0 0 115830 192 0 0 25 0 1 0 639923574 197238784 47012 4294967295 134512640 134714540 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48154 47012 1111 63 0 48091 0
vsize: 192616
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.97 2/54 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 47258 0 0 0 116829 193 0 0 25 0 1 0 639923574 198057984 47184 4294967295 134512640 134714540 3221221776 3221220464 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48354 47184 1111 63 0 48291 0
vsize: 193416
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.97 1/53 23464
Raw data (stat): 23407 (bsolo_mis) R 23406 7876 7672 0 -1 0 47258 0 0 0 116829 193 0 0 25 0 1 0 639923574 198057984 47184 4294967295 134512640 134714540 3221221776 3221220464 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48354 47184 1111 63 0 48291 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.15
CPU user time (s): 1173.13
CPU system time (s): 2.02369
CPU usage (%): 100.012
Max. virtual memory (Kb): 193416
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####