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-chnl20_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	22
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Trace number 23179

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 03:20:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=66 boxname=wulflinc31 idbench=8 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 66
/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:        932516 kB
Buffers:         35556 kB
Cached:          44840 kB
SwapCached:        864 kB
Active:          67540 kB
Inactive:        15192 kB
HighTotal:      131008 kB
HighFree:        85176 kB
LowTotal:       903652 kB
LowFree:        847340 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13836 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 03:39:54 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 66 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 840 variables and 82 constraints.
c After prepocess the problem consists of 840 variables and 82 constraints.
c preprocess terminated 0.183 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.98 0.93 2/54 7668
Raw data (stat): 7668 (runsolver) R 7667 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 628187947 1056768 100 4294967295 134512640 135381576 3221221648 3221216868 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 3530 0 0 0 983 13 0 0 25 0 1 0 628187947 18161664 3505 4294967295 134512640 134714540 3221221744 3221220216 134613962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4434 3506 1111 63 0 4371 0
vsize: 17736
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 5109 0 0 0 1978 19 0 0 25 0 1 0 628187947 24649728 5084 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6018 5084 1111 63 0 5955 0
vsize: 24072
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 5902 0 0 0 2973 24 0 0 25 0 1 0 628187947 27893760 5877 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6810 5877 1111 63 0 6747 0
vsize: 27240
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 6332 0 0 0 3971 26 0 0 25 0 1 0 628187947 29696000 6307 4294967295 134512640 134714540 3221221744 3221220296 134696490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7250 6307 1111 63 0 7187 0
vsize: 29000
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 7774 0 0 0 4966 32 0 0 25 0 1 0 628187947 35663872 7749 4294967295 134512640 134714540 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8707 7749 1111 63 0 8644 0
vsize: 34828
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 8813 0 0 0 5962 36 0 0 25 0 1 0 628187947 39866368 8788 4294967295 134512640 134714540 3221221744 3221220300 134535623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9733 8788 1111 63 0 9670 0
vsize: 38932
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 9562 0 0 0 6959 39 0 0 25 0 1 0 628187947 42987520 9537 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10495 9537 1111 63 0 10432 0
vsize: 41980
[startup+80.0047 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 10121 0 0 0 7956 42 0 0 25 0 1 0 628187947 45285376 10096 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11056 10096 1111 63 0 10993 0
vsize: 44224
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 10740 0 0 0 8953 45 0 0 25 0 1 0 628187947 47849472 10715 4294967295 134512640 134714540 3221221744 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11682 10715 1111 63 0 11619 0
vsize: 46728
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 11197 0 0 0 9950 48 0 0 25 0 1 0 628187947 49750016 11172 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12146 11172 1111 63 0 12083 0
vsize: 48584
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 12095 0 0 0 10947 52 0 0 25 0 1 0 628187947 53399552 12070 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13037 12070 1111 63 0 12974 0
vsize: 52148
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 12675 0 0 0 11944 55 0 0 25 0 1 0 628187947 55709696 12650 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13601 12650 1111 63 0 13538 0
vsize: 54404
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 13047 0 0 0 12942 57 0 0 25 0 1 0 628187947 57217024 13022 4294967295 134512640 134714540 3221221744 3221220428 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13969 13022 1111 63 0 13906 0
vsize: 55876
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 13743 0 0 0 13940 59 0 0 25 0 1 0 628187947 60084224 13718 4294967295 134512640 134714540 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14669 13718 1111 63 0 14606 0
vsize: 58676
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 14248 0 0 0 14938 61 0 0 25 0 1 0 628187947 62246912 14222 4294967295 134512640 134714540 3221221744 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15197 14222 1111 63 0 15134 0
vsize: 60788
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 14699 0 0 0 15937 63 0 0 25 0 1 0 628187947 64004096 14673 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15626 14673 1111 63 0 15563 0
vsize: 62504
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 15075 0 0 0 16935 65 0 0 25 0 1 0 628187947 65626112 15049 4294967295 134512640 134714540 3221221744 3221220528 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16022 15049 1111 63 0 15959 0
vsize: 64088
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 15424 0 0 0 17933 67 0 0 25 0 1 0 628187947 67010560 15397 4294967295 134512640 134714540 3221221744 3221220448 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16360 15397 1111 63 0 16297 0
vsize: 65440
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 15735 0 0 0 18932 68 0 0 25 0 1 0 628187947 68366336 15705 4294967295 134512640 134714540 3221221744 3221220384 134696126 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16691 15705 1111 63 0 16628 0
vsize: 66764
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 15963 0 0 0 19931 70 0 0 25 0 1 0 628187947 69455872 15932 4294967295 134512640 134714540 3221221744 3221220372 134696293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16957 15932 1111 63 0 16894 0
vsize: 67828
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 16325 0 0 0 20930 71 0 0 25 0 1 0 628187947 70942720 16294 4294967295 134512640 134714540 3221221744 3221220512 134592098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17320 16294 1111 63 0 17257 0
vsize: 69280
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 16815 0 0 0 21928 73 0 0 25 0 1 0 628187947 73031680 16783 4294967295 134512640 134714540 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17830 16783 1111 63 0 17767 0
vsize: 71320
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 17137 0 0 0 22927 74 0 0 25 0 1 0 628187947 74391552 17105 4294967295 134512640 134714540 3221221744 3221220416 134551968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18162 17105 1111 63 0 18099 0
vsize: 72648
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 17308 0 0 0 23926 76 0 0 25 0 1 0 628187947 75067392 17276 4294967295 134512640 134714540 3221221744 3221220432 134534089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18327 17276 1111 63 0 18264 0
vsize: 73308
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 17619 0 0 0 24925 77 0 0 25 0 1 0 628187947 76357632 17583 4294967295 134512640 134714540 3221221744 3221220504 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18642 17583 1111 63 0 18579 0
vsize: 74568
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7668
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 17862 0 0 0 25923 79 0 0 25 0 1 0 628187947 77340672 17822 4294967295 134512640 134714540 3221221744 3221220416 134551978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18882 17822 1111 63 0 18819 0
vsize: 75528
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/59 7725
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 18124 0 0 0 26922 80 0 0 25 0 1 0 628187947 78405632 18084 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19142 18084 1111 63 0 19079 0
vsize: 76568
[startup+280.015 s]
Raw data (loadavg): 1.07 1.00 0.93 2/57 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 18372 0 0 0 27920 82 0 0 25 0 1 0 628187947 79474688 18332 4294967295 134512640 134714540 3221221744 3221220480 134535728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19403 18332 1111 63 0 19340 0
vsize: 77612
[startup+290.015 s]
Raw data (loadavg): 1.06 1.00 0.93 2/57 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 18536 0 0 0 28920 82 0 0 25 0 1 0 628187947 80150528 18496 4294967295 134512640 134714540 3221221744 3221220496 134591920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19568 18496 1111 63 0 19505 0
vsize: 78272
[startup+300.016 s]
Raw data (loadavg): 1.05 1.00 0.93 2/57 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 18916 0 0 0 29919 83 0 0 25 0 1 0 628187947 81637376 18876 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19931 18876 1111 63 0 19868 0
vsize: 79724
[startup+310.015 s]
Raw data (loadavg): 1.04 1.00 0.93 2/56 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 19191 0 0 0 30917 85 0 0 25 0 1 0 628187947 82841600 19151 4294967295 134512640 134714540 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20225 19151 1111 63 0 20162 0
vsize: 80900
[startup+320.016 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 19407 0 0 0 31917 86 0 0 25 0 1 0 628187947 83652608 19367 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20423 19367 1111 63 0 20360 0
vsize: 81692
[startup+330.016 s]
Raw data (loadavg): 1.03 1.00 0.93 2/56 7751
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 19636 0 0 0 32916 87 0 0 25 0 1 0 628187947 84598784 19596 4294967295 134512640 134714540 3221221744 3221220452 134524590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20654 19596 1111 63 0 20591 0
vsize: 82616
[startup+340.016 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 7752
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 19987 0 0 0 33913 90 0 0 25 0 1 0 628187947 86081536 19947 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21016 19947 1111 63 0 20953 0
vsize: 84064
[startup+350.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 7752
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 20265 0 0 0 34912 91 0 0 25 0 1 0 628187947 87158784 20225 4294967295 134512640 134714540 3221221744 3221220528 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21279 20225 1111 63 0 21216 0
vsize: 85116
[startup+360.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/56 7752
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 20470 0 0 0 35911 92 0 0 25 0 1 0 628187947 88117248 20430 4294967295 134512640 134714540 3221221744 3221220464 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21513 20430 1111 63 0 21450 0
vsize: 86052
[startup+370.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 7752
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 20731 0 0 0 36910 93 0 0 25 0 1 0 628187947 89063424 20691 4294967295 134512640 134714540 3221221744 3221220300 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21744 20691 1111 63 0 21681 0
vsize: 86976
[startup+380.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 20961 0 0 0 37909 95 0 0 25 0 1 0 628187947 90030080 20921 4294967295 134512640 134714540 3221221744 3221220320 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21980 20921 1111 63 0 21917 0
vsize: 87920
[startup+390.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 21173 0 0 0 38909 95 0 0 25 0 1 0 628187947 90976256 21133 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22211 21133 1111 63 0 22148 0
vsize: 88844
[startup+400.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 21390 0 0 0 39907 98 0 0 25 0 1 0 628187947 91930624 21350 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22444 21350 1111 63 0 22381 0
vsize: 89776
[startup+410.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 21878 0 0 0 40904 100 0 0 25 0 1 0 628187947 93822976 21838 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22906 21838 1111 63 0 22843 0
vsize: 91624
[startup+420.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 22136 0 0 0 41902 102 0 0 25 0 1 0 628187947 94904320 22096 4294967295 134512640 134714540 3221221744 3221220504 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23170 22096 1111 63 0 23107 0
vsize: 92680
[startup+430.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 22498 0 0 0 42900 104 0 0 25 0 1 0 628187947 96391168 22458 4294967295 134512640 134714540 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23533 22458 1111 63 0 23470 0
vsize: 94132
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 23000 0 0 0 43898 107 0 0 25 0 1 0 628187947 98418688 22960 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24028 22960 1111 63 0 23965 0
vsize: 96112
[startup+450.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 23195 0 0 0 44897 108 0 0 25 0 1 0 628187947 99229696 23155 4294967295 134512640 134714540 3221221744 3221220396 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24226 23155 1111 63 0 24163 0
vsize: 96904
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 23484 0 0 0 45896 109 0 0 25 0 1 0 628187947 100446208 23444 4294967295 134512640 134714540 3221221744 3221220240 134535477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24523 23444 1111 63 0 24460 0
vsize: 98092
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 23844 0 0 0 46895 111 0 0 25 0 1 0 628187947 101933056 23804 4294967295 134512640 134714540 3221221744 3221220480 134528735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24886 23804 1111 63 0 24823 0
vsize: 99544
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 24029 0 0 0 47893 112 0 0 25 0 1 0 628187947 102805504 23989 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25099 23989 1111 63 0 25036 0
vsize: 100396
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 24244 0 0 0 48892 113 0 0 25 0 1 0 628187947 103616512 24204 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25297 24204 1111 63 0 25234 0
vsize: 101188
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 24535 0 0 0 49891 115 0 0 25 0 1 0 628187947 104833024 24495 4294967295 134512640 134714540 3221221744 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25594 24495 1111 63 0 25531 0
vsize: 102376
[startup+510.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 24741 0 0 0 50891 115 0 0 25 0 1 0 628187947 105644032 24700 4294967295 134512640 134714540 3221221744 3221220536 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25792 24700 1111 63 0 25729 0
vsize: 103168
[startup+520.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 24866 0 0 0 51890 116 0 0 25 0 1 0 628187947 106184704 24825 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25924 24825 1111 63 0 25861 0
vsize: 103696
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 25056 0 0 0 52889 117 0 0 25 0 1 0 628187947 107008000 25014 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26125 25014 1111 63 0 26062 0
vsize: 104500
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7753
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 25260 0 0 0 53888 119 0 0 25 0 1 0 628187947 107819008 25218 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26323 25218 1111 63 0 26260 0
vsize: 105292
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 25414 0 0 0 54888 119 0 0 25 0 1 0 628187947 108494848 25372 4294967295 134512640 134714540 3221221744 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26488 25372 1111 63 0 26425 0
vsize: 105952
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 25719 0 0 0 55886 121 0 0 25 0 1 0 628187947 109715456 25677 4294967295 134512640 134714540 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26786 25677 1111 63 0 26723 0
vsize: 107144
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26016 0 0 0 56884 123 0 0 25 0 1 0 628187947 111095808 25973 4294967295 134512640 134714540 3221221744 3221220396 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27123 25973 1111 63 0 27060 0
vsize: 108492
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26181 0 0 0 57884 124 0 0 25 0 1 0 628187947 111796224 26135 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27294 26135 1111 63 0 27231 0
vsize: 109176
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26288 0 0 0 58883 125 0 0 25 0 1 0 628187947 112201728 26242 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27393 26242 1111 63 0 27330 0
vsize: 109572
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26357 0 0 0 59882 126 0 0 25 0 1 0 628187947 112517120 26308 4294967295 134512640 134714540 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27470 26308 1111 63 0 27407 0
vsize: 109880
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7754
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26421 0 0 0 60882 126 0 0 25 0 1 0 628187947 112652288 26372 4294967295 134512640 134714540 3221221744 3221220336 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27503 26372 1111 63 0 27440 0
vsize: 110012
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7755
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26477 0 0 0 61882 127 0 0 25 0 1 0 628187947 112971776 26425 4294967295 134512640 134714540 3221221744 3221219988 134697228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27581 26425 1111 63 0 27518 0
vsize: 110324
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/56 7755
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26590 0 0 0 62881 128 0 0 25 0 1 0 628187947 113467392 26531 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27702 26531 1111 63 0 27639 0
vsize: 110808
[startup+640.028 s]
Raw data (loadavg): 1.07 1.02 0.94 2/56 7756
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26662 0 0 0 63881 128 0 0 25 0 1 0 628187947 113786880 26601 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27780 26601 1111 63 0 27717 0
vsize: 111120
[startup+650.029 s]
Raw data (loadavg): 1.06 1.02 0.94 2/56 7756
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26708 0 0 0 64881 129 0 0 25 0 1 0 628187947 113971200 26643 4294967295 134512640 134714540 3221221744 3221220300 134535984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27825 26643 1111 63 0 27762 0
vsize: 111300
[startup+660.029 s]
Raw data (loadavg): 1.05 1.01 0.94 2/56 7756
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 26740 0 0 0 65880 129 0 0 25 0 1 0 628187947 114106368 26675 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27858 26675 1111 63 0 27795 0
vsize: 111432
[startup+670.03 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 7757
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 27007 0 0 0 66879 130 0 0 25 0 1 0 628187947 115224576 26940 4294967295 134512640 134714540 3221221744 3221220384 134536650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28131 26940 1111 63 0 28068 0
vsize: 112524
[startup+680.031 s]
Raw data (loadavg): 1.04 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 28021 0 0 0 67877 133 0 0 25 0 1 0 628187947 119410688 27954 4294967295 134512640 134714540 3221221744 3221220448 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29153 27954 1111 63 0 29090 0
vsize: 116612
[startup+690.031 s]
Raw data (loadavg): 1.03 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 28523 0 0 0 68875 135 0 0 25 0 1 0 628187947 121438208 28456 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29648 28456 1111 63 0 29585 0
vsize: 118592
[startup+700.032 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 29163 0 0 0 69872 138 0 0 25 0 1 0 628187947 124006400 29096 4294967295 134512640 134714540 3221221744 3221220336 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30275 29096 1111 63 0 30212 0
vsize: 121100
[startup+710.033 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 29965 0 0 0 70870 141 0 0 25 0 1 0 628187947 127283200 29894 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31075 29894 1111 63 0 31012 0
vsize: 124300
[startup+720.034 s]
Raw data (loadavg): 1.02 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 30583 0 0 0 71867 143 0 0 25 0 1 0 628187947 129851392 30512 4294967295 134512640 134714540 3221221744 3221220488 134551632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31702 30512 1111 63 0 31639 0
vsize: 126808
[startup+730.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 30840 0 0 0 72866 145 0 0 25 0 1 0 628187947 130932736 30769 4294967295 134512640 134714540 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31966 30769 1111 63 0 31903 0
vsize: 127864
[startup+740.034 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31025 0 0 0 73866 145 0 0 25 0 1 0 628187947 131756032 30954 4294967295 134512640 134714540 3221221744 3221220472 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32167 30954 1111 63 0 32104 0
vsize: 128668
[startup+750.035 s]
Raw data (loadavg): 1.01 1.01 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31398 0 0 0 74864 147 0 0 25 0 1 0 628187947 133242880 31326 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32530 31326 1111 63 0 32467 0
vsize: 130120
[startup+760.034 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31573 0 0 0 75863 148 0 0 25 0 1 0 628187947 133935104 31501 4294967295 134512640 134714540 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32699 31501 1111 63 0 32636 0
vsize: 130796
[startup+770.035 s]
Raw data (loadavg): 1.01 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31717 0 0 0 76863 149 0 0 25 0 1 0 628187947 134619136 31645 4294967295 134512640 134714540 3221221744 3221220528 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32866 31645 1111 63 0 32803 0
vsize: 131464
[startup+780.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31789 0 0 0 77863 149 0 0 25 0 1 0 628187947 134889472 31717 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32932 31717 1111 63 0 32869 0
vsize: 131728
[startup+790.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 31924 0 0 0 78862 150 0 0 25 0 1 0 628187947 135430144 31852 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33064 31852 1111 63 0 33001 0
vsize: 132256
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 32022 0 0 0 79861 151 0 0 25 0 1 0 628187947 135852032 31950 4294967295 134512640 134714540 3221221744 3221220384 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33167 31950 1111 63 0 33104 0
vsize: 132668
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 32426 0 0 0 80859 153 0 0 25 0 1 0 628187947 137474048 32354 4294967295 134512640 134714540 3221221744 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33563 32354 1111 63 0 33500 0
vsize: 134252
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7758
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 32737 0 0 0 81858 154 0 0 25 0 1 0 628187947 138825728 32665 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33893 32665 1111 63 0 33830 0
vsize: 135572
[startup+830.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 32988 0 0 0 82857 156 0 0 25 0 1 0 628187947 139771904 32916 4294967295 134512640 134714540 3221221744 3221220448 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34124 32916 1111 63 0 34061 0
vsize: 136496
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 33191 0 0 0 83856 157 0 0 25 0 1 0 628187947 140582912 33119 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34322 33119 1111 63 0 34259 0
vsize: 137288
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 33393 0 0 0 84856 157 0 0 25 0 1 0 628187947 141529088 33321 4294967295 134512640 134714540 3221221744 3221220444 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34553 33321 1111 63 0 34490 0
vsize: 138212
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 33586 0 0 0 85854 159 0 0 25 0 1 0 628187947 142204928 33514 4294967295 134512640 134714540 3221221744 3221220308 134535986 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34718 33514 1111 63 0 34655 0
vsize: 138872
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 33722 0 0 0 86854 160 0 0 25 0 1 0 628187947 142745600 33650 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34850 33650 1111 63 0 34787 0
vsize: 139400
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 33877 0 0 0 87853 161 0 0 25 0 1 0 628187947 143474688 33801 4294967295 134512640 134714540 3221221744 3221220504 134552645 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35028 33801 1111 63 0 34965 0
vsize: 140112
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 35287 0 0 0 88849 165 0 0 25 0 1 0 628187947 149274624 35211 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 35211 1111 63 0 36381 0
vsize: 145776
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 36083 0 0 0 89846 168 0 0 25 0 1 0 628187947 152518656 36007 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37236 36007 1111 63 0 37173 0
vsize: 148944
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 36636 0 0 0 90845 170 0 0 25 0 1 0 628187947 154816512 36560 4294967295 134512640 134714540 3221221744 3221220324 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37797 36560 1111 63 0 37734 0
vsize: 151188
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 37228 0 0 0 91842 173 0 0 25 0 1 0 628187947 157229056 37152 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38386 37152 1111 63 0 38323 0
vsize: 153544
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 37665 0 0 0 92841 174 0 0 25 0 1 0 628187947 158998528 37585 4294967295 134512640 134714540 3221221744 3221220448 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38818 37585 1111 63 0 38755 0
vsize: 155272
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7759
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 37896 0 0 0 93840 175 0 0 25 0 1 0 628187947 159944704 37816 4294967295 134512640 134714540 3221221744 3221220244 134535326 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39049 37816 1111 63 0 38986 0
vsize: 156196
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7760
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 38191 0 0 0 94838 177 0 0 25 0 1 0 628187947 161165312 38111 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39347 38111 1111 63 0 39284 0
vsize: 157388
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7760
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 38442 0 0 0 95838 178 0 0 25 0 1 0 628187947 162267136 38361 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39616 38361 1111 63 0 39553 0
vsize: 158464
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7760
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 38652 0 0 0 96837 179 0 0 25 0 1 0 628187947 163069952 38571 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39812 38571 1111 63 0 39749 0
vsize: 159248
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 38760 0 0 0 97836 179 0 0 25 0 1 0 628187947 163610624 38679 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39944 38679 1111 63 0 39881 0
vsize: 159776
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 38939 0 0 0 98836 180 0 0 25 0 1 0 628187947 164286464 38858 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40109 38858 1111 63 0 40046 0
vsize: 160436
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 39028 0 0 0 99835 181 0 0 25 0 1 0 628187947 164704256 38947 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40211 38947 1111 63 0 40148 0
vsize: 160844
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 39091 0 0 0 100835 181 0 0 25 0 1 0 628187947 164839424 39010 4294967295 134512640 134714540 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40244 39010 1111 63 0 40181 0
vsize: 160976
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 39981 0 0 0 101833 184 0 0 25 0 1 0 628187947 168566784 39899 4294967295 134512640 134714540 3221221744 3221220448 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41154 39899 1111 63 0 41091 0
vsize: 164616
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 40487 0 0 0 102830 187 0 0 25 0 1 0 628187947 170729472 40405 4294967295 134512640 134714540 3221221744 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41682 40405 1111 63 0 41619 0
vsize: 166728
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 41045 0 0 0 103828 189 0 0 25 0 1 0 628187947 172892160 40963 4294967295 134512640 134714540 3221221744 3221220300 134535503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42210 40963 1111 63 0 42147 0
vsize: 168840
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 41373 0 0 0 104826 191 0 0 25 0 1 0 628187947 174243840 41291 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42540 41291 1111 63 0 42477 0
vsize: 170160
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 41505 0 0 0 105826 192 0 0 25 0 1 0 628187947 174784512 41423 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42672 41423 1111 63 0 42609 0
vsize: 170688
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 41806 0 0 0 106825 193 0 0 25 0 1 0 628187947 176001024 41724 4294967295 134512640 134714540 3221221744 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42969 41724 1111 63 0 42906 0
vsize: 171876
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42164 0 0 0 107824 194 0 0 25 0 1 0 628187947 177487872 42082 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43332 42082 1111 63 0 43269 0
vsize: 173328
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42341 0 0 0 108823 196 0 0 25 0 1 0 628187947 178163712 42259 4294967295 134512640 134714540 3221221744 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43497 42259 1111 63 0 43434 0
vsize: 173988
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42463 0 0 0 109822 197 0 0 25 0 1 0 628187947 178704384 42381 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43629 42381 1111 63 0 43566 0
vsize: 174516
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7761
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42648 0 0 0 110821 197 0 0 25 0 1 0 628187947 179503104 42566 4294967295 134512640 134714540 3221221744 3221220328 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43824 42566 1111 63 0 43761 0
vsize: 175296
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42761 0 0 0 111821 198 0 0 25 0 1 0 628187947 179908608 42679 4294967295 134512640 134714540 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43923 42679 1111 63 0 43860 0
vsize: 175692
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 42922 0 0 0 112820 199 0 0 25 0 1 0 628187947 180588544 42840 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44089 42840 1111 63 0 44026 0
vsize: 176356
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 43067 0 0 0 113819 200 0 0 25 0 1 0 628187947 181166080 42985 4294967295 134512640 134714540 3221221744 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44230 42985 1111 63 0 44167 0
vsize: 176920
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 43203 0 0 0 114819 201 0 0 25 0 1 0 628187947 181706752 43121 4294967295 134512640 134714540 3221221744 3221220336 134549591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44362 43121 1111 63 0 44299 0
vsize: 177448
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 43311 0 0 0 115818 202 0 0 25 0 1 0 628187947 182247424 43229 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44494 43229 1111 63 0 44431 0
vsize: 177976
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/56 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 43503 0 0 0 116817 203 0 0 25 0 1 0 628187947 182923264 43421 4294967295 134512640 134714540 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44659 43421 1111 63 0 44596 0
vsize: 178636
[startup+1174.96 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 7762
Raw data (stat): 7668 (bsolo_mis) R 7667 3722 3553 0 -1 0 43503 0 0 0 116817 203 0 0 25 0 1 0 628187947 182923264 43421 4294967295 134512640 134714540 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44659 43421 1111 63 0 44596 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.11
CPU user time (s): 1172.99
CPU system time (s): 2.12068
CPU usage (%): 100.013
Max. virtual memory (Kb): 178636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####